Search Results - Software/Program Verification— Programming by contract*

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

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

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.10.2014
    Published 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 object-oriented software…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Back 2 Basics by McKew, Howard

    ISSN: 0891-9976, 2328-1006
    Published: Troy BNP Media 01.09.2007
    Published in Engineered Systems (01.09.2007)
    “… * The commissioning firm and facility manager should review verification of software programming to understand the methodology that went into establishing the formulas and programming associated…”
    Get full text
    Trade Publication Article
    Save to List
    Saved in:
  3. 3
    Cover Image

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

    Published: Washington Tribune Content Agency LLC 29.09.2003
    Published in 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…”
    Get full text
    Newsletter
    Save to List
    Saved in:

Search Tools: