Výsledky vyhľadávania - "Software/Program Verification—Programming by contract Keywords Software Evolution"

Software change contracts

Autori: Dawei Qi Jooyong Yi Abhik Roychoudhury a ďalší

Prispievatelia: Dawei Qi Jooyong Yi Abhik Roychoudhury a ďalší

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

Predmety: 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 súboru: 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

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