Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMATH Open1108.68372OpenAlexW2973096144MaRDI QIDQ5312982FDOQ5312982

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

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.

Mathematics Subject Classification ID

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

Cited In (8)

• On a formal definition and application of dimensional design
• Title not available (Why is that?)
• Software design methods. Analysis and reasoning
• Software design using eXtreme programming. Experience from the practice
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)