Constructing Correct Software

Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core