A. 3 Literaturverzeichnis


/ Achatzi, 91/    H. G. Achatzi: Praxis der strukturierten Analyse;    Hanser Verlag, München, 1991


/ Angus, 84/    J. E. Angus: The Application of Software Reliability and Maintainability;    Symposium, Jan. 1984


/ ANSI, 73/    ANSI-Norm N45. 2.10.1973


/ Balzert, 77/    H. Balzert: Systementwicklung, hierarchische Strukturen, Modularisierung, Datenabstraktion;    Bericht Fachbereich Informatik, Universität Kaiserslautern, Dez. 1977


/ Balzert, 82/    H. Balzert: Die Entwicklung von Softwaresystemen: Prinzipien, Methoden, Sprachen, Werkzeuge;    BI-Wissenschaftsverlag, Mannheim, Wien, Zürich, 1982


/ 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


/ BDI, 90/    Bundesverband der Deutschen Industrie: Rahmenvereinbarung zum Daten- und Kostenmeldeverfahren;    BDI-Drucksache Nr. 231, Köln, 1990


/ Berg, 73/    R. Berg, A. Meyer, M. Müller, A. Zogg: Netzplantechnik - Grundlagen - Methoden - Praxis;    Verlag Industrielle Organisation, Zürich, 1973


/ Boehm, 81/    B. Boehm: Software Engineering Economics;    Prentice-Hall Inc., London, 1981


/ Booch, 87/    G. Booch: Software Engineering with Ada;    Benjamin Cummings, Menlo Park, 1987


/ Booch, 94/    G. Booch: Object-Oriented Analysis and Design with Applications;    The Benjamin/Cummings Publishing Company Inc., Redwood City, CA, 1994


/ Booch, Rumbaugh, Jacobson, 97/    Unified Modeling Language, Version 1.0;    Documentation: UML Summary, UML Semantics, Notation Guide;    Rational Software Corporation, Santa Clara, CA, 1997


/ Brändle, 75/    R. Brändle: Organisationspläne;    in: /Fischer, 75/


/ Breuker, 94/    J. Breuker, W. Van de Velde (Hrsg.): CommonKADS Library for Expertise Modelling - Reusable Problem Solving Components;    IOS Press Amsterdam, Oxford, Washington DC, 1994


/ Buhr, 84/    R. J. A. Buhr: System Design with Ada;    Prentice-Hall, Englewood Cliffs, NJ, 1984


/ BUND, 86/    Planungslehrmappe der Fortbildungsinstitutionen des Bundes ;    Bonn, 1986


/ Burghardt, 88/    M. Burghardt: Projektmanagement - Leitfaden für die Planung, Überwachung und Steuerung von Entwicklungsprojekten;    Siemens AG, Berlin, München, 1988


/ Busch, 72/    H. Busch: Delphi-Methode;    in: /Tumm, 72/


/ CCITT, 85/    CCITT Annexes to Recommendations Z.100-Z.104, Volume VI,;    Fascicle VI.11, Genf, 1985


/ Coleman, 94/    D. Coleman, P. Arnold, St. Bodoff, Ch. Dollin, H. Gilchrist, F. Hayes, P. Jeremes: Object-Oriented Development - The Fusion Method ;    Prentice Hall International Inc., Englewood Cliffs, NJ, 1994


/ 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


/ DeMarco, 78/    T. DeMarco: Structured Analysis and System Specification;    Prentice Hall, Englewood Cliffs, NJ, 1978


/ Deutsch, 82/    M. S. Deutsch: Software Verification and Validation;    Prentice-Hall, Englewood Cliffs, NJ, 1982


/ Deutsch, 88/    M. S. Deutsch, R. Willis: Software Quality Engineering;    Prentice-Hall, Englewood Cliffs, NJ, 1988


/ DIN 66241, 78/    DIN 66241: Entscheidungstabellentechnik für den Informationsaustausch;    Beuth Verlag, Berlin, 1978


/ DIN 69900.1, 87/    DIN 69900 Teil 1: Netzplantechnik Begriffe;    Beuth Verlag, Berlin, 1987


/ DIN 69900.2, 87/    DIN 69900 Teil 2: Netzplantechnik Darstellungstechnik;    Beuth Verlag, Berlin, 1987


/ Elben, 73/    W. Elben: Entscheidungstabellentechnik - Logik, Methodik und;    Programmierung;    Walter de Gruyter, Berlin, New York, 1973


/ ESA, 89/    Ref. WME/89-173/JB: HOOD Reference Manual, 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


/ Fischer, 75/    Management-Enzyklopädie - Das Managementwissen unserer Zeit;    Fischer Taschenbuchverlag, Verlag Moderne Industrie, 1975


/ Fleming, 89/    C. C. Fleming, B. van Halle: Handbook of Relational Database Design;    Addison Wesley, Reading, Menlo Park, New York, 1989


/ Freedman, 82/    D. P. Freedman, G. M. Weinberg: Handbook of Walkthroughs, Inspections, and Technical Reviews;    Little Brown and Company, Boston, Toronto, 1982


