Using formal methods to specify the functional properties of engineering software

DOI10.1016/0045-7949(92)90440-BzbMath0795.68025OpenAlexW2024511690WikidataQ111897632 ScholiaQ111897632MaRDI QIDQ4039486

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

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

IMPROVING MODULARITY IN OBJECT-ORIENTED FINITE ELEMENT PROGRAMMING

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