scientific article; zbMATH DE number 1350767

MaRDI QIDQ4267791zbMATH OpenFDO

Authors Nimal Nissanke

Publication date 18 October 1999

zbMATH Keywords

application in software engineeringformal specificationobject oriented approachspecification languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal Specification and Design
• scientific article; zbMATH DE number 715447
• scientific article; zbMATH DE number 1200752

Cited in

(14)

• A formally grounded software specification method
• Logics of specification languages
• Formal specification with B
• Software specifcation methods. On overview using a case study.
• scientific article; zbMATH DE number 192880 (Why is no real title available?)
• scientific article; zbMATH DE number 1200752 (Why is no real title available?)
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• scientific article; zbMATH DE number 715447 (Why is no real title available?)
• scientific article; zbMATH DE number 1481757 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• scientific article; zbMATH DE number 194792 (Why is no real title available?)
• Formal Specification - A Comparison of Two Techniques
• scientific article; zbMATH DE number 795668 (Why is no real title available?)
• Formal Specification and Design

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 Q4267791)