scientific article; zbMATH DE number 1949580

MaRDI QIDQ4412469zbMATH OpenFDO

Authors Shaoying Liu

Publication date 15 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950003.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2107183
• Using formal methods to specify the functional properties of engineering software
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• Specification of software systems.
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker

Cited in

(7)

• Quality assurance of computing systems by formal development methods
• scientific article; zbMATH DE number 1189004 (Why is no real title available?)
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 2090139 (Why is no real title available?)
• scientific article; zbMATH DE number 2107183 (Why is no real title available?)
• FM 2005: Formal Methods
• Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods

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