Programming with Discipline: Cumulative Subgoal Fulfillment
Programming with Discipline: Cumulative Subgoal Fulfillment
Author(s): Eric BraudeSubject(s): Education, ICT Information and Communications Technologies
Published by: Нов български университет
Keywords: Programming; software engineering; design by contract;
Summary/Abstract: Since Dijkstra published “A Discipline of Programming” in 1976, there has been much research but only small improvement in discipline for correctness—as actually practiced. Cumulative Subgoal Fulfillment (CSF) implements postconditions by fulfilling a sufficient sequence of subgoals, maintaining their invariance. Using simple examples, we show how CSF, extending the work of Dijkstra and Gries, and used with Meyer’s Design by Contract, contributes concrete discipline in preparation and practice.
Journal: Computer Science and Education in Computer Science
- Issue Year: 8/2012
- Issue No: 1
- Page Range: 53-65
- Page Count: 13
- Language: English