Agile Development of Formal Systems Models

Keyphrases

• Model Fragment 100%
• Agile Development 100%
• Formal System 100%
• Agile Techniques 50%
• Multiple Dictionaries 50%
• Model-based Approach 50%
• Common Model 50%
• Theorem Prover 50%
• Highly Skilled 50%
• Model Development Processes 50%
• Engineering Solution 50%
• Railway 50%
• Risk Engineering 50%
• Critical Security 50%
• Parallel Refinement 50%
• Parallel Development 50%
• Model Library 50%
• Team-based 50%

Computer Science

• Agile Development 100%
• Multiple Abstraction 50%
• Modeling Process 50%
• Cyber Physical Systems 50%
• Theorem Prover 50%
• Agile Technique 50%
• Risk Engineering 50%
• Preliminary Phase 50%
• Model Development 50%
• Case Study 50%
• Development Process 50%