S/E/TEC - An Environment for the Production of Reliable Software

S/E/TEC is a software engineering environment supporting the software producers' activities as well as management activities. The main components of S/E/TEC are the project model, the production techniques, the management techniques, the product patterns, the development standards, the project library and the terminal system PET/MAESTRO.

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

[2]  Glenford J. Myers,et al.  Software Reliability: Principles and Practices , 1976 .

[3]  Ernst Denert.  The Project Library : A Tool for Software Development , 1979, ICSE.

[4]  Lawrence J. Peters,et al.  A model of software engineering , 1978, ICSE '78.

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

[6]  Brian W. Kernighan,et al.  The UNIX™ programming environment , 1979, Softw. Pract. Exp..

[7]  Ernst Denert.  Specification and Design of Dialogue Systems with State Diagrams , 1977, International Computing Symposium.

[8]  R. W. McGuffin,et al.  On CADES-Software Engineering in Practice , 1979, ICSE.

[9]  Ernst Denert,et al.  Projektmodell und Projektbibliothek: Grundlagen zuverlässiger Software-Entwicklung und Dokumentation , 1980, Inform. Spektrum.

[10]  Brian W. Kernighan,et al.  The Unix Progamming Environment , 1981, Computer.

[11]  Gerhard Goos.  Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings , 1981, Werkzeuge der Programmiertechnik.

[12]  Wolfgang Hesse,et al.  Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und Überblick , 1981, Werkzeuge der Programmiertechnik.

[13]  Wolfgang Hesse.  Das Projektmodell - Eine Grundlage für die Ingenieurmäßige Software-Entwicklung , 1980, GI Jahrestagung.

[14]  Stephen N. Zilles,et al.  Specification techniques for data abstractions , 1975 .