Dependable Software by Design: Overview/Software Design Checkers

  • Despite the ever increasing importance of computer software in our daily lives, software engineers rarely analyze their designs to ensure reliability. That situation is starting to change with the recent development of software
  • Alloy combines a language that eases the modeling of complex software designs with an analysis engine that checks extensively for conceptual and structural flaws in an automated fashion, treating designs as huge puzzles to be solved.
  • In the relatively near future, tools similar to Alloy will greatly improve the dependability of software by basing program development on more robust and constructive design practices.
Share this Article:


You must sign in or register as a member to submit a comment.

Starting Thanksgiving

Enter code: HOLIDAY 2015
at checkout

Get 20% off now! >


Email this Article