Specifying Software

DOI10.1017/CBO9781139164900MaRDI QIDQ4328792zbMATH OpenFDO

Authors Robert D. Tennent

Publication date 29 April 2002

Full work available at URL https://doi.org/10.1017/CBO9781139164900

zbMATH Keywords

software components

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) 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

(5)

• scientific article; zbMATH DE number 1566490 (Why is no real title available?)
• scientific article; zbMATH DE number 1227059 (Why is no real title available?)
• scientific article; zbMATH DE number 714071 (Why is no real title available?)
• Verification conditions for source-level imperative programs
• scientific article; zbMATH DE number 194792 (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)