Software engineering and formal methods

Keyphrases

• Software Development Methodology 100%
• Formal Methods 100%
• Product Class 50%
• Complex Software Systems 50%
• Software Reliability 50%
• Formal Verification Methods 50%
• Design Disciplines 50%
• Software System 50%
• Meta-level 50%
• Knowledge Understanding 50%
• Software Dependability 50%
• Method Engineering 50%
• Hardware System 50%
• Target Knowledge 50%
• Computer-aided 50%
• Applied Formal Methods 50%

Computer Science

• Software Systems 100%
• Software Engineering 100%
• Software Reliability 50%
• Design Discipline 50%