scientific article; zbMATH DE number 1481757

MaRDI QIDQ4492783zbMATH OpenFDO

Authors Vojislav B. Mišić, Dušan M. Velašević

Publication date 26 July 2000

zbMATH Keywords

formal specificationIOTALaOBJsoftware developmentVDMZ

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1350767
• On formal specification of software components and systems
• Formal Specification and Design
• scientific article; zbMATH DE number 46424
• Overview of formal methods
• A formally grounded software specification method
• Formal specification and verification

Cited in

(22)

• A formally grounded software specification method
• scientific article; zbMATH DE number 1566490 (Why is no real title available?)
• A case study using lightweight formalism to review an information system specification
• Domain-specific transition systems and their application to a formal definition of a model programming language
• Specification methodology: An integrated relational approach
• scientific article; zbMATH DE number 3976317 (Why is no real title available?)
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• scientific article; zbMATH DE number 1019598 (Why is no real title available?)
• scientific article; zbMATH DE number 2065277 (Why is no real title available?)
• scientific article; zbMATH DE number 1487549 (Why is no real title available?)
• scientific article; zbMATH DE number 2156157 (Why is no real title available?)
• scientific article; zbMATH DE number 194792 (Why is no real title available?)
• scientific article; zbMATH DE number 756080 (Why is no real title available?)
• Formal Specification - A Comparison of Two Techniques
• scientific article; zbMATH DE number 897908 (Why is no real title available?)
• scientific article; zbMATH DE number 1390241 (Why is no real title available?)
• Overview of formal methods
• Methodology to evaluate the functionality of specification languages
• On semantic descriptions of software systems
• KeY: A Formal Method for Object-Oriented Systems
• Operational ontological approach to formal programming language specification

This page was built for publication:

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