Pagina's die verwijzen naar "Gebruiker:Angelika Mader"
De volgende pagina's verwijzen naar Gebruiker:Angelika Mader:
(vorige 50 | volgende 50) (20 | 50 | 100 | 250 | 500) bekijken.- Introductie Informatica en Informatiekunde (← koppelingen)
- Taxonomy (← koppelingen)
- Taxonomy/1. Quality/01. Rationality (← koppelingen)
- Taxonomy/1. Quality/02. Models (← koppelingen)
- Taxonomy/1. Quality (← koppelingen)
- Taxonomy/1. Quality/03. Formal Methods (← koppelingen)
- Taxonomy/1. Quality/06. Software (← koppelingen)
- Taxonomy/1. Quality/04. Correctness Theorems (← koppelingen)
- Taxonomy/1. Quality/05. Focus (← koppelingen)
- Taxonomy/supplement (← koppelingen)
- Taxonomy/1. Quality/07. Development (← koppelingen)
- Taxonomy/1. Quality/08. Verification and validation (← koppelingen)
- Taxonomy/1. Quality/09. Fault Tolerance (← koppelingen)
- Taxonomy/1. Quality/90. Quality criteria (← koppelingen)
- Taxonomy/2. Methodology (← koppelingen)
- Taxonomy/2. Methodology/Focus (correctness) (← koppelingen)
- Taxonomy/2. Methodology/Monotonic Refinement (← koppelingen)
- Taxonomy/2. Methodology/Non-Monotonic Refinement (← koppelingen)
- Taxonomy/3. Patterns/Workflow (← koppelingen)
- Taxonomy/0. Taxonomy of Computer Science (← koppelingen)
- Modelling in the contexts of verification and design (← koppelingen)
- Modelling in the contexts of verification and design/02. Quality criteria and their evaluation. (← koppelingen)
- Modelling in the contexts of verification and design/03. Proof, trust and belief. (← koppelingen)
- Modelling in the contexts of verification and design/06. Formality and Informality. (← koppelingen)
- Modelling in the contexts of verification and design/10. Problem Frames. (← koppelingen)
- Modelling in the contexts of verification and design/11. Structure and Decomposition (← koppelingen)
- Modelling in the contexts of verification and design/12. Control Design (← koppelingen)
- Modelling in the contexts of verification and design/13. actual research questions (← koppelingen)
- Modelling in the contexts of verification and design/14. Theses on verification models (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Cases (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Cases/Problem statements (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Cases/Sorting bricks (case study) (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Cases/Problem statements/Lego sorter (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Outlines (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Outlines/Comparing different modelling methods (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Outlines/Control Design (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Papers (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Papers/Taxonomy of Design Decisions/Part3 (← koppelingen)
- Taxonomy/supplement/Problem diagrams (← koppelingen)
- Taxonomy/Beweren en bewijzen (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Outlines/NMR and comparison to other methods (← koppelingen)
- Modelling in the contexts of verification and design/01. Introduction: The pragmatic view/1. Paper factory/Outlines/NMR for MODELS08 (← koppelingen)
- Werkplaatsen (← koppelingen)
- Taxonomy/2. Methodology/Quality of models (← koppelingen)
- Taxonomy/3. Patterns (← koppelingen)
- Taxonomy/links (← koppelingen)
- Introductie Informatica en Informatiekunde/tentaminering/commentaar bij de watermeter (← koppelingen)