Modular Verification for Aspect-Oriented Interfaces

Authors: Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney, Mehdi Bagherzadeh Θ

Contributors: The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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