Brontekst bekijken van Modelling in the contexts of verification and design

{{Workspace
|Short title=Modelling
|author(s)=Angelika Mader
|Subtitle=for verification and design
|Language=English
|Logo=Angelika Mader.jpg
|Background colour=/**/#D1988A
|Extra colour=/**/#AE5D72
}}
{{contents}}
Design and verification of an artefact are based on a (possibly implicit) model.

It is obvious that the quality of the aretfact and the verification results is not higher than the quality of the 
model was. 

Define quality criteria for models, investigate to what extent these can be gained by a modelling method,
and how these quality criteria are evaluated.

# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/01. Introduction: The pragmatic view|Introduction: The pragmatic view]] 
##[[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/01. Introduction: The pragmatic view/1. Paper factory|Paper factory]] 
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/02. Quality criteria and their evaluation.|Quality criteria and their evaluation.]] 
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/03. Proof, trust and belief.|Proof, trust and belief.]] 
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/04. Models and their purposes.|Models and their purposes.]] 
##[[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/04. Models and their purposes./1. Verification models.|Verification models.]]
##[[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/04. Models and their purposes./2. Design models.|Design models.]]
##[[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/04. Models and their purposes./3. Performance models.|Performance models.]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/05. Classification of Verification and Design Problems|Classification of Verification and Design Problems]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/06. Formality and Informality.|Formality and Informality.]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/07. Use of Diagrams.|Use of Diagrams.]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/08. Languages.|Languages.]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/09. Non-Monotonic Refinement (HW)|Non-Monotonic Refinement (HW)]] 
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/10. Problem Frames.|Problem Frames.]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/11. Structure and Decomposition|Structure and Decomposition]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/12. Control Design|Control Design]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/13. actual research questions|actual research questions]]
# [[Taxonomy/Modelling_in_the_contexts_of_verification_and_design/14. Theses on verification models|Theses on verification models]]