Software engineering: Experience and convictions

  • Ernst Denert
Software Engineering: Production Aspects
Part of the Lecture Notes in Computer Science book series (LNCS, volume 123)


Some observations and personal convictions regarding the management of software development projects and their technical foundations are presented, based on the author's experience. Rather than a comprehensive review of the state-of-the-art, the focus is on those issues and approaches of proven practical importance: the interplay of management and production problems; the need for a project library based on a detailed project model; data abstraction as the central design strategy; design-based testing and other quality assurance procedures.


Software Engineer Project Model Data Abstraction Software Production Test Driver 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /Ada 80/.
    Ichbiah, J.D. et al: Reference manual for the Ada programming language. Proposed standard document, US Department of Defense, July 1980Google Scholar
  2. /Boehm 79/.
    Boehm, B.W.: Software Engineering as it is. Proc. 4th Int. Conf. on Software Engineering, pp. 11–21 (1979)Google Scholar
  3. /Brooks 75/.
    Brooks, F.B.: The mythical man month. Addison-Wesley 1975Google Scholar
  4. /Dahl-Hoare 72/.
    Dahl, O.-J., Hoare, C.A.R.: Hierarchical program structures. In: /Dahl-Dijkstra-Hare 72/Google Scholar
  5. /Dahl-Dijkstra-Hoare 72/.
    Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured programming, Academic Press 1972Google Scholar
  6. /Denert 77/.
    Denert, E.: Specification and design of dialogue systems with state diagrams. Proc. Int. Computing Symp. 1977, Liege, pp. 417–424, North Holland (1977)Google Scholar
  7. /Denert 79a/.
    Denert, E.: The project library — a tool for software development. Proc. 4th Int. Conf. on Software Engineering, pp. 153–163 (1979)Google Scholar
  8. /Denert 79b/.
    Denert, E.: Software-Modularisierung. Informatik-Spektrum 2.4, pp. 204–218 (1979)Google Scholar
  9. /Denert-Hesse 80/.
    Denert, E., Hesse, W.: Projektmodell und Projektbibliothek: Grundlagen zuverlässiger Software-Entwicklung und Dokumentation. Informatik-Spektrum 3.4, pp. 215–228 (1980)Google Scholar
  10. /Denert et al 81/.
    Denert, E., Hesse, W., Neumaier, H.: S/E/TEC — an environment for the production of reliable software. ECI '81, this issueGoogle Scholar
  11. /Endres 80/.
    Endres, A.: Methoden der Programm-und Systemkonstruktion: ein Statusbericht. Informatik-Spektrum 3.3, pp. 156–171 (1980)Google Scholar
  12. /Freedmann-Weinberg 70/.
    Freedman, D.P., Weinberg, G.H.: ETHNOTECHnical review handbook. Seond Edition, ETHNOTECH 1979Google Scholar
  13. /Guttag 77/.
    Guttag, J.V.: Abstract data types and the development of data structures. CACM 20.6, pp. 396–404 (1977)Google Scholar
  14. /Hesse 80/.
    Hesse, W.: Das Projektmodell — eine Grundlage Für die ingenieurmäßige Software-Entwicklung. GI — 10. Jahrestagung, Informatik-Fachberichte 33, pp. 107–122, Springer 1980Google Scholar
  15. /Hesse 81/.
    Hesse, W.: Methoden und Werkzeuge der Software-Entwicklung — Einordnung und Überblick. Proc. Arbeitstagung "Werkzeuge der Programmiertechnik", Informatik-Fachberichte 43, pp. 113–153, Springer 1981; also to appear in: Informatik-Spektrum 4.4 (1981)Google Scholar
  16. /Jensen-Tonies79/.
    Jensen, R.W., Tonies, C.C.: Software Engineering. Prentice Hall 1979Google Scholar
  17. /Kernighan-Mashey 81/.
    Kernighan, B.W., Mashey, J.R.: The UNIX programming environment. Computer 14.4, pp. 12–24 (1981)Google Scholar
  18. /Kimm et al 79/.
    Kimm, R., Koch, W., Simonsmeier, W., Tontsch, F.: Einführung in Software Engineering. de Gruyter 1979Google Scholar
  19. /Lampson et al 78/.
    Lampson, B.W., Horning, J.J., London, R.L., Mitchell, J.G., Popek, G.J.: Revised report on the programming language Euclid. Xerox Research Center, Technical Report CSL 78–2 (1978)Google Scholar
  20. /Liskov-Zilles 75/.
    Liskov, B., Zilles, S.: Specification techniques for data abstraction. IEEE Trans. on Software Eng. 1.1, pp. 7–18 (1975)Google Scholar
  21. /Liskov et al 77/.
    Liskov, B., Snyder, A., Atkinson, R., Schaffert, C.: Abstraction mechanisms in CLU. CACM 20.8, pp. 564–576 (1977)Google Scholar
  22. /Miller 79/.
    Miller, E.F.: Coverage levels. In: Infotech State of the Art Report on Software Testing, Vol. 1, pp. 73–76, 1979Google Scholar
  23. /Parnas 72a/.
    Parnas, D.L.: A technique for software module specification with examples. CACM 15.5, pp. 330–336 (1972)Google Scholar
  24. /Parnas 72b/.
    Parnas, D.L.: On the criteria to be used in decomposing systems into modules. CACM 15.12, pp. 1053–1058 (1972)Google Scholar
  25. /SEE 81/.
    Hünke, H. (ed): Symposium on Software Engineering Environments, Lahnstein 1980. North Holland Publ. Comp. 1981Google Scholar
  26. /SOFTLAB/.
    Interactive programming with PET/MAESTRO. Prospectus, obtainable from: SOFTLAB GmbH, Arabellastr.13, D-8000 München 81, or: SOFTLAB Systems, Inc., Three Embarcadero Center, Suite 2470, San Francisco, CA 94111Google Scholar
  27. /SOFTLAB 81/.
    Software Engineering Technolgie von SOFTLAB. Brochure, 1981, obtainable from: SOFTLAB GmbH, Arabellastr. 13, D-8000 München 81Google Scholar
  28. /Wulf et al 76/.
    Wulf, W.A., London, R.L., Shaw, M.: An introduction to the construction and verification of Alphard programs. IEEE Trans. on Software Eng. 2.4, pp. 253–265 (1976)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Ernst Denert
    • 1
  1. 1.SOF TLAB GmbHMünchen 81

Personalised recommendations