Výsledky vyhledávání - "Software/Program Verification—Programming by contract Keywords Contract"

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

Autoři: Jooyong Yi Xianghua Deng Abhik Roychoudhury a další

Přispěvatelé: Jooyong Yi Xianghua Deng Abhik Roychoudhury a další

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

Témata: 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

Popis souboru: 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

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