design-by-contract

9ısı

2cevap

J JML neden Java'da Ek Açıklamalar olarak uygulanmadı?

C# 'daki Kod Sözleşmelerinin aksine, JML Kodu Sözleşmelerinde yalnızca bir yöntemin başlığında bulunan yorumların kullanıldığı metin yer alır. Daha sonra Ek Açıklamalar olarak gösterilmeleri daha iyi

7ısı

1cevap

Kod Sözleşmeleri: Bir alan/mülkün değerinin değişmediğini bir sonraki durumda nasıl bildirebilirim?

Sadece bir kod örneği ile neyi başarmak istediğimi göstereceğim? class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ensures("SomeProperty's value

5ısı

1cevap

Amaç-C için Sözleşme ile Tasarım?

Geçen yıl Design By Contract metodolojisi hakkında bir ders aldım. Mircosoft Research'ün yarattığı Sözleşme API'sı ile C# ile programladık ve PEX ile birim testler ürettik. Bu yıl, xcode'ta iphone uyg

6ısı

1cevap

SpeC# kararlı kullanım için yeterli mi?

Burada # biri düzenli olarak # kullanan var mı? Her yerde kullanmaya başlamadan önce, kararlı ve güçlü olup olmadığını bilmek isterim. Sözdizimi C# 4.0'u etkiliyor gibi görünüyor, bu da 4.0 sürümünün

11ısı

2cevap

.NET 4.0'ın sözleşmeli tasarımı nasıl Eiffel ile karşılaştırılır?

Ben "zevk" Bertrand Meyer başkası tarafından üniversitede Eiffel öğretilen ve sadece sözleşme ile tasarım içereceğini NET 4,0 okumak gerekiyordu. bu set Eiffel'in mevcut özelliğine karşılaştırılacak k

9ısı

3cevap

R'de işlev önkoşulları ve son durumları kontrol etmek ve belgelemek için deyimsel yol nedir?

R'de işlev önkoşulları ve son durumları kontrol etmek ve belgelemek için deyimsel yol nedir? Burada sanatın lar in ve out blok devlet Eiffel 'require ve ensure yapılara veya D inşa s' dikkate alacağın