The myth of 'top-down' software development and its consequences for software maintenance

Four case studies in which the top-down transformation approach has led to significant maintenance problems are presented. All of these had to do with the derivation of programs from a requirements specification, an approach advocated by most CASE tools. It is explained why this approach failed and the lessons derived from such experiences are discussed. It is suggested how software reengineering may help to remedy the situation.<<ETX>>

[1]  John R. Cameron,et al.  An overview of JSD , 1986, IEEE Transactions on Software Engineering.

[2]  Robert F. Mathis.  The last 10 percent , 1986, IEEE Transactions on Software Engineering.

[3]  Edward J. Joyce,et al.  Reusable software: passage to productivity? , 1990 .

[4]  Richard C. Waters,et al.  The Programmer's Apprentice: a research overview , 1988, Computer.

[5]  Valdis Berzins,et al.  Abstraction-based software development , 1986, CACM.

[6]  Will Tracz.  Reusability Comes of Age , 1987, IEEE Softw..

[7]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[8]  Jean-Dominique Dominique Warnier,et al.  Logical Construction of Systems , 1981 .

[9]  James H. Fetzer.  Program verification: the very idea , 1988, CACM.

[10]  Charles F. Martin.  User-Centered Requirements Analysis , 1988 .

[11]  T. Capers Jones.  Reusability in Programming: A Survey of the State of the Art , 1984, IEEE Transactions on Software Engineering.

[12]  Harry M. Sneed.  Software Renewal: A case Study , 1984, IEEE Software.

[13]  Daniel D. McCracken,et al.  Life cycle concept considered harmful , 1982, ACM SIGSOFT Softw. Eng. Notes.

[14]  G. R. Gladden.  Stop the life-cycle, I want to get off , 1982, ACM SIGSOFT Softw. Eng. Notes.

[15]  Robert Balzer,et al.  On the inevitable intertwining of specification and implementation , 1982, CACM.

[16]  Edward Yourdon,et al.  Techniques of Program Structure and Design , 1976 .

[17]  Alan R. Hevner,et al.  Box Structured Information Systems , 1987, IBM Syst. J..

[18]  Richard J. Lipton,et al.  Social processes and proofs of theorems and programs , 1977, POPL.

[19]  JonesT. Capers.  Reusability in Programming , 1984 .