/ 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, 85/    A. L. Goel: Software Reliability Models: Assumptions, Limitations, and;    Applicability;    IEEE Transactions on Software Engineering, Vol. SE-11, No. 12,;    December 1985


/ Gustafsson, 94/    M. Gustafsson, W. Menezes: CommonKADS Reference Manua;    Esprit Project P5248 KADS-II, KADS-II/P2/WP/CP/001/1.0, 05/1994


/ 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


/ 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


/ ISO IEC 9126, 91/    ISO IEC 9126: Information Technology, Software Product Evaluation, Quality, Characteristics and Guidelines for their Use, 1991


/ Jacobson, 92/    I. Jacobson, M. Christerson, P. Jonsson, G. Övergaard: Object-Oriented Software Engineering - A Use Case Driven Approach ;    Addison-Wesley Publishing Company, Wokingham, England, 1992


/ Jacobson, 95a/    I. Jacobson, M. Christerson: Modeling With Use Cases - A growing consensus on use cases ;    Journal of Object-Oriented Programming (8) 1, pp. 15-19,1995


/ Jacobson, 95b/    I. Jacobson: Modeling with Use Cases - Formalizing use-case modeling;    Journal of Object-Oriented Programming (8) 3, pp. 10-14, 1995


/ Koßmann, 87/    H. Koßmann: Entwicklung von Systemen mit einem SDL-Toolset;    Siemens AG, ZFE SOF1, München, 1987


/ Lapadula, 75/    L. J. Lapadula: Engineering of Quality Software Systems, Volume VIII: Software Reliability Modelling and Measurement Technique;    RADC-TR-74-325, MITRE Corporation, Jan. 1975


/ Leveson, 86/    N. G. Leveson: Software Safety: What, Why and How;    ACM Computing Surveys Vol 18 No 2, June 1986


/ Litke, 91/    H.-D. Litke: Projektmanagement: Methoden, Techniken, Verhaltensweisen;    Hanser Verlag München, 1991


/ 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, 90/    J. A. Martin: Information Engineering, Book II ;    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, S. 198-210, August 1989


/ McMenamin, 84/    S. M. McMenamin, J. F. Palmer: Essential Systems Analysis;    Prentice Hall, Englewood Cliffs, NJ, 1984;    (Auch als deutsche Übersetzung: Strukturierte Systemanalyse;    Hanser-Verlag München,Wien; Prentice-Hall International Inc., London, 1988)


/ MIL-HDBK 189, 81/    MIL-HDBK-189;    Reliability Growth Management, 1981


/ Miller, 86/    D. R. Miller: Exponential Order Statistic Models of Software Reliability Growth;    IEEE Transactions on Software Engineering, Vol. SE-12, No. 1,;    Jan. 1986


/ MIL-STD 1521B, 85/    MIL-STD-1521 B;    Technical Reviews and Audits for Systems Equipment and Computer;    Software, 1985


/ MIL-STD 1629A, 80/    MIL-STD-1629 A;    Procedures for Performing a Failure Mode, Effects and Critically;    Analysis, 1980


/ MIL-STD 756B, 82/    MIL-STD-756 B;    Reliability, Modelling and Prediction, 1982


/ Müller-Ettrich, 89/    G. Müller-Ettrich (Hrsg.): Effektives Datendesign ;    Rudolf Müller Verlag, Köln, 1989


/ Münzenberger, 89/    H. Münzenberger: Eine pragmatische Vorgehensweise zur Datenmodellierung;    in: /Müller-Ettrich, 89/


/ Myers, 91/    G. J. Myers: Methodisches Testen von Programmen;    R. Oldenbourg, München, Wien, 1991


/ Noth, 84/    T. Noth, M. Kretzschmar: Aufwandschätzung von DV-Projekten;    Darstellung und Praxisvergleich der wichtigsten Verfahren;    Springer-Verlag, Berlin, 1984/1986


/ Page-Jones, 88/    M. Page-Jones: The Practical Guide to Structured System Design;    Prentice Hall, Englewood Cliffs, NJ, 1988


/ Peters, 88/    L. Peters: Advanced Structured Analysis and Design;    Prentice-Hall, Englewood Cliffs, NJ, 1988


/ Ploenzke, 91/    Ploenzke Informatik: ISOTEC;    Freigabedatum Juni 1991


/ Putnam, 80/    L. H. Putnam: Software Cost Estimating and Life-Cycle-Control (Tutorial);    IEEE Catalog No. EHO-165-1, 1980


/ Raasch, 91/    J. Raasch: Systementwicklung mit Strukturierten Methoden;    Hanser Verlag, München, Wien, 1991


/ Redvine, 83/    S. T. Redvine: An Engineering Approach to Software Test Case Design;    IEEE-Transactions on Software Engineering, Vol SE-9, March 1983


/ Reifer, 89/    Reifer Consultants, Inc.: Economics of Ada: Estimation and Control;    Torrance, California 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


/ Reynolds, 76/    C. Reynolds, R. T. Yeh: Induction as the Basis for Program Verification;    IEEE Transactions Software Engineering SE-2(4), 1976


/ Rumbaugh, 91/    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen:;    Object-oriented Modeling and Design;    Prentice-Hall, Englewood Cliffs, NJ, 1991


