Workspace bewerken: Modelling in the contexts of verification and design

Vrije tekst:

{{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]]

Samenvatting:

Dit is een kleine bewerking Deze pagina volgen

Annuleren