Výsledky vyhledávání - "Software/Program Verification—Programming by contract Keywords Contract"
-
1
Autoři: a další
Přispěvatelé: a další
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
Nájsť tento článok vo Web of Science