Výsledky vyhledávání - "D.2.4 [Software/Program Verification] Programming by contract"
-
1
Autoři: a další
Přispěvatelé: a další
Témata: D.2.4 [Software/Program Verification] Programming by contract, Assertion checkers F.3.1 [Specifying and Verifying and Reasoning about Programs] Assertions, Invariant, Pre- and post-conditions, Specification techniques
Popis souboru: application/pdf
-
2
Autoři: a další
Zdroj: Aspect-oriented Software Development; 3/16/15, p117-132, 16p
-
3
Autoři:
Zdroj: Aspect-oriented Software Development; 3/16/15, p47-51, 5p
-
4
Autoři: a další
Zdroj: Aspect-oriented Software Development; 4/22/14, p241-252, 12p
-
5
Autoři: a další
Zdroj: Aspect-oriented Software Development; 4/22/14, p157-168, 12p
-
6
Autoři: a další
Zdroj: Aspect-oriented Software Development; 4/22/14, p17-20, 4p
Nájsť tento článok vo Web of Science