Formal specification is an experimental science

MaRDI QIDQ1817111zbMATH OpenFDO

Authors Dines Bjørner

Publication date 23 January 1997

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

zbMATH Keywords

algebraic semanticsdata modellingdistributed computingformal specificationintrovert programmingmodel-oriented specificationsroboticssoftware 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

(6)

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

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)