Methoden der Programm- und Systemkonstruktion: Ein Statusbericht

Der Beitrag gibt einen uberblick uber das Spektrum der Methoden und Hilfsmittel, die heute dem Entwickler eines DV-Systems zur Verfugung stehen. Es wird besonders abgehoben auf die Veranderungen wahrend der letzten zehn Jahre, sowohl was das Angebot an Methoden betrifft als auch die Anforderungen der Aufgabenstellung. Die betrachteten Methoden und Hilfsmittel werden eingebettet in einen typischen Projektablauf und bewertet nach ihrer Akzeptanz und ihrer relativen Bedeutung. Auf einige aktuelle Forschungsschwerpunkte und die dabei adressierten Probleme wird hingewiesen. Der Beitrag enthalt ein ausfuhrliches Literaturverzeichnis.

[1]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[2]  Michael Fagan.  Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[3]  B. Shneiderman,et al.  Flowchart techniques for structured programming , 1973, SIGP.

[4]  John B. Goodenough,et al.  Toward a theory of test data selection , 1975 .

[5]  Glenford J Myers,et al.  Reliable software through composite design , 1975 .

[6]  Meir M. Lehman,et al.  A Model of Large Program Development , 1976, IBM Syst. J..

[7]  B. Randell,et al.  Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969, Brussels, Scientific Affairs Division, NATO , 1970 .

[8]  Peter J. Denning,et al.  Is "structured programming" any longer the right term? , 1974, OPSR.

[9]  T. Capers Jones,et al.  Measuring Programming Quality and Productivity , 1978, IBM Syst. J..

[10]  Stephen H. Caine,et al.  PDL: a tool for software design , 1975, AFIPS '75.

[11]  Henry C. Lucas,et al.  Performance Evaluation and Monitoring , 1971, CSUR.

[12]  James L. Elshoff,et al.  The Influence of Structured Programming on PL/I Program Profiles , 1977, IEEE Transactions on Software Engineering.

[13]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[14]  William A Wulf.  ALPHARD: Toward a Language to Support Structured Programs , 1974 .

[15]  F. T. Baker.  Structured programming in a production programming environment , 1975 .

[16]  Ware Myers,et al.  The Need for Software Engineering , 1978, Computer.

[17]  E. E. Grant,et al.  Exploratory experimental studies comparing online and offline programming performance , 1968, CACM.

[18]  C. E. Hackl.  Programming Methodology , 1975 .

[19]  Martin L. Shooman,et al.  Structural models for software reliability prediction , 1976, ICSE '76.

[20]  Douglas T. Ross,et al.  Guest Editorial - Reflections on Requirements , 1977, IEEE Trans. Software Eng..

[21]  J. N. Buxton,et al.  Software engineering techniques , 1970 .

[22]  Charles W. Bachman,et al.  The programmer as navigator , 1973, CACM.

[23]  Albert Endres.  Fehleranalyse und Fehlerursachen in Systemprogrammen , 1974, Programming Methodology.

[24]  W. S. Turner,et al.  System Development Methodology , 1974 .

[25]  James L. Elshoff,et al.  An Analysis of Some Commercial PL/I Programs , 1976, IEEE Transactions on Software Engineering.

[26]  Gerard Salton.  A Policy for JACM , 1969, JACM.

[27]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[28]  Lawrence Yelowitz,et al.  Observations of Fallibility in Applications of Modern Programming Methodologies , 1976, IEEE Transactions on Software Engineering.

[29]  Thomas E. Bell,et al.  Software requirements: Are they really a problem? , 1976, ICSE '76.

[30]  Ernest A. Hershey,et al.  PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.

[31]  Friedrich Ludwig Bauer.  Advanced Course on Software Engineering , 1973 .

[32]  William E. Howden,et al.  Methodology for the Generation of Program Test Data , 1975, IEEE Transactions on Computers.

[33]  Ralph L. London.  A view of program verification , 1975 .

[34]  Niklaus Wirth,et al.  Modula: A language for modular multiprogramming , 1977, Softw. Pract. Exp..

[35]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[36]  Peter Naur.  Proof of Algorithms by General Snapshots , 1966 .

[37]  K. V. Hanford,et al.  Automatic Generation of Test Cases , 1970, IBM Syst. J..

[38]  F. T. Baker,et al.  Chief Programmer Team Management of Production Programming , 1972, IBM Syst. J..

[39]  C. V. Ramamoorthy,et al.  Testing large software with automated software evaluation systems , 1975 .

[40]  Philip W. Metzger.  Managing a programming project , 1973 .

[41]  Michael Jackson,et al.  Principles of program design , 1975 .

[42]  R.K.e. Black,et al.  Effects Of Modern Programming Practices On Software Development Costs , 1977 .

[43]  Edward F. Miller,et al.  Special Feature Program Testing: Art Meets Theory* , 1977, Computer.

[44]  Edmund B. Daly.  Management of Software Development , 1977, IEEE Transactions on Software Engineering.

[45]  RAY W. WOLVERTON,et al.  The Cost of Developing Large-Scale Software , 1974, IEEE Transactions on Computers.

[46]  Claude E. Walston,et al.  A Method of Programming Measurement and Estimation , 1977, IBM Syst. J..

[47]  Glenford J. Myers,et al.  Structured Design , 1974, IBM Syst. J..

[48]  B. Randell,et al.  Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO , 1969 .

[49]  Richard Wesley Hamming,et al.  One Man's View of Computer Science , 1969, JACM.

[50]  Gerald M. Weinberg,et al.  Psychology of computer programming , 1971 .

[51]  Leon J. Osterweil,et al.  Data Flow Analysis in Software Reliability , 1976, CSUR.

[52]  Randall Rustin,et al.  Debugging Techniques in Large Systems , 1972 .

[53]  Harlan D. Mills,et al.  Chief programmer teams , 1979 .

[54]  J. C. Huang,et al.  An Approach to Program Testing , 1975, CSUR.

[55]  Barry Boehm,et al.  Some experience with automated aids to the design of large-scale reliable software , 1975 .

[56]  R. A. Robinson.  National Software Works: Overview & Status , 1977 .

[57]  Thomas E. Bell,et al.  An Extendable Approach to Computer-Aided Software Requirements Engineering , 1976, IEEE Transactions on Software Engineering.

[58]  Karl N. Levitt,et al.  Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386) , 1973, Commun. ACM.

[59]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974 .

[60]  Edsger W. Dijkstra,et al.  A constructive approach to the problem of program correctness , 1968 .

[61]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[62]  P. C. Belford,et al.  An Evaluation Of The Effectiveness Of Sof'rware Engineering Techniques , 1977 .

[63]  George U. Hubbard,et al.  Automated Logical Data Base Design: Concepts and Applications , 1977, IBM Syst. J..

[64]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[65]  Richard C. Holt.  Teaching the fatal disease: (or) introductory computer programming using PL/I , 1973, SIGP.

[66]  Jan Witt.  The COLUMBUS approach , 1975, IEEE Transactions on Software Engineering.