/ Rumbaugh, 91/    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen: ;    Object-Oriented Modeling and Design;    Prentice Hall International Inc., Englewood Cliffs, NJ, 1991


/ Rumbaugh, 95a/    J. Rumbaugh: OMT - The object model;    Journal of Object-Oriented Programming (7) 8, pp. 21-27, 1995


/ Rumbaugh, 95b/    J. Rumbaugh: OMT - The functional model;    Journal of Object-Oriented Programming (8) 1, pp. 10-14, 1995


/ Schader, Rundshagen, 96/    M. Schader, M. Rundshagen: Objektorientierte Systemanalyse;    2. Auflage, Springer Verlag, 1996


/ Schönthaler, 90/    F. Schönthaler, T. Németh: Software Entwicklungswerkzeuge:;    Methodische Grundlagen;    Teubner Verlag, Stuttgart, 1990


/ Schreiber, 94/    G. Schreiber, B. Wielinga, R. de Hoog, H. Akkermans, W. Van de Velde: CommonKADS: a comprehensive methodology for KBS development (innovations in knowledge-based systems);    IEEE Expert, volume 9, number 6, pp. 28-37, 12/1994


/ Shlaer, Mellor, 92/    S. Shlaer, St. Mellor: Object Lifecycles - Modeling the World in States;    Prentice-Hall Inc., Englewood Cliffs, NJ, 1992


/ Shumate, 92/    K. Shumate: Software Specification and Design - A Disciplined Approach for Real-Time Systems;    J.Wiley & Sons, New York, 1992


/ Sneed, 88/    H. M. Sneed: Software-Qualitätssicherung Verlagsgesellschaft Rudolf Müller, Köln, 1988


/ Srivastava, 86/    V. K. Srivastava, W. Farr: The Use of Software Reliability Models in the Analysis of Operational Systems, 1986 Proceedings of the Institute of;    Environmental Sciences 32nd Annual Technical Meeting Dallas, Fort Worth, 1986


/ Starr, 96/    L. Starr: How to Build Shlaer/Mellor Object Models;    Prentice Hall International Inc., Englwood Cliffs, NJ, 1996


/ Strunz, 77/    H. Strunz: Entscheidungstabellentechnik: Grundlagen und Anwendungsmöglichkeiten bei der Gestaltung rechnergestützter Informationssysteme;    Hanser Verlag, München, Wien, 1977


/ Sukert, 77/    A. N. Sukert: An Investigation of Software Reliability Models;    Proceedings of the Annual Reliability and Maintainability Symposium;    Philadelphia, 1977


/ Thumb, 75/    N. Thumb: Grundlagen und Praxis der Netzplantechnik, Band 1 und 2 ;    Verlag Moderne Industrie, München, 1975


/ Tumm, 72/    G. Tumm: Die neuen Methoden der Entscheidungsfindung;    Verlag Moderne Industrie, München, 1972


/ Vetter, 90/    M. Vetter: Aufbau betrieblicher Informationssysteme;    Teubner Verlag, Stuttgart, 1990


/ Voigt, 71/    J. P. Voigt: Fünf Wege der Netzplantechnik;    Verlagsgesellschaft Rudolf Müller, Köln, 1971


/ Vossen, 88/    G. Vossen: Datenmodelle, Datenbanksprachen und;    Datenbank-Management-Systeme;    Addison-Wesley, Bonn, München, Reading (MA), 1989


/ Wallmüller, 90/    E. Wallmüller: Software-Qualitätssicherung Hanser Verlag, München, Wien, 1990


/ Wiborny, 91/    W. Wiborny: Datenmodellierung, CASE, Datenmanagement;    Addison-Wesley, Bonn, München, Reading (MA), 1991


/ Wielinga, 94/    Bob J. Wielinga (Hrsg.): Expertise Model Definition Document;    Esprit Project P5248 KADS-II, KADS-II/M2/UvA/026/5.0, 06/1994


/ Wilkinson, 95/    N. M. Wilkinson: Using CRC Cards;    SIGS Books, 1995


/ 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


/ Wirfs-Brock, 93/    R. Wirfs-Brock, B. Wilkerson, L. Wiener: Objektorientiertes Software-Design;    Hanser Verlag, 1993


/ Yamada, 85/    S. Yamada, S. Osaki: Software Reliability Growth Modelling: Models;    and Applications;    IEEE Transactions on Software Engineering, Vol. SE-11, No. 12,;    December 1985


/ Yeh, 77/    R. T. Yeh: Verification of Programs by Predicate Transformation;    in: R. T. Yeh (ed.): Current Trends in Programming Methodology,;    Volume II, Program Validation;    Prentice-Hall, Englewood Cliffs, NJ, 1977


/ Yourdon-Constantine, 79/    E. Yourdon, L. L. Constantine: Structured Design: Fundamentals of a;    Discipline of Computer Program and Systems Design;    Prentice Hall, Englewood Cliffs, NJ, 1979


/ Zangemeister, 72/    Ch. Zangemeister: Nutzwertanalyse;    in: /Tumm, 72/