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

  • Zobrazené výsledky 1 - 2 z 2
Upresniť hľadanie
  1. 1

    On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software Autor Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan

    ISSN: 0098-5589, 1939-3520
    Vydavateľské údaje: New York IEEE 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. 2

    The San Diego Union-Tribune Suzanne Choney Column Autor Choney, Suzanne

    Vydavateľské údaje: Washington Tribune Content Agency LLC 29.09.2003
    Vydané 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