RMSE (F21RS1) Rigorous Methods for Software Engineering

1
RMSE (F21RS1)Rigorous Methods for Software
Engineering
Lilia Georgieva Andrew Ireland

• Tools and techniques that increase software
  dependability
• and promote productivity
• Design level
• Modelling and analysis of software designs
• Alloy Model Finder developed at MIT inspired by
  Z
• Telecommunications, avionics,
• Code level
• Static analysis and Correctness-by-Construction
• SPARK Approach developed by Altran AdaCore
  inspired by Ada
• Eurofighter Typhoon, transportation, air traffic
  control, secure protocols,