Defining contracts with different tools in software development

MaRDI QIDQ2898793zbMATH OpenFDO

Authors György Orbán, László Kozma

Publication date 12 July 2012

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

contractsreliability of softwarecomponent based software development

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2163031
• Contracts, Scenarios and Prototypes
• Multiple Viewpoint Contract-Based Specification and Design
• scientific article; zbMATH DE number 2089404

Cited in

(3)

• scientific article; zbMATH DE number 2080036 (Why is no real title available?)
• scientific article; zbMATH DE number 2080068 (Why is no real title available?)
• Could We Have Chosen a Better Loop Invariant or Method Contract?

Describes a project that uses

Uses Software

• JML
• Eiffel

This page was built for publication: Defining contracts with different tools in software development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2898793)