Cooperation of formal methods in an engineering based software development process

DOI10.1007/3-540-40911-4_9MaRDI QIDQ4471915zbMATH OpenFDO

Authors Yamine Ait-Ameur

Publication date 30 July 2004

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/1945/19450136.htm

zbMATH Keywords

cooperation of techniquesdevelopment methodologyformal techniqueshuman-computer interaction

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• 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)
• Formal methods in human-computer interaction
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1304369
• 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

(3)

• User-developer cooperation in software development. Building common ground and usable systems
• scientific article; zbMATH DE number 1304369 (Why is no real title available?)
• FM 2005: Formal Methods

Describes a project that uses

Uses Software

• PVS
• Nuprl

This page was built for publication: Cooperation of formal methods in an engineering based software development process

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