On the role of logic and algebra in software engineering

DOI10.1007/978-3-319-00966-7_2MaRDI QIDQ5261837zbMATH OpenOpenAlexFDO

Authors Manfred Broy

Publication date 8 July 2015

Published in Mathematics, Computer Science and Logic - A Never Ending Story (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-00966-7_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2223195
• scientific article; zbMATH DE number 953284
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 49520
• The role of mathematics and formal specification techniques in software system development

Cited in

(4)

• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
• scientific article; zbMATH DE number 1706230 (Why is no real title available?)
• Software Development in Relation Algebra with Ampersand
• scientific article; zbMATH DE number 2223195 (Why is no real title available?)

This page was built for publication: On the role of logic and algebra in software engineering

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