Suchergebnisse - "Software/Program Verification—Programming by contract Keywords Contract"

Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP

Autoren: Jooyong Yi Xianghua Deng Abhik Roychoudhury et al.

Weitere Verfasser: Jooyong Yi Xianghua Deng Abhik Roychoudhury et al.

Quelle: http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Contract, Encapsulation, Old Expression, Past Expression, Branch Pointcut, Runtime Assertion Checking (RAC

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2190; http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2190
http://www.comp.nus.edu.sg/~abhik/pdf/aosd13.pdf