Suchergebnisse - "Software/Program Verification—Programming by contract"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 0098-5589, 1939-3520
    Veröffentlicht: New York IEEE 01.10.2014
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: