Using formal methods to specify the functional properties of engineering software

DOI10.1016/0045-7949(92)90440-BzbMATH Open0795.68025OpenAlexW2024511690WikidataQ111897632 ScholiaQ111897632MaRDI QIDQ4039486FDOQ4039486

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• The use of contract specifications for representing requirements and for functional testing of hardware models
• Title not available (Why is that?)
• Specification methodology: An integrated relational approach
• Requirements analysis for engineering computation: a systematic approach for improving reliability
• A formally grounded software specification method
• Multifunctional software systems: Structured modeling and specification of functional requirements
• Title not available (Why is that?)
• Towards a combination of CafeOBJ and PAT
• Title not available (Why is that?)
• IMPROVING MODULARITY IN OBJECT-ORIENTED FINITE ELEMENT PROGRAMMING
• Title not available (Why is that?)

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)