Výsledky vyhľadávania - Software/Program Verification— Programming by contract
-
1
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software
ISSN: 0098-5589, 1939-3520Vydavateľské údaje: New York IEEE 01.10.2014Vydané v IEEE transactions on software engineering (01.10.2014)“…Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software…”
Získať plný text
Journal Article -
2
The San Diego Union-Tribune Suzanne Choney Column
Vydavateľské údaje: Washington Tribune Content Agency LLC 29.09.2003Vydané v Knight Ridder Tribune Business News (29.09.2003)“…-- The new handheld has taken up three weekends and two trips to Kinko's to collate mammoth manuals (one of them 500 pages) that the manufacturer should have…”
Získať plný text
Newsletter