Modular Verification for Aspect-Oriented Interfaces

Συγγραφείς: Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney, Mehdi Bagherzadeh Θ

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.iastate.edu/%7Edesign/papers/TR-10-02/TR-10-02.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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