Model-based reasoning: a principled approach for software engineering
From MaRDI portal
Recommendations
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)