Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D9

Source URL: rodin.cs.ncl.ac.uk

• Formal methods
• Vienna Development Method
• Rodin tool
• Formal specification
• Software development process
• B-Method
• Specification
• Abstraction
• Object Process Methodology
• SIGNAL
• ShlaerMellor method
• Systems engineering