design-by-contract

45Ciepło

10Odpowiedz

Dobra biblioteka "Projektuj z kontraktu" dla Javy?

Kilka lat temu zrobiłem ankietę dotyczącą pakietów DbC dla Javy i nie byłem w pełni zadowolony z żadnego z nich. Niestety nie zachowałem dobrych notatek na temat moich ustaleń i zakładam, że coś się z

36Ciepło

4Odpowiedz

Korzystanie z Design by Contract w Python

Szukam zacząć używać DBC na wielu projektach opartych na Pythonie w pracy i zastanawiam się, jakie doświadczenia mieli z tym inni. Do tej pory moje badania okazało się, co następuje: http://www.python

16Ciepło

1Odpowiedz

Czy wdrażam ten prosty kontrakt nieprawidłowo?

To jest mój kod: public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double sideLength) { Contract.Requir

5Ciepło

1Odpowiedz

Jaki jest najpowszechniej wykorzystywany projekt open source, który korzysta z projektu na podstawie umowy?

Ciekawi mnie, jak wiele projektów na podstawie umowy jest wykorzystywanych w praktyce poza społecznością Eiffela. Czy są jakieś aktywne projekty open-source, które wykorzystują projekt po zawarciu umo

5Ciepło

1Odpowiedz

Projektowanie według umowy dla Celu-C?

W zeszłym roku wziąłem udział w zajęciach z metodyki Design by Contract. Programowaliśmy w języku C# za pomocą interfejsu API kontraktu utworzonego przez firmę Mircosoft Research i wygenerowaliśmy tes

11Ciepło

2Odpowiedz

W jaki sposób projekt .NET 4.0 według umowy porównuje się do wersji Eiffel?

Miałem "przyjemność" być uczonym Eiffel na uczelni przez nikogo innego niż sam Bertrand Meyer i po prostu przeczytać, że .NET 4.0 będzie zawierać projekt na podstawie umowy. Czy każdy, kto ma trochę w

33Ciepło

3Odpowiedz

Contract.Requires usage

Oto mój problem. Jestem wielkim fanem Designu na umowę, używam tej koncepcji, szczególnie przy tworzeniu bibliotek, które mogą być używane przez innych programistów. Właśnie dowiedziałem się nowy spos

9Ciepło

3Odpowiedz

Jaki jest idiomatyczny sposób sprawdzania i dokumentowania warunków działania i warunków końcowych w R?

Jaki jest idiomatyczny sposób sprawdzania i dokumentowania warunków działania i warunków końcowych w R? Uważam, że konstrukty Eiffel są zbudowane w require i ensure lub D blokują stan techniki tutaj,