Specifying Software

DOI10.1017/CBO9781139164900MaRDI QIDQ4328792zbMATH OpenFDO

Authors Robert D. Tennent

Publication date 29 April 2002

zbMATH Keywords

software components

Mathematics Subject Classification ID

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

Recommendations

• Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
• scientific article; zbMATH DE number 1200752
• Specification of software systems.
• Formal Specification and Design
• scientific article; zbMATH DE number 46424

Cited in

(4)

• Verification conditions for source-level imperative programs
• scientific article; zbMATH DE number 194792 (Why is no real title available?)
• scientific article; zbMATH DE number 714071 (Why is no real title available?)
• scientific article; zbMATH DE number 1566490 (Why is no real title available?)

This page was built for publication: Specifying Software

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