Model-based reasoning: a principled approach for software engineering

DOI10.1007/S003780000005MaRDI QIDQ4798475zbMATH OpenOpenAlexFDO

Authors

Publication date 2000

Published in Software - Concepts & Tools (Search for Journal in Brave)

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

zbMATH Keywords

qualitative reasoningsoftware modellingmodel-based systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Recommendations

• Towards Model-based Methods for Developing Model-based Systems
• From “Formal Methods” to System Modeling
• scientific article; zbMATH DE number 4104411
• scientific article; zbMATH DE number 736631
• Probabilistic modelling for software quality control

Cites work

• A theory of diagnosis from first principles
• Model-based diagnosis of hardware designs

Cited in

(12)

• From “Formal Methods” to System Modeling
• scientific article; zbMATH DE number 736631 (Why is no real title available?)
• Probabilistic modelling for software quality control
• scientific article; zbMATH DE number 1955923 (Why is no real title available?)
• Reasoned modelling critics: turning failed proofs into modelling guidance
• Towards Model-based Methods for Developing Model-based Systems
• An introduction to model-based systems
• Qualitative circuit models in failure analysis reasoning
• scientific article; zbMATH DE number 1708084 (Why is no real title available?)
• scientific article; zbMATH DE number 1844488 (Why is no real title available?)
• A conflict-based model for problem-oriented software engineering and its applications solved by dimension change and use of intermediary
• Model-based computing: Developing flexible machine control software

This page was built for publication: Model-based reasoning: a principled approach for software engineering

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