On the role of logic and algebra in software engineering

DOI10.1007/978-3-319-00966-7_2zbMATH Open1315.68083OpenAlexW102840467MaRDI QIDQ5261837FDOQ5261837

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Software Development in Relation Algebra with Ampersand
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models

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)