Výsledky vyhledávání - "D.2.4 [Software/Program Verification] Programming by contract"

Modular Verification for Aspect-Oriented Interfaces

Autoři: Mehdi Bagherzadeh Hridesh Rajan Gary T. Leavens a další

Přispěvatelé: Mehdi Bagherzadeh Hridesh Rajan Gary T. Leavens a další

Zdroj: http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2331
http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf