Developing quality software systems using the SOFL formal engineering method

DOI10.1007/3-540-36103-0_2MaRDI QIDQ4412469zbMATH OpenFDO

Authors Shaoying Liu

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• Formal engineering for industrial software development. Using the SOFL method.
• 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
• Correctness by construction: Integrating formality into a commercial development process
• Formal engineering for industrial software development. Using the SOFL method.
• ASD case notes: Costs and benefits of applying formal methods to industrial control software
• 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: Developing quality software systems using the SOFL formal engineering method

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