Structured programming: A minor part of software engineering

Information Processing Letters

Volumn 88, Issue 1-2, 2003, Pages 53-58

  Parnas, David Lorge ^a  

^a UNIVERSITY OF LIMERICK   (Ireland)

Author keywords

Software design and implementation; Software engineering; Structured programming

Indexed keywords

COMPUTER SOFTWARE; INTERFACES (COMPUTER); REQUIREMENTS ENGINEERING; STRUCTURED PROGRAMMING;

SOFTWARE DESIGN;

SOFTWARE ENGINEERING;

EID: 0043238021     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(03)00389-2     Document Type: Conference Paper

References (34)

1. Hoffman D.M., Weiss D.M. Software Fundamentals: Collected Papers by David L. Parnas. 2001;664 Addison-Wesley, Reading, MA.
2. Heninger K.L. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Software Engrg. SE-6:1980;2-13. Reprinted as Chapter 6 in [1].
3. K.L. Heninger, J. Kallander, D.L. Parnas, J.E. Shore, Software Requirements for the A-7E Aircraft, NRL Memorandum Report 3876, United States Naval Research Laboratory, Washington DC, November 1978, 523 pp. and subsequent versions published by the US Naval Research Laboratory.
4. Parnas D.L. On the criteria to be used in decomposing systems into modules. Comm. ACM. 15:(12):1972;1053-1058. Reprinted in: Yourdon E.N. Classics in Software Engineering. 1979;141-150 Yourdon Press. Reprinted in: Laplante P. Great Papers in Computer Science. 1996;433-441 West Publishing Co, Minneapolis/St. Paul, MN. Reprinted as Chapter 7 in [1]; Reprinted in: Broy M., Denert E. Software Pioneers: Contributions to Software Engineering. 2002;481-498 Springer, Berlin.
5. Parnas D.L. On the criteria to be used in decomposing systems into modules. Comm. ACM. 15:(12):1972;1053-1058. Reprinted in: Yourdon E.N. Classics in Software Engineering. 1979;141-150 Yourdon Press. Reprinted in: Laplante P. Great Papers in Computer Science. 1996;433-441 West Publishing Co, Minneapolis/St. Paul, MN. Reprinted as Chapter 7 in [1]; Reprinted in: Broy M., Denert E. Software Pioneers: Contributions to Software Engineering. 2002;481-498 Springer, Berlin.
6. Parnas D.L. On the criteria to be used in decomposing systems into modules. Comm. ACM. 15:(12):1972;1053-1058. Reprinted in: Yourdon E.N. Classics in Software Engineering. 1979;141-150 Yourdon Press. Reprinted in: Laplante P. Great Papers in Computer Science. 1996;433-441 West Publishing Co, Minneapolis/St. Paul, MN. Reprinted as Chapter 7 in [1]; Reprinted in: Broy M., Denert E. Software Pioneers: Contributions to Software Engineering. 2002;481-498 Springer, Berlin.
7. Parnas D.L. On the criteria to be used in decomposing systems into modules. Comm. ACM. 15:(12):1972;1053-1058. Reprinted in: Yourdon E.N. Classics in Software Engineering. 1979;141-150 Yourdon Press. Reprinted in: Laplante P. Great Papers in Computer Science. 1996;433-441 West Publishing Co, Minneapolis/St. Paul, MN. Reprinted as Chapter 7 in [1]; Reprinted in: Broy M., Denert E. Software Pioneers: Contributions to Software Engineering. 2002;481-498 Springer, Berlin.
8. Parnas D.L., Clements P.C., Weiss D.M. The modular structure of complex systems. IEEE Trans. Software Engrg. SE-11:(3):1985;259-266. (Special Issue on the 7th Internat. Conf. on Software Engineering); Also published in: Proc. 7th Internat. Conf. on Software Engineering. 1984;408-417. Reprinted in: Peterson G.E. IEEE Tutorial: Object-Oriented Computing, Vol. 2: Implementations. 1987;162-169 IEEE Computer Society Press. Reprinted as Chapter 16 in [1].
9. Parnas D.L., Clements P.C., Weiss D.M. The modular structure of complex systems. IEEE Trans. Software Engrg. SE-11:(3):1985;259-266. (Special Issue on the 7th Internat. Conf. on Software Engineering); Also published in: Proc. 7th Internat. Conf. on Software Engineering. 1984;408-417. Reprinted in: Peterson G.E. IEEE Tutorial: Object-Oriented Computing, Vol. 2: Implementations. 1987;162-169 IEEE Computer Society Press. Reprinted as Chapter 16 in [1].
10. Parnas D.L., Clements P.C., Weiss D.M. The modular structure of complex systems. IEEE Trans. Software Engrg. SE-11:(3):1985;259-266. (Special Issue on the 7th Internat. Conf. on Software Engineering); Also published in: Proc. 7th Internat. Conf. on Software Engineering. 1984;408-417. Reprinted in: Peterson G.E. IEEE Tutorial: Object-Oriented Computing, Vol. 2: Implementations. 1987;162-169 IEEE Computer Society Press. Reprinted as Chapter 16 in [1].
11. Parnas D.L. On a 'Buzzword': Hierarchical structure. IFIP Congress '74. 1974;336-339 North-Holland, Amsterdam. Reprinted as Chapter 8 in [1]; Reprinted in: Broy M., Denert E. Software Pioneers: Contributions to Software Engineering. 2002;501-513 Springer, Berlin.
12. Parnas D.L. On a 'Buzzword': Hierarchical structure. IFIP Congress '74. 1974;336-339 North-Holland, Amsterdam. Reprinted as Chapter 8 in [1]; Reprinted in: Broy M., Denert E. Software Pioneers: Contributions to Software Engineering. 2002;501-513 Springer, Berlin.
13. Parnas D.L. Designing software for ease of extension and contraction. IEEE Trans. on Software Engrg. 1979;128-138. Also in: Proc. 3rd Internat. Conf. on Software Engineering. 1978;264-277. Reprinted as Chapter 14 in [1].
14. Parnas D.L. Designing software for ease of extension and contraction. IEEE Trans. on Software Engrg. 1979;128-138. Also in: Proc. 3rd Internat. Conf. on Software Engineering. 1978;264-277. Reprinted as Chapter 14 in [1].
15. Parnas D.L. On the design and development of program families. IEEE Trans. Software Engrg. SE-2:(1):1976;1-9. Reprinted as Chapter 10 in [1].
16. Britton K.H., Parker R.A., Parnas D.L. A procedure for designing abstract interfaces for device interface modules. Proc. 5th Internat. Conference on Software Engineering. 1981;195-204. Reprinted as Chapter 15 in [1].
17. R.A. Parker, K.L. Heninger, D.L. Parnas, J.E. Shore, Abstract interface specifications for the A-7E device interface modules, NRL Report 4385, November 1980, 176 pp.
18. Parnas D.L. A technique for software module specification with examples. Comm. ACM. 15:(5):1972;330-336. Republished in: Yourdon E.N. Writings of the Revolution. 1982;5-18 Yourdon Press. Also in: Gehani N., McGettrick A.D. Software Specification Techniques. 1985;75-88 AT&T Bell Telephone Laboratories.
19. Parnas D.L. A technique for software module specification with examples. Comm. ACM. 15:(5):1972;330-336. Republished in: Yourdon E.N. Writings of the Revolution. 1982;5-18 Yourdon Press. Also in: Gehani N., McGettrick A.D. Software Specification Techniques. 1985;75-88 AT&T Bell Telephone Laboratories.
20. Parnas D.L. A technique for software module specification with examples. Comm. ACM. 15:(5):1972;330-336. Republished in: Yourdon E.N. Writings of the Revolution. 1982;5-18 Yourdon Press. Also in: Gehani N., McGettrick A.D. Software Specification Techniques. 1985;75-88 AT&T Bell Telephone Laboratories.
21. W. Bartussek, D.L. Parnas, Using assertions about traces to write abstract specifications for software modules, UNC Report No. TR77-012, December 1977, 26 pp.; Also in: Information Systems Methodology, Proceedings ICS, Venice. Lecture Notes in Comput. Sci. 65:1978;211-236 Springer, Berlin. Also in: Gehani N., McGettrick A.D. Software Specification Techniques. 1985;111-130 AT&T Bell Telephone Laboratories. Reprinted as Chapter 1 in [1].
22. W. Bartussek, D.L. Parnas, Using assertions about traces to write abstract specifications for software modules, UNC Report No. TR77-012, December 1977, 26 pp.; Also in: Information Systems Methodology, Proceedings ICS, Venice. Lecture Notes in Comput. Sci. 65:1978;211-236 Springer, Berlin. Also in: Gehani N., McGettrick A.D. Software Specification Techniques. 1985;111-130 AT&T Bell Telephone Laboratories. Reprinted as Chapter 1 in [1].
23. W. Bartussek, D.L. Parnas, Using assertions about traces to write abstract specifications for software modules, UNC Report No. TR77-012, December 1977, 26 pp.; Also in: Information Systems Methodology, Proceedings ICS, Venice. Lecture Notes in Comput. Sci. 65:1978;211-236 Springer, Berlin. Also in: Gehani N., McGettrick A.D. Software Specification Techniques. 1985;111-130 AT&T Bell Telephone Laboratories. Reprinted as Chapter 1 in [1].
24. Parnas D.L., Wang Y. Simulating the behaviour of software modules by trace rewriting systems. IEEE Trans. Software Engrg. 19:(10):1994;750-759.
25. Parnas D.L., Madey J., Iglewski M. Precise documentation of well-structured programs. IEEE Trans. Software Engrg. 20:(12):1994;948-976.
26. Parnas D.L. Inspection of safety critical software using function tables. Proc. IFIP World Congress 1994, Vol. III. 1994;270-277. Reprinted as Chapter 19 in [1].
27. Parnas D.L., Asmis G.J.K., Madey J. Assessment of safety-critical software in nuclear power plants. Nuclear Safety. 32:(2):1991;189-198.
28. Peters D., Parnas D.L. Using test oracles generated from program documentation. IEEE Trans. Software Engrg. 24:(3):1998;161-173.
29. Peters D.K., Parnas D.L. Requirements-based monitors for real-time systems. IEEE Trans. Software Engrg. 28:(2):2002;146-158.
30. Parnas D.L. Software Aging. Proc. 16th Internat. Conf. on Software Engineering, Sorento Italy, May 16-21. 1994;279-287 IEEE Press. Reprinted as Chapter 29 in [1].
31. Parnas D.L., Madey J. Functional documentation for computer systems engineering. Sci. Comput. Programm. 25:(1):1995;41-61.
32. D.L. Parnas, Tabular representation of relations, CRL Report 260, McMaster University, Communications Research Laboratory, TRIO (Telecommunications Research Institute of Ontario), October 1992, 17 pp.
33. Janicki R., Parnas D.L., Zucker J. Tabular representations in relational documents. Brink C., Schmidt G. Relational Methods in Computer Science. 1997;184-196 Springer, Berlin. Chapter 12; Reprinted as Chapter 4 in [1].
34. Parnas D.L., Peters D.K. An easily extensible toolset for tabular mathematical expressions. Proc. 5th Internat. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99). Lecture Notes in Comput. Sci. 1579:1999;345-359 Springer, Berlin.