Affordable Access

The Spec# Programming System: Challenges and Directions

Authors
Publisher
IFIP Lecture Notes in Computer Science (LNCS)
Publication Date
Disciplines
  • Computer Science
  • Design

Abstract

The Spec# programming system [4] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopted.Full Text at Springer, may require registration or fee

There are no comments yet on this publication. Be the first to share your thoughts.