Article Feb 15 '10

Executing software contracts

Published in Embedded.com by Jack Ganssle
Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS
Continue Reading
Tags Ada 2005Ada 2012Ada 95Static Analysis