Experiences on developing and using a tool support for formal specification

DOI10.1007/3-540-44947-7_22MaRDI QIDQ4435384zbMATH OpenFDO

Authors Tommi Mikkonen

Publication date 1 December 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/2655/26550297.htm

zbMATH Keywords

development toolsformal methodssoftware engineering

Mathematics Subject Classification ID

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

Recommendations

• Formal methods and tools: Introduction and overview
• scientific article; zbMATH DE number 1304369
• Mechanizing Mathematical Reasoning
• 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)
• Object organisation in software environments for formal methods

Cited in

(3)

• A framework and tool-support for reengineering software development methods
• Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998
• Mechanizing Mathematical Reasoning

Describes a project that uses

Uses Software

• DisCo

This page was built for publication: Experiences on developing and using a tool support for formal specification

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