Consistent integration of formal methods

DOI10.1007/3-540-46419-0_5MaRDI QIDQ2729070zbMATH OpenFDO

Authors Peter Braun, H. Lötzbeyer, Bernhard Schätz, Oscar Slotosch

Publication date 6 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46419-0_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Semiotic approach to integration of formal design tools
• Formal methods in human-computer interaction
• Tool integration in the UniForM-Workbench
• Formal concepts for an integrated internal model of the UML
• Toward a formal theory of model integration

Cited in

(5)

• Semiotic approach to integration of formal design tools
• Toward a formal theory of model integration
• A realistic involvement of formal methods
• scientific article; zbMATH DE number 1507039 (Why is no real title available?)
• Tool integration in the UniForM-Workbench

Describes a project that uses

Uses Software

• ANTLR

This page was built for publication: Consistent integration of formal methods

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