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

Modular Reasoning in the Presence of Event Subtyping.

Autoři: BagOerzadeOα, Mehdi Dyer, Robert Fernando, Rex D. a další

Zdroj: Aspect-oriented Software Development; 3/16/15, p117-132, 16p

Enforcing Information Hiding in Interface Specifications: A Client-Aware Checking Approach.

Autoři: Rebêlo, Henrique Leavens, Gary T.

Zdroj: Aspect-oriented Software Development; 3/16/15, p47-51, 5p

Modular Specification and Dynamic Enforcement of Syntactic Language Constraints when Generating Code.

Autoři: Erdweg, Sebastian Vergu, Vlad Mezini, Mira a další

Zdroj: Aspect-oriented Software Development; 4/22/14, p241-252, 12p

AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts.

Autoři: Rebelo, Henrique Leavens, Gary T. Bagherzadeh, Mehdi a další

Zdroj: Aspect-oriented Software Development; 4/22/14, p157-168, 12p

Finding Bugs in Program Generators by Dynamic Analysis of Syntactic Language Constraints.

Autoři: Erdweg, Sebastian Vergu, Vlad Mezini, Mira a další

Zdroj: Aspect-oriented Software Development; 4/22/14, p17-20, 4p