ADVERTISEMENT

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:

Comments

You must sign in or register as a ScientificAmerican.com member to submit a comment.
Scientific American Back To School

Back to School Sale!

12 Digital Issues + 4 Years of Archive Access just $19.99

Order Now >

X

Email this Article

X