/ Achatzi, 91/ H. G. Achatzi: Praxis der strukturierten Analyse; Hanser Verlag, München, 1991
/ Albrecht, 83/ A. J. Albrecht, J.E. Gaffney: Software function, source lines of code, and development effort prediction: A software science validation ; IEEE Transactions on Software Engineering, Vol. SE-9, No. 6, Nov. 1983, S. 639-648
/ Atre, 80/ S. Atre: Data Base: Structured Techniques for Design, Performance and Management; J.Wiley-Verlag, New York, 1980
/ Baader, 90/ H.-R. Baader, E. van Wickeren: Methoden zur formalen Spezifikation und Verifikation von Software, GEI, 1990
/ Batini, 92/ C. Batini, S. Ceri, S. Navathe: Conceptual Database Design; Benjamin Cummings, Menlo Park, 1992
/ Baumgarten, 90/ B. Baumgarten: Petri-Netze, Grundlagen und Anwendungen; BI-Wissenschaftsverlag, Mannheim, Wien, Zürich, 1990
/ Björner, 90/ D. Björner, C. A. R. Hoare, H. Langmaack: VDM '90: VDM and Z; Formal Methods in Software Development, Lecture Notes in; Computer Science, no. 428, springer Verlag, 1990
/ Boehm, 81/ B. W. Boehm: Software Engineering Economics ; Prentice-Hall Inc., New Jersey 1981
/ Booch, 87/ G. Booch: Software Engineering with Ada; Benjamin Cummings, Menlo Park, 1987
/ Brix, 86/ H. Brix, A. Dietl: Rechnergestützte Programmkonstruktion und ; -verifikation mit formalen Regeln, Informatik in der Praxis,; Aspekte ihrer industriellen Nutzanwendung, Springer Verlag 1986
/ Brock, 90/ S. Brock, C. George: RAISE METHOD Manual, CRI Dänemark, 1990
/ Buhr, 84/ R. J. A. Buhr: System Design with Ada; Prentice-Hall, Englewood Cliffs, NJ, 1984
/ Busch, 72/ H. Busch: Delphi-Methode; in: /Tumm, 72/
/ Daenzer, 88/ W. F. Daenzer (Hrsg.): Systems Engineering - Leitfaden zur methodischen Durchführung umfangreicher Planungsvorhaben; Verlag Industrielle Organisation, Zürich, 1988
/ Date, 90/ C. J. Date: An Introduction to Database Systems,Vol. I; Addison-Wesley, Reading, Menlo Park, New York, 1990
/ Davis, 88/ A. M. Davis: A Comparison of Techniques for the Specification of External System Behavior; Comm. of the ACM, Vol. 31, No. 9, pp. 1098-1115, Sept. 1988
/ Denning, 82/ D. Denning: Crypography and Data Security; Addison Wesley Verlag, 1982
/ DGQ, 86/ Deutsche Gesellschaft für Qualität e.V.; Software-Qualitätssicherung; DGQ-NTG-Schrift Nr. 12-51, Beuth-Verlag, Berlin, 1986
/ Downs, 88/ E. Downs, P. Clare, I. Coe: Structured Systems Analysis and Design Method; Prentice Hall, Englewood Cliffs, NJ, 1988
/ Downs, 92/ E. Downs, P. Clare, I. Coe: Structured Systems Analysis and Design Method, Application and Context; Second Edition; Prentice Hall, Englewood Cliffs, NJ, 1992
/ Dunn, 84/ R. Dunn: Software Defect Removal; McGraw-Hill, 1984
/ Dutka, 89/ A. F. Dutka, H.H. Hanson: Fundamentals of Data Normalization; Addison Wesley, New York, 1989
/ ESA, 89/ European Space Agency (ESA): HOOD Reference Manual, ; Ref. WME/89-173/JB, Issue 3.0.; European Space Agency, Noordwijk, The Netherlands, 1989
/ Fagan, 76/ M. E. Fagan: Design and Code Inspections to Reduce Errors in; Program Development; IBM Systems Journal, Volume 15, No. 3, 1976
/ Freedman, 82/ D. P. Freedman, G.M. Weinberg: Handbook of Walkthroughs, Inspections, and Technical Reviews; Little Brown and Company, Boston, Toronto, 1982
/ Gehani, 86/ N. Gehani, A. MC Gettrick: Software Specification Techniques; Addison Wesley, 1986
/ Gewald, 72/ K. Gewald, K. Kasper, H. Schelle: Netzplantechnik - Methoden zur Planung und Überwachung von Projekten, Band 2: Kapazitätsoptimierung; R. Oldenbourg, München, 1972
/ Gewald, 74/ K. Gewald, K. Kasper, H. Schelle: Netzplantechnik - Methoden zur Planung und Überwachung von Projekten, Band 3: Kosten- und Finanzplanung; R. Oldenbourg, München, 1974
/ Goel, 79/ A. L. Goel, K.Okumoto: Time-dependent error detection rate model for software reliability and other performance measures; IEEE Transactions on Reliability R-28, No. 3, 206-211, 1979
/ Goel, 85/ A. L. Goel: Software Reliability Models: Assumptions, Limitations, and; Applicability; IEEE Transactions on Software Engineering, Vol. SE-11, No. 12,; December 1985
/ Grabowski, 90/ J. Grabowski: Statische und dynamische Analysen für SDL-Prozeßdiagramme auf der Basis von Petri-Netzen und Sequence Charts; Universität Hamburg, FB Informatik, Diplomarbeit, 1990
/ Graubmann, 85/ P. Graubmann, E. Rudolph: A Method and a Tool for the Validation of SDL-Diagrams.; Second SDL Users and Implementers Forum, PTT Helsinki, 1985
/ Harel, 87/ D. Harel: Statecharts: A Visual Formalism for Complex Systems; Science of Computer Programming (8), Elsevier, North Holland, 1987
/ Hatley, 87/ D. J. Hatley, I.A. Pirbhai: Strategies for Real-Time System Specification; Dorset House, New York, 1987
/ Hawryszkiewycz, 88/ I. T. Hawryszkiewycz: Introduction to Systems Analysis and Design; Prentice Hall, Englewood Cliffs, NJ, 1988
/ Hayes, 87/ I. Hayes: specification Case Studies, Prentice Hall International, 1987
/ Hoare, 85/ C. A. R. Hoare: Communicating Sequential Processes; Prentice Hall International, 1985
/ IBM, 85/ IBM Deutschland GmbH (Hrsg.): Die Function Point Methode. Eine Schätzmethode für IS-Anwendungs-Projekte; IBM Form GE 12-1618-1, 1983, 1985
/ IEEE 1028, 88/ IEEE-STD 1028-1988; IEEE Standard for Software Reviews and Audits, 1988
/ IEEE 982.2, 88/ IEEE-STD 982.2-1988; IEEE Guide for the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software, 1988
/ ISO DIS 10011, 89/ ISO DIS 10011: Guidelines for Auditing Quality Systems, 1989
/ ISO DIS 8402-1, 91/ ISO DIS 8402-1: Qualität Begriffe; Teil 1: Grundbegriffe, 1991
/ ITEC, 90/ Kriterien für die Bewertung der Sicherheit von Systemen der Informationstechnik (ITSEC); (Information Technology Security Evaluation Criteria); Vorläufige Form der harmonisierten Kriterien, Version 1.2,; Bundesanzeiger: 1. Auflage 1992, Stand Juni 1991
/ ITEH, 90/ IT-Evaluationshandbuch: Handbuch für die Prüfung der Sicherheit von Systemen der Informationstechnik (ITSK); herausgegeben von der ZSI (Zentralstelle für Sicherheit in der; Informationstechnik, seit 1.1.1991 BSI); 1. Fassung vom 22.2.1990, Bundesanzeiger: Köln 1990
/ ITSEM, 92/ Information Technology Security Evaluation Manual ITSEM -; Draft V0.2 EG-Kommission, April 1992
/ Jelinski, 72/ Z. Jelinski, P.B. Moranda. Software Reliability Research; in: W. Freiberger (Ed.), Statistical Computer Performance Evaluation, Academic, New York, 1972, pp. 465-484
/ Jones, 90/ C. B. Jones: Systematic Software Development using VDM; Prentice Hall, NJ, 1990
/ Kemmerer, 83/ R. Kemmerer: The Shared Resource Methodology: An Approach to; Identifying Storage and Timing channes, ACM Transaction of Computer; Systems, Seite 256 - 277, Suhudz 1983
/ Kersten, 90/ H. Kersten: sichere Software (Formale Spezifikation und Verifikation; vertrauenswürdiger Systeme); Hüthig Verlag, 1990
/ Koßmann, 87/ H. Koßmann: Entwicklung von Systemen mit einem SDL-Toolset; Siemens AG, ZFE SOF1, München, 1987
/ Kröger, 87/ F. Kröger: Temporal Logic of Programs; Springer Verlag, 1987
/ Loeckx, 87/ J. Loeckx, K. Sieber: The Foundation of Program Verification,; Teubner, 2. Auflage, 1987
/ Martin, 85/ J. A. Martin, C. McClure: Diagramming Techniques for Analysts and; Programmers; Prentice Hall, Englewood Cliffs, NJ, 1985
/ Martin, 87/ J. A. Martin: Diagramming Standards for Analysts & Programmers; Prentice Hall, Englewood Cliffs, NJ, 1987
/ Martin, 89/ J. A. Martin, C. McClure: Action Diagrams: Clearly Structured; Specifications, Programs, and Procedures, 2nd Edition; Prentice Hall, Englewood Cliffs, NJ, 1989
/ Martin, 90a/ J. A. Martin: Information Engineering, Book II; Prentice Hall, Englewood Cliffs, NJ, 1990
/ Martin, 90b/ J. A. Martin: Information Engineering, Book III; Prentice Hall, Englewood Cliffs, NJ, 1990
/ Martin, 91/ J. A. Martin: Rapid Application Development; Macmillan International Editions, New York, 1991
/ Mattern, 89/ F. Mattern, H. Mehl: Diskrete Simulation - Prinzipien und Probleme der; Effizienzsteigerung durch Parallelisierung; Informatik Spektrum, Band 12, Heft 4, August 1989, S. 198-210
/ Misra, 83/ P. N. Misra: Software Reliability Analysis; IBM Systems Journal, Vol. 22, No. 3, 1983
/ Musa, 75/ J. D. Musa: A Theory of Software Reliability and Its Application; IEEE Transactions on Software Engineering, SE-1(3),; September 1975, pp. 312-327
/ Musa, 83/ J. D. Musa, K. Okumoto: Software Reliability Models: Concepts, Classification,Comparisons, and Practice; Proc. Electronic Systems Effectiveness and Life Cycle Costing; Conference, Norwich, U.K., July 19-31, 1992, NATO ASI Series,; Vol. F3, (Ed: J.W. Skwirzynski), Springer, Heidelberg, 1983, pp. 395-424
/ Musa, 84/ J. D. Musa, K. Okumoto: A Logarithmic Poisson Execution Time Model for Software Reliability Measurement; Proc. 7th International Conference on Software Engineering,; Orlando, Florida, March 26-29, 1984, pp. 230-238
/ Musa, 86/ J. D. Musa, K. Okumoto: Application of Basic and Logarithmic Poisson Execution Time Models in Software Reliability Measurement; in: J.K. Skwirzynski (Ed.), Software Design Methods, Springer,; Berlin, Heidelberg, 1986
/ Musa, 87/ J. D. Musa, A. Iannino, K. Okumoto: Software Reliability: Measurement, Prediction, Application; McGraw-Hill, New York, 1987
/ Myers, 91/ G. J. Myers: Methodisches Testen von Programmen; R. Oldenbourg, München, Wien, 1991
/ Nicholls, 90/ J. E. Nicholls: Z User Workshop, Oxford 1989, Springer Verlag, 1990
/ Noth, 86/ T. Noth, M. Kretzschmar: Aufwandsschätzung von DV-Projekten; Darstellung und Praxisvergleich der wichtigsten Verfahren; Springer-Verlag, Berlin 1984, 1986
/ Ploenzke, 91/ Ploenzke Informatik: ISOTEC; Freigabedatum Juni 1991
/ Raasch, 91/ J. Raasch: Systementwicklung mit Strukturierten Methoden; Hanser Verlag, München, Wien, 1991.
/ Reifer, 89/ Reifer Consultants Inc.: Economics of Ada: Estimation and Control ; Tagungsband, Torrance/California, 5. April 1989
/ Reisig, 85/ W. Reisig: Systementwurf mit Netzen; Springer-Verlag Berlin, Heidelberg, New York, Tokio, 1985
/ Reisig, 86/ W. Reisig: Petrinetze, eine Einführung; Springer-Verlag Berlin, Heidelberg, New York, Tokio, 1986
/ Rumbaugh, 91/ J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen:; Object-oriented Modeling and Design; Prentice-Hall, Englewood Cliffs, NJ, 1991
/ Schick, 73/ G. J. Schick, R.W. Wolverton: Assessment of Software Reliability; Proc. Operations Research, Physica Verlag, Würzburg, Wien, 1973,; S. 395-422
/ Schönthaler, 90/ F. Schönthaler, T. Németh: Software Entwicklungswerkzeuge:; Methodische Grundlagen; Teubner Verlag, Stuttgart, 1990
/ SDL, 85a/ CCITT Recommendations Z.100 - Z.104: Functional Specification and Description Language (SDL), Red Book, Vol.VI.10; ITU General Secretariat Sales Section, Place des Nations,; CH-1211 Geneva 20, 1985
/ SDL, 85b/ CCITT Annexes to Recommendations Z.100 - Z.104: Functional Specification and Description Language (SDL); Red Book, Vol. VI.11, 1985
/ SDL, 85c/ SDL course ; International Sharing System for Training, ITU Secretary General, Technical Cooperation Department, Training Division ; Place des Nations, CH-1211 Geneva 20, 1985
/ SDL, 88/ H. Koßmann: Entwicklung von Systemen mit einem SDL-Toolset, Softwaretechnik Trends, Band 9, Heft 1, S. 23-38, April 1988
/ SDL, 91/ F. Belina, D. Hogrefe, A. Sarma: SDL with Applications from Protocol Specification; Prentice Hall, Carl Hanser Verlag, 1991
/ SDL, 92/ CCITT Recommendations Z.120: Message Sequence Charts (MSC); Blue Book, 1992
/ Seifert, 91/ M. Seifert, Realtime-CASE: Die Spezifikation reaktiver Systeme,; CASE-World, 1991
/ SEMSTC, 90/ The Semantics of Statecharts, V 3.0,; i-Logix Inc., Burlington Mass. USA, 1990 ; (erhältlich durch Fa. Berner & Mattner, Ottobrunn)
/ Sneed, 87/ H. M. Sneed: Software-Management ; Verlagsgesellschaft R. Müller, Köln 1987
/ Sneed, 91/ H. M. Sneed: Software-Aufwandsschätzung mit DATA-POINTS; ComputerMagazin 11-12/91, S. 41-46
/ Symons, 88/ C. R. Symons: Function Point Analysis: Difficulties and Improvements; IEEE Transactions on Software Engineering, Vol. SE-14, No. 1, Jan. 1988, S. 2-11
/ Thumb, 75/ N. Thumb: Grundlagen und Praxis der Netzplantechnik, Band 1 und 2 ; Verlag Moderne Industrie, München, 1975
/ Vetter, 90/ M. Vetter: Aufbau betrieblicher Informationssysteme; Teubner Verlag, Stuttgart, 1990
/ Wallmüller, 90/ E. Wallmüller: Software-Qualitätssicherung; Hanser Verlag, München, Wien, 1990
/ Wieken, 90/ J. H. Wieken: Software Produktion - Ziele, Vorgehensweisen, Werkzeuge; McGraw-Hill, Hamburg, New York, 1990
/ Wille, 72/ H. Wille, K. Gewald, H.D. Weber: Netzplantechnik - Methoden zur Planung und Überwachung von Projekten, Band 1: Zeitplanung; R. Oldenbourg, München, 1972