Using formal methods to specify the functional properties of engineering software

DOI10.1016/0045-7949(92)90440-BMaRDI QIDQ4039486zbMATH OpenOpenAlexWikidataFDO

Authors John W. jun. Baugh

Publication date 13 June 1993

Published in Computers & Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0045-7949(92)90440-b

zbMATH Keywords

formal methodsformal specificationsabstract data types

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

• scientific article; zbMATH DE number 1481757
• scientific article; zbMATH DE number 1949580
• scientific article; zbMATH DE number 1487549
• Specification methodology: An integrated relational approach
• scientific article; zbMATH DE number 483965

Cited in

(12)

• Towards a combination of CafeOBJ and PAT
• IMPROVING MODULARITY IN OBJECT-ORIENTED FINITE ELEMENT PROGRAMMING
• scientific article; zbMATH DE number 1949580 (Why is no real title available?)
• A formally grounded software specification method
• Requirements analysis for engineering computation: a systematic approach for improving reliability
• Specification methodology: An integrated relational approach
• Multifunctional software systems: Structured modeling and specification of functional requirements
• The use of contract specifications for representing requirements and for functional testing of hardware models
• scientific article; zbMATH DE number 1517029 (Why is no real title available?)
• scientific article; zbMATH DE number 2080050 (Why is no real title available?)
• scientific article; zbMATH DE number 5038706 (Why is no real title available?)
• scientific article; zbMATH DE number 3976317 (Why is no real title available?)

This page was built for publication: Using formal methods to specify the functional properties of engineering software

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