The role of mathematics and formal specification techniques in software system development

MaRDI QIDQ2729227zbMATH OpenFDO

Authors Hartmut Ehrig, G. Schröter

Publication date 18 July 2001

Published in Bulletin of the European Association for Theoretical Computer Science EATCS (Search for Journal in Brave)

zbMATH Keywords

formal specificationsoftware engineeringsoftware system development

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(4)

• scientific article; zbMATH DE number 2069283 (Why is no real title available?)
• scientific article; zbMATH DE number 2155175 (Why is no real title available?)
• scientific article; zbMATH DE number 10084 (Why is no real title available?)
• On the role of logic and algebra in software engineering

This page was built for publication: The role of mathematics and formal specification techniques in software system development

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