scientific article; zbMATH DE number 2069283

MaRDI QIDQ4463196zbMATH OpenFDO

Authors Hartmut Ehrig, G. Schröter

Publication date 27 May 2004

zbMATH Keywords

formal specificationsoftware engineering

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2155175
• The role of mathematics and formal specification techniques in software system development
• scientific article; zbMATH DE number 1088216
• scientific article; zbMATH DE number 953284
• scientific article; zbMATH DE number 53194

Cited in

(2)

• The role of mathematics and formal specification techniques in software system development
• scientific article; zbMATH DE number 2155175 (Why is no real title available?)

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