Program development by stepwise refinement

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Program development by stepwise refinement

Full text

Pdf (803 KB)

Source

Communications of the ACM archive
Volume 14 , Issue 4 (April 1971) table of contents

Pages: 221 - 227

Year of Publication: 1971

ISSN:0001-0782

Author

Niklaus Wirth

Eidgenössische Technische Hochschule, Zürich, Switzerland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 34, Downloads (12 Months): 276, Citation Count: 243

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/362575.362577 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Dijkstra, E. W. A constructive approach to the problem of program correctness. BIT 8 (1968), 174-186.
	2	Dijkstra, E. W. Notes on structured programming. EWD 249, Technical U. Eindhoven, The Netherlands, 1969.
	3	Naur, P. Programming by action clusters. BIT9 (1969) 250-258.
	4	Wirth, N. Programming and programming languages. Proc. lnternat. Comput. Syrup., Bonn, Germany, May 1970.

CITED BY 243

	Bruce Abramson , Mordechai M. Yung, Construction through decomposition: a divide-and-conquer algorithm for the N-queens problem, Proceedings of 1986 ACM Fall joint computer conference, p.620-628, November 1986, Dallas, Texas, United States
	Nitta P. Dooner , Janice R. Lourie, The application software engineering tool, Proceedings of the 12th conference on Design automation, p.50-61, January 1975
	John Barron, Dialogue and process design for interactive information systems using Taxis, ACM SIGOA Newsletter, v.3 n.1-2, p.12-20, June 21-23, 1982
	J. Ángel Velázquez-Iturbide, Recursion in gradual steps (is recursion really that difficult?), ACM SIGCSE Bulletin, v.32 n.1, p.310-314, Mar. 2000
	Luigi Petrone , Antonio Di Leva , Franco Sirovich, DUAL: An interactive tool for developing documented programs by step-wise refinements., Proceedings of the 6th international conference on Software engineering, p.350-357, September 13-16, 1982, Tokyo, Japan
	Anne-Marie G. Discepolo, Towards a practical specification language, Proceedings of the ACM '81 conference, p.144-153, January 1981
	Alberto Pettorossi, A powerful strategy for deriving efficient programs by transformation, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.273-281, August 06-08, 1984, Austin, Texas, United States
	Richard Naugle, APL compilation and interpretation by translating to F83VEC, ACM SIGAPL APL Quote Quad, v.16 n.4, p.164-171, 1986
	Robert G. Reynolds , Jonathan I. Maletic , Stephen E. Porvin, Stepwise Refinement and Problem Solving, IEEE Software, v.9 n.5, p.79-88, September 1992
	Thomas A. Standish , Dennis F. Kibler , James M. Neighbors, Improving and refining programs by program manipulation, Proceedings of the annual conference, p.509-516, October 20-22, 1976, Houston, Texas, United States
	Harlan D. Mills, How to write correct programs and know it, ACM SIGPLAN Notices, v.10 n.6, p.363-370, June 1975
	J. D. Gannon , J. J. Horning, The impact of language design on the production of reliable software, ACM SIGPLAN Notices, v.10 n.6, p.10-22, June 1975
	Ivan M. Campos , Gerald Estrin, Specialization of SARA for software synthesis, Proceedings of the Symposium on Design Automation and Microprocessors, p.87-94, February 24-25, 1977
	D. Nash , H. Willman, Software engineering applied to computer-aided design (CAD) software development, Proceedings of the 18th conference on Design automation, p.530-539, June 29-July 01, 1981, Nashville, Tennessee, United States
	Ken Shumate, Layered virtual machine/object-oriented design, Proceedings of the fifth Washington Ada symposium on Ada, p.177-190, July 1988, Tyson's Corner, Virginia, United States
	G. Blaschek , G. Pomberger, Moses: a graphics oriented software development environment, Proceedings of the 15th annual conference on Computer Science, p.58-66, February 1987, St. Louis, Missouri, United States
	Sol J. Greenspan , John Mylopoulos , Alex Borgida, Capturing more world knowledge in the requirements specification, Proceedings of the 6th international conference on Software engineering, p.225-234, September 13-16, 1982, Tokyo, Japan
	Robert G. Reynolds, The partial metrics system: modeling the stepwise refinement process using partial metrics, Communications of the ACM, v.30 n.11, p.956-963, Nov. 1987
	Donald J. Reifer, Automated aids fob reliable software, ACM SIGPLAN Notices, v.10 n.6, p.131-142, June 1975
	Daniel Hoffman , Paul Strooper, State abstraction and modular software development, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.53-61, Oct. 1995
	H. P. Frei , D. L. Weller , R. Williams, A graphics-based programming-support system, ACM SIGGRAPH Computer Graphics, v.12 n.3, p.43-49, August 1978
	James B. Morris, Jr. , Mark B. Wells, The specification of program flow in Madcap 6, Proceedings of the ACM annual conference, p.755-762, August 01-01, 1972, Boston, Massachusetts, United States
	Leon Presser, Software management, Proceedings of the 1975 annual conference, p.283-285, January 1975
	Donald I. Good, Provable programming, ACM SIGPLAN Notices, v.10 n.6, p.411-419, June 1975
	D. R. Chand , S. B. Yadav, On the application of data abstraction facilities, Proceedings of the 1978 annual conference, p.639-645, January 1978
	B. L. Clark , J. J. Horning, Reflections on a language designed to write an operating system, ACM SIGPLAN Notices, v.8 n.9, p.52-56, September 1973
	James B. Morris, Programming by semantic refinement, ACM SIGPLAN Notices, v.8 n.9, p.120-122, September 1973
	Jorge L. Diaz-Herrera , Shawna C. Gregory, A graphical programming environment in Ada, Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective, p.379-384, March 1986, Laurel, Maryland, United States
	D. L. Parnas , John E. Shore , David Weiss, Abstract types defined as classes of variables, ACM SIGMOD Record, v.8 n.2, p.149-154, March 1976
	Ronald L. Danielson , Jurg Nievergelt, An automatic tutor for introductory programming students, ACM SIGCSE Bulletin, v.7 n.1, p.47-50, February 1975
	John F. Isner, A Fortran programming methodology based on data abstraction, Communications of the ACM, v.25 n.10, p.686-697, Oct 1982
	K. Y. Lee, Status of graduate software engineering education, Proceedings of the ACM '81 conference, p.179-183, January 1981
	Shang-Cheng Chyou, Structure charts and program correctness proofs, Proceedings of the 7th international conference on Software engineering, p.486-498, March 26-29, 1984, Orlando, Florida, United States
	Raymond T. Yeh , Donald I. Good , David R. Musser, New directions in teaching the fundamentals of computer science — discrete structures and computational analysis, ACM SIGCSE Bulletin, v.5 n.1, p.60-67, February 1973
	Larry Travis , Masahiro Honda , Richard LeBlanc , Stephen Zeigler, Design rationale for TELOS, a PASCAL-based AI language, ACM SIGPLAN Notices, v.12 n.8, p.67-76, August 1977
	Jorgen P. Bansler , Keld Bødker, A reappraisal of structured analysis: design in an organizational context, ACM Transactions on Information Systems (TOIS), v.11 n.2, p.165-193, April 1993
	John Mylopoulos, An overview of Knowledge Representation, ACM SIGMOD Record, v.11 n.2, p.5-12, Feb 1981
	Robert F. Rosin, Teaching “about programming”, Communications of the ACM, v.16 n.7, p.435-439, July 1973
	K. S. Bhaskar , J. K. Pecol , J. L. Beug, Virtual instruments: object-oriented program synthesis, ACM SIGPLAN Notices, v.21 n.11, p.303-314, Nov. 1986
	John Mylopoulos, A perspective for research on conceptual modelling, ACM SIGMOD Record, v.11 n.2, p.167-170, Feb 1981
	Ben Shneiderman , Peter Scheuermann, Structured data structures, Communications of the ACM, v.17 n.10, p.566-574, Oct. 1974
	R. L. Ashenhurst, Curriculum recommendations for graduate professional programs in information systems, Communications of the ACM, v.15 n.5, p.363-398, May 1972
	Mitchell Wand, Continuation-Based Program Transformation Strategies, Journal of the ACM (JACM), v.27 n.1, p.164-180, Jan. 1980
	Robert Paige, Transformational programming: applications to algorithms and systems, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.73-87, January 24-26, 1983, Austin, Texas
	Loen J. Osterweil, Using tools for verification, documentation and testing, ACM SIGNUM Newsletter, v.14 n.1, p.63-67, March 1979
	Henry F. Ledgard , Michael Marcotty, A genealogy of control structures, Communications of the ACM, v.18 n.11, p.629-639, Nov. 1975
	R. C. T. Lee , S. K. Chang, Structured programming and automatic program synthesis, ACM SIGPLAN Notices, v.9 n.4, p.60-70, April 1974
	Anita Miller , John Paré, Managing simulation projects, Proceedings of the 19th annual symposium on Simulation, p.43-57, March 12-14, 1986, Tampa, Florida, United States
	Christoph Steindl, Benefits of a data flow-aware programming environment, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.105-109, Sept. 1999
	Steven E. Porvin , Robert G. Reynolds , Jonathan I. Maletic, An empirical study of the use of problem reduction as a paradigm for problem solving in software engineering, Proceedings of the 19th annual conference on Computer Science, p.618-629, April 1991, San Antonio, Texas, United States
	William Swartout , Robert Balzer, On the inevitable intertwining of specification and implementation, Communications of the ACM, v.25 n.7, p.438-440, July 1982
	Marvin V. Zelkowitz, Perspectives in Software Engineering, ACM Computing Surveys (CSUR), v.10 n.2, p.197-216, June 1978
	Pankaj K. Garg , Sanjay Bhansali, Process programming by hindsight, Proceedings of the 14th international conference on Software engineering, p.280-293, May 11-15, 1992, Melbourne, Australia
	David R. Hanson, A procedure mechanism for backtrack programming, Proceedings of the annual conference, p.401-405, October 20-22, 1976, Houston, Texas, United States
	Lawrence J. Mazlack, Introducing subprograms as the first control structure in an introductory course, ACM SIGCSE Bulletin, v.15 n.1, p.265-270, February 1983
	Donald P. McKay , Stuart C. Shapiro, MULTI - a LISP based multiprocessing system, Proceedings of the 1980 ACM conference on LISP and functional programming, p.29-37, August 25-27, 1980, Stanford University, California, United States
	Niklaus Wirth, On the Composition of Well-Structured Programs, ACM Computing Surveys (CSUR), v.6 n.4, p.247-259, Dec. 1974
	J. Daniel Couger, Curriculum recommendations for undergraduate programs in information systems, Communications of the ACM, v.16 n.12, p.727-749, Dec. 1973
	N. Wirth, Recollections about the development of Pascal, ACM SIGPLAN Notices, v.28 n.3, p.333-342, March 1993
	Marilyn M. Mantei , Toby J. Teorey, Cost/benefit analysis for incorporating human factors in the software lifecycle, Communications of the ACM, v.31 n.4, p.428-439, April 1988
	Thomas P. Murtagh, An improved storage management scheme for block structured languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.3, p.372-398, July 1991
	Thomas E. Cheatham, Jr. , Judy A. Townley , Glenn H. Holloway, A system for program refinement, Proceedings of the 4th international conference on Software engineering, p.53-62, September 17-19, 1979, Munich, Germany
	W. C. Lynch, Operating system performance, Communications of the ACM, v.15 n.7, p.579-585, July 1972
	Linda C. Jones , David A. Nelson, A quantitative assessment of IBM's programming productivity techniques, Proceedings of the 13th conference on Design automation, p.344-353, June 28-30, 1976, San Francisco, California, United States
	William E. Riddle, Hierarchical modeling of operating system structure and behavior, Proceedings of the ACM annual conference, p.1105-1127, August 01-01, 1972, Boston, Massachusetts, United States
	Allen L. Ambler , Charles G. Hoch, A study of protection in programming languages, ACM SIGSOFT Software Engineering Notes, v.2 n.2, p.25-40, March 1977
	Theodore A. Linden, The use of abstract data types to simplify program modifications, ACM SIGMOD Record, v.8 n.2, p.12-23, March 1976
	Vaclav Rajlich , Joao Silva, Two object oriented decomposition methods, Proceedings of the fifth Washington Ada symposium on Ada, p.171-176, July 1988, Tyson's Corner, Virginia, United States
	Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974
	Donald R. Chand, The role of data abstractions in practical programming, Proceedings of the 16th annual Southeast regional conference, p.71-78, April 13-15, 1978, Atlanta, Georgia
	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977
	Cengiz Erbas , Seyed Sarkeshik , Murat M. Tanik, Different perspectives of the N-Queens problem, Proceedings of the 1992 ACM annual conference on Communications, p.99-108, March 03-05, 1992, Kansas City, Missouri, United States
	David M. Weintraub, Assertive comments in APL programming, ACM SIGAPL APL Quote Quad, v.16 n.4, p.232-234, 1986
	John A. Sharp, Data oriented program design, ACM SIGPLAN Notices, v.15 n.9, p.44-57, September 1980
	G. David Ripley, A course in effective programming, ACM SIGCSE Bulletin, v.7 n.1, p.102-108, February 1975
	Anthony A. Lekkos , Carl M. Peters, How to develop module logic using pseudo-code and stepwise refinement, Proceedings of the 15th conference on Design automation, p.366-370, June 19-21, 1978, Las Vegas, Nevada, United States
	U. Voges, Aspects of design, test and validation of the software for a computerized reactor protection system, Proceedings of the 2nd international conference on Software engineering, p.606-610, October 13-15, 1976, San Francisco, California, United States
	Bertrand Meyer, Principles of package design, Communications of the ACM, v.25 n.7, p.419-428, July 1982
	K. Futatsugi , J. Goguen , J. Meseguer , K. Okada, Parameterized programming in OBJ2, Proceedings of the 9th international conference on Software Engineering, p.51-60, March 1987, Monterey, California, United States
	Ivan M. Campos , Gerald Estrin, Concurrent software system design supported by SARA at the age of one, Proceedings of the 3rd international conference on Software engineering, p.230-242, May 10-12, 1978, Atlanta, Georgia, United States
	CORPORATE CACM Staff, ACM forum, Communications of the ACM, v.17 n.11, p.655-657, Nov. 1974
	Ronald Baecker , Aaron Marcus, On enhancing the interface to the source code of computer programs, Proceedings of the SIGCHI conference on Human Factors in Computing Systems, p.251-255, December 12-15, 1983, Boston, Massachusetts, United States
	Václav Rajlich, Paradigms for design and implementation in ADA, Communications of the ACM, v.28 n.7, p.718-727, July 1985
	D. L. Parnas , H. Würges, Response to undesired events in software systems, Proceedings of the 2nd international conference on Software engineering, p.437-446, October 13-15, 1976, San Francisco, California, United States
	Ken Abernethy , John C. Kelly, Comparing object-oriented and data flow models—a case study, Proceedings of the 1992 ACM annual conference on Communications, p.541-547, March 03-05, 1992, Kansas City, Missouri, United States
	Ralph H. J. M. Otten, Global wires: harmful?, Proceedings of the 1998 international symposium on Physical design, p.104-109, April 06-08, 1998, Monterey, California, United States
	William A. Wulf, A case against the GOTO, Proceedings of the ACM annual conference, p.791-797, August 01-01, 1972, Boston, Massachusetts, United States
	Barbara Liskov, A history of CLU, ACM SIGPLAN Notices, v.28 n.3, p.133-147, March 1993
	Linda Stern , Harald Søndergaard , Lee Naish, A strategy for managing content complexity in algorithm animation, ACM SIGCSE Bulletin, v.31 n.3, p.127-130, Sept. 1999
	P. J. Brown, Programming and Documenting Software Projects, ACM Computing Surveys (CSUR), v.6 n.4, p.213-220, Dec. 1974
	Ralph L. London, The current state of proving programs correct, Proceedings of the ACM annual conference, p.39-46, August 01-01, 1972, Boston, Massachusetts, United States
	Steven M. German, Automating proofs of the absence of common runtime errors, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.105-118, January 23-25, 1978, Tucson, Arizona
	Nazim H. Madhavji, Visibility aspects of programmed dynamic data structures, Communications of the ACM, v.27 n.8, p.764-776, Aug 1984
	R. G. Dromey, Systematic Program Development, IEEE Transactions on Software Engineering, v.14 n.1, p.12-29, January 1988
	Wamberto W. Vasconcelos , Jordi Sabater , Carles Sierra , Joaquim Querol, Skeleton-based agent development for electronic institutions, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, July 15-19, 2002, Bologna, Italy
	Fred Calm , John R. White, An extension to algebraic specifications to incorporate state behavior, Proceedings of the 1979 annual conference, p.212-220, January 1979
	John R. White , Taylor L. Booth, Towards an engineering approach to software design, Proceedings of the 2nd international conference on Software engineering, p.214-222, October 13-15, 1976, San Francisco, California, United States
	B. M. Leavenworth, Programming with(out) the GOTO, Proceedings of the ACM annual conference, p.782-786, August 01-01, 1972, Boston, Massachusetts, United States
	James C. Pleasant, Systematic program development/proof using Dromey's method: some comparisons with top-down design, Proceedings of the 19th annual conference on Computer Science, p.169-173, April 1991, San Antonio, Texas, United States
	Charles M. Shub, A simulation course for computer science students, ACM SIGCSE Bulletin, v.12 n.1, p.131-138, February 1980
	R. Baecker, Enhancing program readability and comprehensibility with tools for program visualization, Proceedings of the 10th international conference on Software engineering, p.356-366, April 11-15, 1988, Singapore
	Michael V. Doran , Timothy C. Benson , Herbert E. Longenecker, Jr., Improved learning by use of a video knowledge-base, Proceedings of the 30th annual Southeast regional conference, April 08-10, 1992, Raleigh, North Carolina
	R. M. Mattheyses , S. E. Conry, Models for specification and anaysis of parallel computing systems, ACM SIGSIM Simulation Digest, v.11 n.1, p.215-224, Fall 1979
	Thomas P. Murtagh, A less dynamic memory allocation scheme for algol-like languages, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.283-289, January 15-18, 1984, Salt Lake City, Utah, United States
	A. J. O'Callaghan, Focus issue on legacy infomation systems and business process engineering: migrating large-scale legacy systems to component-based and object technology: the evolution of a pattern language, Communications of the AIS, v.2 n.1es, July 1999
	Ehud Y. Shapiro, Algorithmic program diagnosis, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.299-308, January 25-27, 1982, Albuquerque, Mexico
	C. A. R. Hoare, Proof of correctness of data representations, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	M. M. Lehman , J. F. Ramil, Evolution in software and related areas, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria
	Marvin V. Zelkowitz, It is not time to define "structured programming", ACM SIGOPS Operating Systems Review, v.8 n.2, p.7-8, April 1974
	Orit Hazzan, Application of computer science ideas to the presentation of mathematical theorems and proofs, ACM SIGCSE Bulletin, v.35 n.2, June 2003
	M. M. Lehman , G. Kahen , J. F. Ramil, Behavioural modelling of long-lived evolution processes: some issues and an example, Journal of Software Maintenance: Research and Practice, v.14 n.5, p.335-351, September-October 2002
	Larry Weissman, Psychological complexity of computer programs: an experimental methodology, ACM SIGPLAN Notices, v.9 n.6, p.25-36, June 1974
	Adam Pawlak, Digital logic modeling system based on MODLAN, Proceedings of the 19th conference on Design automation, p.763-770, January 1982
	Nobuyoshi Terashima, The hierarchical language system, ACM SIGPLAN Notices, v.12 n.9, p.103-113, September 1977
	Olivier Lecarme, Structured programming, programming teaching and the language Pascal, ACM SIGPLAN Notices, v.9 n.7, p.15-21, July 1974
	Santanu Paul , Atul Prakash , Erich Buss , John Henshaw, Theories and techniques of program understanding, Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, October 28-30, 1991, Toronto, Ontario, Canada
	H. C. Heacox, RDL: a language for software development, ACM SIGPLAN Notices, v.14 n.12, p.71-79, December 1979
	Daniel M. Berry, Structured documentation, ACM SIGPLAN Notices, v.10 n.11, November 1975
	O. Ferstl, Flowcharting by stepwise refinement, ACM SIGPLAN Notices, v.13 n.1, p.34-42, January 1978
	G.-C. Roman , C. D. Wilcox, Architecture-Directed Refinement, IEEE Transactions on Software Engineering, v.20 n.4, p.239-258, April 1994
	N. H. Madhavji, Fragtypes: A Basis for Programming Environments, IEEE Transactions on Software Engineering, v.14 n.1, p.85-97, January 1988
	Sergio E. R. Carvalho , Miguel Angelo A. Nóvoa, On the use of pointers and the teaching of disciplined programming, ACM SIGCSE Bulletin, v.8 n.3, p.26-29, July 1976
	Antero Taivalsaari, On the notion of inheritance, ACM Computing Surveys (CSUR), v.28 n.3, p.438-479, Sept. 1996
	Judith Gal-Ezer , David Harel, What (else) should CS educators know?, Communications of the ACM, v.41 n.9, p.77-84, Sept. 1998
	Ataru T. Nakagawa , Kokichi Futatsugi, Stepwise refinement process with modularity, Proceedings of the 11th international conference on Software engineering, p.166-177, May 1989, Pittsburgh, Pennsylvania, United States
	Anthony Ira Wasserman, A top-down view of software engineering, ACM SIGSOFT Software Engineering Notes, v.1 n.1, p.8-14, May 1976
	Robert B. Terwilliger , Roy H. Campbell, PLEASE:Predictable Logic based ExecutAble SpeCifications, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.349-358, February 1986, Cincinnati, Ohio, United States
	Gerard Shabe , Suzanne Peck , Robert Hickey, Team dynamics in systems development and management, Proceedings of the fifteenth annual SIGCPR conference, p.164-189, August 18-19, 1977, Arlington, Virginia, United States
	Lawrence Robinson , Karl N. Levitt, Proof techniques for hierarchically structured programs, Communications of the ACM, v.20 n.4, p.271-283, April 1977
	John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980
	Jacobo Carrasquel , Jim Roberts , John Pane, The design tree: a visual approach to top-down design and data flow, ACM SIGCSE Bulletin, v.21 n.1, p.17-21, Feb. 1989
	John T. Welch, Jr., Tab, a Program Design Language for the classroom, ACM SIGCSE Bulletin, v.8 n.3, p.48-53, July 1976
	Stuart Shapiro, Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering, IEEE Annals of the History of Computing, v.19 n.1, p.20-54, January 1997
	Robert W. Floyd, The paradigms of programming, Communications of the ACM, v.22 n.8, p.455-460, Aug. 1979
	B. M. Leavenworth, Programming with(out) the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972
	Fujio Nishida , Shinobu Takamatsu , Yoneharu Fujita , Tadaaki Tani, Semi-Automatic Program Construction from Specifications Using Library Modules, IEEE Transactions on Software Engineering, v.17 n.9, p.853-871, September 1991
	Peter Salenieks , Jeff Naylor, Professional skills assessment in programming competitions, ACM SIGCSE Bulletin, v.20 n.4, p.9-14, Dec. 1988
	N. Solntseff, Programming languages for introductory computing courses: a position paper, ACM SIGCSE Bulletin, v.10 n.1, February 1978
	R. Moya , I. Ramos, SP-Grammars: context-free grammars for structured programming, ACM SIGPLAN Notices, v.14 n.1, p.69-76, January 1979
	M. M. Lehman , J. F. Ramil, An approach to a theory of software evolution, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria
	Nadia Thalmann , Daniel Thalmann, The use of PASCAL as a teaching tool in introductory, intermediate and advanced computer science courses, ACM SIGCSE Bulletin, v.10 n.1, February 1978
	Leonard H. Weiner, The roots of structured programming, ACM SIGCSE Bulletin, v.10 n.1, February 1978
	Mark Preston , Nikolay Mehandjiev, A framework for classifying intelligent design theories, Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research, November 05-05, 2004, Newport Beach, CA, USA
	Paul Abrahams, "Structured programming" considered harmful, ACM SIGPLAN Notices, v.10 n.4, April 1975
	James B. Morris , Mark B. Wells, The specification of program flow in Madcap 6, ACM SIGPLAN Notices, v.7 n.11, November 1972
	Giorgio Misuri, Survey of existing programming aids, ACM SIGPLAN Notices, v.11 n.8, August 1976
	Richard H. Karpinski, An unstructured view of structured programming, ACM SIGPLAN Notices, v.9 n.3, March 1974
	M. P. Ward, Pigs from sausages? Reengineering from assembler to C via FermaT transformations, Science of Computer Programming, v.52 n.1-3, p.213-255, August 2004
	John A. Sharp, Some thoughts on data flow architectures, ACM SIGARCH Computer Architecture News, v.8 n.4, p.11-21, June 1980
	Robert G. Reynolds, PARTIAL: a tool to monitor the stepwise refinement of Ada programs, ACM SIGSOFT Software Engineering Notes, v.10 n.3, p.76-94, July 1985
	William A. Wulf, A case against the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972
	Loren P. Meissner, On extending Fortran control structures to facilitate structured programming, ACM SIGPLAN Notices, v.10 n.9, September 1975
	D. R. Smith, KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, v.16 n.9, p.1024-1043, September 1990
	Pankaj Jalote, Functional Refinement and Nested Objects for Object-Oriented Design, IEEE Transactions on Software Engineering, v.15 n.3, p.264-270, March 1989
	J. D. Gannon, Characteristic errors in programming languages, Proceedings of the 1978 annual conference, p.570-575, January 1978
	K. J. Lieberherr , C. Xiao, Object-Oriented Software Evolution, IEEE Transactions on Software Engineering, v.19 n.4, p.313-343, April 1993
	William R. Bezanson, Teaching structured programming in FORTRAN with IFTRAN, ACM SIGCSE Bulletin, v.7 n.1, p.196-199, February 1975
	Wilfred J. Hansen, The structure of “data structures”, Proceedings of the ACM '81 conference, p.89-95, January 1981
	Jorge L. Diaz-Herrera, Pragmatic problems with step-wise refinement program development, ACM SIGSOFT Software Engineering Notes, v.9 n.2, p.80-88, April 1984
	Roberto Lopez-Herrejon , Don Batory , Christian Lengauer, A disciplined approach to aspect composition, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Eberhard Wegner, A hierarchy of control structures, ACM SIGPLAN Notices, v.8 n.3, March 1973
	Michael V. Doran , Herbert E. Longenecker, Data: data to algorithm translator analysis, Proceedings of the 17th conference on ACM Annual Computer Science Conference, February 21-23, 1989, Louisville, Kentucky
	Jozef Hooman , Onno van Roosmalen, Formal design of real-time systems in a platform-independent way, Engineering of distributed control systems, Nova Science Publishers, Inc., Commack, NY, 2001
	Jane Cleland-Huang , Carl K. Chang , Mark Christensen, Event-Based Traceability for Managing Evolutionary Change, IEEE Transactions on Software Engineering, v.29 n.9, p.796-810, September 2003
	N. Wirth, Recollections about the development of Pascal, History of programming languages---II, ACM Press, New York, NY, 1996
	G. Guida , G. Mauri, Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.204-224, April 1993
	Gylver Wagnon , Dennis J. W. Maine, An E-Machine workbench, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Adrijan Bozinovski , Stevo Bozinovski, N-queens pattern generation: an insight into space complexity of a backtracking algorithm, Proceedings of the 2004 international symposium on Information and communication technologies, June 16-18, 2004, Las Vegas, Nevada
	Xiu-Li Sun , Wen-Yin Zhang , Jin-Zhao Wu, Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement, Journal of Computer Science and Technology, v.19 n.6, p.828-839, November 2004
	Richard C. Holt, Teaching the fatal disease: (or) introductory computer programming using PL/I, ACM SIGPLAN Notices, v.8 n.5, May 1973
	Barbara Liskov, A history of CLU, History of programming languages---II, ACM Press, New York, NY, 1996
	Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
	Sylvie Damy , Guy-René Perrin, Techniques for the design of communicating processes, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Friedrich Ludwig Bauer , Bernhard Möller , Helmut Partsch , Peter Pepper, Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, v.15 n.2, p.165-180, February 1989
	R. Geoff Dromey, A Model for Software Product Quality, IEEE Transactions on Software Engineering, v.21 n.2, p.146-162, February 1995
	Tom Mens , Tom Tourwé, A Survey of Software Refactoring, IEEE Transactions on Software Engineering, v.30 n.2, p.126-139, February 2004
	David Lorge Parnas , Jan Madey , Michal Iglewski, Precise Documentation of Well-Structured Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.948-976, December 1994
	Harlan D. Mills , Victor R. Basili , John D. Gannon , Richard G. Hamlet, Mathematical Principles for a First Course in Software Engineering, IEEE Transactions on Software Engineering, v.15 n.5, p.550-559, May 1989
	Sven Apel , Thomas Leich , Gunter Saake, Aspectual mixin layers: aspects and features in concert, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	P. Fisher , W. Hankley , V. Wallentine, Separation of introductory programming and language instruction, ACM SIGCSE Bulletin, v.5 n.1, p.9-14, February 1973
	Robert V. Zara , David R. Henke, Building a layered database for design automation, Proceedings of the 22nd ACM/IEEE conference on Design automation, p.645-651, June 1985, Las Vegas, Nevada, United States
	Charles M. Shub, On the relative merits of two major methodologies for simulation model construction, Proceedings of the 10th conference on Winter simulation, p.257-264, December 04-06, 1978, Miami Beach, FL
	Ehud Shapiro , Gregg Collins , Lewis Johnson , John Ruttenberg, PASES: a programming environment for PASCAL, ACM SIGPLAN Notices, v.16 n.8, p.50-57, August 1981
	Ron Morrison , Dharini Balasubramaniam , Graham Kirby , Kath Mickan , Brian Warboys , R. Mark Greenwood , Ian Robertson , Bob Snowdon, A framework for supporting dynamic systems co-evolution, Automated Software Engineering, v.14 n.3, p.261-292, September 2007
	Valentino Crespi , Aram Galstyan , Kristina Lerman, Top-down vs bottom-up methodologies in multi-agent system design, Autonomous Robots, v.24 n.3, p.303-313, April 2008
	Raymonde Guindon, Designing the design process: exploiting opportunistic thoughts, Human-Computer Interaction, v.5 n.2, p.305-344, June 1990
	C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.596-619, Oct. 1983
	Uday S. Reddy, Programming with sequences, Proceedings of the 20th annual Southeast regional conference, p.189-198, April 01-03, 1982, Knoxville, Tennessee
	Michael E. Caspersen , Michael Kölling, A novice's process of object-oriented programming, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Jacques Carette, Gaussian elimination: a case study in efficient genericity with MetaOCaml, Science of Computer Programming, v.62 n.1, p.3-24, September 2006
	Hidetaka Kondoh , Kokichi Futatsugi, To use or not to use the goto statement: programming styles viewed from Hoare logic, Science of Computer Programming, v.60 n.1, p.82-116, March 2006
	Timothy J. Rolfe, Las Vegas does n-queens, ACM SIGCSE Bulletin, v.38 n.2, June 2006
	N. Wirth, On the composition of well-structured programs, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	W. A. Wulf, A case against the GOTO, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	Judy Bowen , Steve Reeves, Formal Models for Informal GUI Designs, Electronic Notes in Theoretical Computer Science (ENTCS), 183, p.57-72, July, 2007
	Anthony I. Wasserman, A software engineering view of data base management, Proceedings of the fourth international conference on Very Large Data Bases, p.23-35, September 13-15, 1978, West Berlin, Germany
	Judy Bowen , Steve Reeves, Refinement for User Interface Designs, Electronic Notes in Theoretical Computer Science (ENTCS), 208, p.5-22, April, 2008
	R. Banach , M. Poppleton , C. Jeske , S. Stepney, Engineering and theoretical underpinnings of retrenchment, Science of Computer Programming, v.67 n.2-3, p.301-329, July, 2007
	C. A. R. Hoare, Chapter II: Notes on data structuring, Structured programming, Academic Press Ltd., London, UK, 1972
	D. Knuth, Structured programming with go to statements, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	F. P. Deek, A Framework For An Automated Problem Solving And Program Development Environment, Journal of Integrated Design & Process Science, v.3 n.3, p.1-13, August 1999
	Luiz Fernando Capretz, A brief history of the object-oriented approach, ACM SIGSOFT Software Engineering Notes, v.28 n.2, March 2003
	Meir M. Lehman , Juan F. Ramil, Software Evolution and Software Evolution Processes, Annals of Software Engineering, v.14 n.1-4, p.275-309, December 2002
	Dines Bjørner, Pinnacles of software engineering: 25 years of formal methods, Annals of Software Engineering, v.10 n.1-4, p.11-66, 2000
	Donald Sannella , Andrzej Tarlecki, Program specification and development in standard ML, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.67-77, January 14-16, 1985, New Orleans, Louisiana, United States
	W. Vasconcelos , D. Robertson , C. Sierra , M. Esteva , J. Sabater , M. Wooldridge, Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.135-169, August 2004
	John Mylopoulos, Desert Island Column: A Trip to Carthea, Automated Software Engineering, v.7 n.4, p.377-380, December 2000
	Jozef Hooman , Onno Van Roosmalen, An Approach to Platform Independent Real-Time Programming: (1) Formal Description, Real-Time Systems, v.19 n.1, p.61-85, July 2000
	D. Crookes, Experience with teaching assembly language, ACM SIGCSE Bulletin, v.15 n.3, p.50-52, Sept. 1983
	Nelson T. Dinerstein, A remedial software design course, ACM SIGCSE Bulletin, v.9 n.4, p.77-78, Dec. 1977
	Richard A. Zahniser, The perils of top-down design, ACM SIGSOFT Software Engineering Notes, v.13 n.2, p.22-24, April 1988
	David Gries, Where is programming methodology these days?, ACM SIGCSE Bulletin, v.34 n.4, December 2002
	Paul Cull , Rajeev Pandey, Isomorphism and the N-Queens problem, ACM SIGCSE Bulletin, v.26 n.3, p.29-36, Sept. 1994
	Anthony Ralston, Fortran and the first course in computer science, ACM SIGCSE Bulletin, v.3 n.4, p.24-29, Dec. 1971
	Bruce A. Pumplin, A simple example of the top-down approach to algorithm development, ACM SIGCSE Bulletin, v.7 n.3, p.35-37, Sept. 1975
	M Lehman, Approach to a disciplined development process - the ISTAR integrated project support environment, ACM SIGSOFT Software Engineering Notes, v.11 n.4, p.28-33, August 1986
	Philip Machanick, The case for simplified languages, ACM SIGPLAN Notices, v.20 n.3, p.32-36, March 1985
	Bernd Müller, Is object-oriented programming structured programming?, ACM SIGPLAN Notices, v.28 n.9, p.57-66, Sept. 1993
	James R. Leonard, Using a software engineering approach to CS1: a comparative study of student performance, ACM SIGCSE Bulletin, v.23 n.4, p.23-26, Dec. 1991
	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
	C. K. Yuen , M. D. Feng, Parallel multiplication: a case study in parallel programming, ACM SIGPLAN Notices, v.29 n.3, p.12-17, March 1994
	Russ Abbott , Chengyu Sun, Abstraction abstracted, Proceedings of the 2nd international workshop on The role of abstraction in software engineering, May 11-11, 2008, Leipzig, Germany
	Anthony I. Wasserman, The design of PLAIN: support for systematic programming, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
	Johannes J. Martin, Generalized structured programming, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
	Sahil Thaker , Don Batory , David Kitchin , William Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Robert W. Floyd, The paradigms of programming, ACM Turing award lectures, ACM, New York, NY, 2007
	Staff, The Abstract State Machines Method: Preface, Fundamenta Informaticae, v.77 n.1-2, p..1-.4, January 2007
	Jean-Raymond Abrial , Stefan Hallerstede, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B, Fundamenta Informaticae, v.77 n.1-2, p.1-28, January 2007
	Sven Apel , Christian Kästner , Don Batory, Program refactoring using functional aspects, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Timothy J. Rolfe, A specimen MPI application: N-Queens in parallel, ACM SIGCSE Bulletin, v.40 n.4, December 2008
	Edgar G. Daylight , Arnout Vandecappelle , Francky Catthoor, The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations, Science of Computer Programming, v.72 n.3, p.71-135, August, 2008
	Sven Apel , Christian Kästner , Christian Lengauer, Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Leon J. Osterweil , Lloyd D. Fosdick, Some experience with DAVE: a Fortran program analyzer, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	C. W. Rose, LOGOS and the software engineer, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
	Tien Chi Chen, Distributed intelligence for user-oriented computing, Proceedings of the December 5-7, 1972, fall joint computer conference, part II, December 05-07, 1972, Anaheim, California
	Zaigham Mahmood, An objects-first approach to teaching introductory software development, Proceedings of the 12th WSEAS international conference on Computers, p.968-972, July 23-25, 2008, Heraklion, Greece
	Michael E. Caspersen , Michael Kolling, STREAM: A First Programming Process, ACM Transactions on Computing Education (TOCE), v.9 n.1, p.1-29, March 2009
	Judy Bowen , Steve Reeves, Using formal models to design user interfaces: a case study, Proceedings of the 21st British CHI Group Annual Conference on HCI 2007: People and Computers XXI: HCI...but not as we know it, September 03-07, 2007, University of Lancaster, United Kingdom
	Peter Böhm , Tom Melham, A refinement approach to design and verification of on-chip communication protocols, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, p.1-8, November 17-20, 2008, Portland, Oregon
	Fritz Solms , Dawid Loubser, Generating MDA's platform independent model using URDAD, Knowledge-Based Systems, v.22 n.3, p.174-185, April, 2009
	Carroll Morgan, The Shadow Knows: Refinement and security in sequential programs, Science of Computer Programming, v.74 n.8, p.629-653, June, 2009
	Marc Kirschenbaum , Leon S. Sterling, Refinement strategies for inductive learning of simple prolog programs, Proceedings of the 12th international joint conference on Artificial intelligence, p.757-761, August 24-30, 1991, Sydney, New South Wales, Australia
	Zaigham Mahmood, A framework for teaching introductory software development, WSEAS Transactions on Computers, v.8 n.8, p.1225-1234, August 2009

INDEX TERMS

Keywords:
education in programming, programming techniques, stepwise program construction

Collaborative Colleagues:

Niklaus Wirth: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player