Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312982zbMATH OpenOpenAlexFDO

Authors D. S. Batory

Publication date 25 August 2005

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

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

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

Recommendations

• Software design methods. Analysis and reasoning
• scientific article; zbMATH DE number 2221545
• scientific article; zbMATH DE number 756395
• Designing software-intensive systems: Methods and principles.

Cited in

(8)

• On a formal definition and application of dimensional design
• scientific article; zbMATH DE number 40791 (Why is no real title available?)
• Software design methods. Analysis and reasoning
• Software design using eXtreme programming. Experience from the practice
• scientific article; zbMATH DE number 1306546 (Why is no real title available?)
• scientific article; zbMATH DE number 2146324 (Why is no real title available?)
• Scientific Software Design
• Design Theory and Computer Science

This page was built for publication: Algebraic Methodology and Software Technology

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