Contracts, Scenarios and Prototypes

DOI10.1007/978-3-642-18564-9zbMath1058.68022OpenAlexW2492660144MaRDI QIDQ4443487

Reinhold Plösch

Publication date: 13 January 2004

Full work available at URL: https://doi.org/10.1007/978-3-642-18564-9

zbMATH Keywords

assertionscenariodesign by contractprototypinguse case

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Uses Software

• jContractor
• Eiffel

This page was built for publication: Contracts, Scenarios and Prototypes