Formal specification is an experimental science

MaRDI QIDQ1817111zbMATHFDO

Authors Dines Bjørner

Publication date 23 January 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

distributed computingroboticsalgebraic semanticsformal specificationdata modellingintrovert programmingmodel-oriented specificationssoftware development environmentsVDM specification language Meta-IV

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• scientific article; zbMATH DE number 550761
• Model-based specification

Cited in

(5)

• A framework for system specification using chains on cell complexes.
• Meta-modelling for formal software development
• scientific article; zbMATH DE number 3947660 (Why is no real title available?)
• scientific article; zbMATH DE number 1543355 (Why is no real title available?)
• Model-based specification

This page was built for publication: Formal specification is an experimental science

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