Semantic Guidance and Feedback for the Construction of Specifications and Implementations

Paul C Attie, Fadi A Zaraket, Mohammad Fawaz +1

The problem of writing a specification which accurately reflects the intent of the developer has long been recognized as fundamental. We propose a method and a supporting tool to w…