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

Software change contracts

Autoři: Dawei Qi Jooyong Yi Abhik Roychoudhury a další

Přispěvatelé: Dawei Qi Jooyong Yi Abhik Roychoudhury a další

Zdroj: http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf.

Témata: Categories and Subject Descriptors D.2.1 [Software Engineering, Requirements/Specifications—Languages, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract Keywords Software Evolution, Regression Testing, Change Contract, JML

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983; http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5983
http://www.comp.nus.edu.sg/%7Eabhik/pdf/fse12.pdf