Literaturverzeichnis

Inhaltsangabe des Literaturverzeichnisses

1 Hintergrundliteratur .......................................................................... 367 2 Softwaretechnik: Allgemeines, Begriffsbildung ..................................... 368 3 Softwaretechnik: Andere Spezialgebiete .............................................. 369 4 Literatur zu Programmieren im GroBen ............................................... 372 5 Programmiersprachenkonzepte und Programmierparadigmen ................ 375 6 Softwareentwicklungs-Umgebungen: Obersicht ................................... 378 7 Werkzeuge fUr das Programmieren im GroBen ..................................... 379

1 Hintergrundliteratur IAHU 871 A. Aho/J. Hopcroft/J. Ullman: Data Structures and Algorithms. Reading: Addison

Wesley (1987).

IASU 861 A. Aho/R. SethilJ. Ullmann: Compilers: Principles. Techniques. and Tools. Reading: Addison Wesley (1986).

IBi 761 R. Bird: Programs and Machines. London: J. Wiley (1976).

IBMS 841 M. Brodie/J. Mylopoulos/J.W. Schmidt (Eds.): On Conceptual Modelling: Perspec­tives from Artificial Intelligence. Data Bases and Programming Languages. New York: Springer-Verlag (1984).

IBH 771 P. Brinch Hansen: Betriebssysteme. Hanser-Verlag (1977).

IDij 721 E. W.Dijkstra: Notes on Structured Programming. in DahIlDijkstra/Hoare: Structured Programming. 1-82. London: Academic Press (1972).

IELS 871 G. Engels/C. Lewerentz/W. Schafer: Graph Grammar Engineering - A Software Specification Method. Lect. Notes in Compo Sci. 291. 186-201, Berlin: Springer-Ver­lag (1987).

IGo 881 H. Gottler: Graph-Grammatiken in der Softwaretechnik. Informatik-Fachberichte 178. Berlin: Springer-Verlag (1988).

IGW 851 G. Goos/J. Waite: Compiler Construction. New York: Springer-Verlag (1985).

IKMA 821 A.J. Kfoury/R.N. Moll/M.A. Arbib: A Programming Approach to Computability. New York: Springer-Verlag (1982).

IKn 73-81/ D. Knuth: The Art of Computer Programming. Vol. 1.2.3. Reading: Addison-Wesley (1973. 1973. 1981).

IMe 841

INa 791

IPD 821

ISc 891

K. Mehlhorn: Data Structures and Algorithms. Vol. 1.2. EATCS Monograph Series. Berlin: Springer-Verlag (1984).

M. Nag!: Graph-Grammatiken: Theorie. Anwendungen. Implementierung. Braun­schweig: Vieweg-Verlag (1979).

S. Pemberton/M.C. Daniels: Pascal Implementation - The P4 System. Chichester: Ellis Horwood (1984).

A. Schurr; Introduction to PROGRESS. an Attribute Graph Grammar Based Specifi­cation Language. Lect. Notes in Compo Sci. 411. 151-165. Berlin: Springer-Verlag (1990).

368

ISc 901

ISMS 841

IWi 841

A. Schurr: Eine Spezifikationssprache basierend auf Graph-Grammatiken. Disserta­tion. RWfH Aachen (1990).

J.F. Sowa/J. Mylopoulos/J.W. Schmidt: Conceptual Structures: Information Process­ing in Mind and Machine. Reading: Addison Wesley (1984).

N. Wirth: Compilerbau. 3. Auflage. Stuttgart: Teubner-Verlag (1984).

2 Softwaretechnik: Allgemeines, Begriffshildung

lAb 861 R.J. Abbot: An Integrated Approach to Software Development. New York: J. Wiley (1986).

lAg 861 W. Agresti (Ed.): New Paradigms for Software Development. Washington: IEEE Computer Society Press (1986).

IBa 75al F.L. Bauer (Ed.): Software Engineering. An Advanced Course. Lect. Notes in Compo Science 30. Berlin: Springer-Verlag (1975).

IBa 75bl F.L. Bauer: Software Engineering. in IBa 75a/. 522-543.

IBa 821 H. Balzert: Die Entwicklung von Softwaresystemen. Mannheim: BibJ. Institut (1982).

IBa 861 R. L. Baber: Software-Reflexionen. Berlin: Springer-Verlag (1986)

IBBL 761 B.W. Boehm/J.R. Brown/M. Lipow: Quantitative Evaluation of Software Quality. Proc. Int. Conf. on Software Engineering 1976. 592-685. IEEE Computer Society Press (1976).

IBBM 781 B.W. Boehm/J. R. Brown/G. McLeodlM. Lipow/M. Merrit: Characteristics of Soft­ware Quality. Amsterdam: North Holland (1978).

IBCG 831 R. BalzerIT. Cheatham/C. Green: Software Technology in the 1990's: Using a New Paradigm. IEEE Computer. 11/83. 39-45 (1983).

IBo 761 B.W. Boehm: Software Engineering. IEEE Transactions on Computers. C-25. 12. 1226-1241 (1976).

IBo 821 B.W. Boehm: Software Engineering Economics. Englewood Cliffs: Prentice Hall (1982) .

IBo 841 B. W. Boehm: Software Lifecycle Factors. in VicklRamamoorthy (Eds.): Handbook on Software Engineering. 494-518. New York: van Nostrand Reinhold (1984).

IBo 861 B.W. Boehm: A Spiral Model of Software Development and Enhancement. ACM Software Engineering Notes 11. 4. 22-42 (1986).

IBo 891 B. Boehm: Advanced Software Cost Estimating: Featuring the Most Sophisticated Tool Today COCOMO. Seminar Outline. The Higher Silver Video Learning Series No.2 (1989).

IBR 691 J.N. Buxton/B. Randell (Eds.): Software Engineering Techniques. Report on a Con­ference. Rome. 1969. Brussels: NATO Scientific Affairs Division (1969).

ICJ 821 D.D.McCracken/M.A. Jackson: Life Cycle Concepts Considered Harmful. ACM Software Engineering Notes 7.2. 29-32 (1982).

IDe 751 J.B. Dennis: The Design and Construction of Software Systems. in IBa 75a/. 12-28.

IFa 851 R.E. Fairley: Software Engineering Concepts. New York: McGraw-Hill (1985).

IFGHW 881 F. Flores/M. Graves/B. HartfieldIT. Winograd: Computer Systems and Design of Or-ganizational Interaction. ACM Trans. Office Inform. Systems 6.2. 153-172 (1988).

IFI 891

369

Ch. Floyd: Software-Entwicklung als Realitatskonstruktion. Fachtagung Software­Entwicklung. Informatik-Fachberichte 212. 1-20 (1989).

IHKLR 841 W. Hesse/A. Keutgen/A.L. Luft/H.D. Rombach: Ein Begriffssystem flir die Software­technik - Vorschlag zur Terminologie. Informatik-Spektrum 7.4. 200-213 (1984).

IKKST 791 R. Kimm/W. Koch/W. Simonsmeier/F. Tontsch: Einflihrung in Software Engineering.

IKS 821

IMe 861

INR 681

IRa 841

1ST 831

ISW 891

IZa 841

IZe 791

Berlin: de Gruyter Verlag (1979).

R. Kling/W. Scacci: The Web of Computing: Computing Technology as Social Organi­zation. in Yovits (Ed.): Advances in Computers. Vol. 21. 1-90. New York: Academic Press (1982).

L. Meertens (Ed.): Program Specification and Transformation. Amsterdam: North Holland (1986).

T. Naur/B. Randell (Eds.): Software Engineering. Report on a Conference. Garmisch. 1968. Brussels: NATO Scientific Affairs Division (1968).

C.V. Ramamoorthy et al.: Software Engineering - Problems and Perspectives. Com­puter 10/84. 191-209 (1984).

The DoD STARS Program. Software Technology for Adaptable. Reliable Systems. Sonderheft. IEEE Computer. November 1983.

S. Shatz/J.-P. Wang: Distributed Software Engineering. IEEE Compo Society Press (1989).

P. Zave: The Operational versus the Conventional Approach to Software Develop­ment. Comm. ACM 27.2 104-118. (1984).

M. Zelkowitz et al.: Principles of Software Engineering and Design. Englewood Cliffs: Prentice Hall (1979).

3 Softwaretechnik: Andere Spezialgebiete

lAM 811 R. Abbot/D. Moorhead: Software Requirements and Specifications - A Survey of Needs and Languages. Journ. of Syst. and Softw .• 2. 4. 297-316 (1981).

IBa 861 W.A. Babich: Software Configuration Management. Reading: Addison Wesley (1986).

IBB 841 D.S. Batory/A.P. Buchmann: Molecular Objects. Abstract Datatypes. and Data Mod­els: A Framework. Proc. 10th Int. Conf. Very Large Data Bases. 172-184 (1984).

IBDH 891 M.v.d. Beeck/J. Derissen/P. Hruschka/Th. Janning/M. Nagl: Integrating Structured Analysis and Information Modelling. Aachener Informatik-Berichte 89-17.

IBe 831 B. Beizer: Software Testing Techniques. New York: van Nostrand (1983).

IBe 841 B. Beizer: Software System Testing and Quality Assurance. New York: van Nostrand (1984) .

IBHS 801 E.H. BersofflV.D. Henderson/S.G. Siegel: Software Configuration Management. Englewood Cliffs: Prentice Hall (1980).

IBKMZ 841 R. Budde/K. Kuhlenkamp/L. Mathiassen/H. Ziillighoven: Approches to Prototyping.

IBo 841

IBo 891

Berlin: Springer-Verlag (1984).

B.W. Boehm: Verifying and Validating Software Requirements and Design Specifica­tions. IEEE Software 1. 1. 75-88 (1984).

B.W. Boehm: Software Risk Management. IEEE Compo Society Press (1989).

370

/BS 85/ R.J. Brachman/J.G. Schmolze: An Overview of the KL-ONE Knowledge Representa­tion System, Cognitive Science 9, 2, 171-216 (1985).

/BW 82/ BartlettlWalter (Eds.): Proc. Intern. Conf. on Systems Documentation, January (1982).

/CDS 86/ S.D. Conte/H.E. DunsmoreN.Y. Shen: Software Engineering Metrics and Models, Menlo Park: Benjamin Cummings (1986).

/Ch 85/ T.S. Chow: Software Quality Assurance, Silver Spring: IEEE Compo Society Press (1985).

/CSM 89/ Conference on Software Maintenance 1989, Proceedings, IEEE Compo Society Press (1989) .

/Cu 86/ B. Curtis: Human Factors in Software Development, 2nd ed., Washington: IEEE Computer Society Press (1986).

/DKP 89/ P. De la Cruz/B. Krieg-Bruckner/A. Perez Riereo: From Algebraic Specifications to Correct Ada Programs: The Esprit Project PROSPECTRA, in A. Alvarez (Ed.): Proc. Ada '89 Int. Conf., Madrid, 171-182, Cambridge: Cambridge Univ. Press (1989).

/DM 78/ T.DeMarco: Structured Analysis and System Specification, New York: Yourdon Press, (1978).

/DT 90/ M. Dorfman/R.H. Thayer: Standards, Guidelines, and Examples: System and Soft­ware Requirements Engineering, IEEE Compo Society Press (1990).

/EM 85, 89/ H. Ehrig/B. Mahr: Fundamentals of Algebraic Specification, Band 1, Berlin: Sprin­ger-Verlag (1985), Band 2, Berlin: Springer-Verlag (1989).

/EM 87/ M.W. Evans/J.J. Marciniak: Software Quality Assurance and Management, New York: John Wiley (1987).

/FBB 82/ W.R. Franta/H.K. Berg/W.E. BoebertlT.G. Moher: Formal Methods of Program Verification and Specification, Englewood Cliffs: Prentice Hall (1982).

/Fr 87/ P. Freeman (Ed.): Software Reusability, Washington: IEEE Computer Society Press (1987).

/FW 83/ P. Freeman/A.J. Wasserman (Eds.): Software Design Techniques, 4th ed., Silver Spring: IEEE Computer Society Press (1983).

/GC 87/ R.B. Grady/D.R. Caswell: Software Metrics: Establishing a Company-wide Program, Englewood Cliffs: Prentice Hall (1987).

/GG 86/ N. GehanilA. McGettrick (Eds.): Software Specification Techniques, Reading: Ad­dison Wesley (1986).

/Gi 88/ T. Gilb: Principles of Software Engineering Management, Reading: Addison Wesley (1988).

/Ha 77/ H.M. Halstead: Elements of Software Science, New York: Elsevier (1977).

/HH 89/ R.G. HerrtwichlG. Hommel: Kooperation und Konkurrenz - NebenUiufige, verteilte und echtzeitabhiingige Programmsysteme, Berlin: Springer-Verlag (1989).

/Ho 87/ W.E. Howden: Functional Program Testing and Analysis, New York: McGraw-Hili (1987) .

/HP 87/ D.J. Hatley/LA. Pirbhai: Strategies for Real-Time Systems, New York: Dorset House (1987).

/IEEE 87/ IEEE: Software Engineering Standards, New York: Wiley Interscience (1987).

IJn 861

IJo 861

IKI 831

ILG 861

ILS 841

IMa 841

IMH 811

IMM 831

IMM 881

IMP 841

IMy 791

INV 831

IPSS 811

IPZ 831

IRe 861

IRo 851

IRW 861

ISBZ 821

ISha 861

IShn 861

ISP 891

ISS 771

rrD 901

371

T.C. Jones: Programming Productivity, New York: McGraw-Hill (1986).

C.B. Jones: Systematic Software Development Using VDM, Englewood Cliffs: Pren­tice Hall (1986).

H.A. Klaeren: Algebraische Spezifikation - Eine Einfiihrung, Berlin: Springer-Verlag (1986).

B. Liskow/J. Guttag: Abstraction and Specification in Program Development, Cambridge: MIT Press (1986).

J. LoeckxlK. Sieber: The Foundations of Program Verification, New York-Stuttgart: Wiley-Teubner (1984).

Y. Mazumoto: Some Experiences in Promoting Reusable Software Representations in Higher Abstract Levels, IEEE Trans. on Software Engineering 10, 5 (1984)

E. Miller/W.E. Howden (Eds.): Software Testing and Validation Techniques, New York: IEEE Computer Society Press (1981).

J. Martin/C. McClure: Software Maintenance - The Problem and its Solution, Englewood Cliffs: Prentice Hall (1983).

J. Martin/C. McClure: Structured Techniques, 2nd Edition, Englewood Cliffs: Pren­tice Hall (1988).

S.M. McMenaminlJ. F. Palmer: Essential Systems Analysis, New York: Yourdon Press (1984).

G. Myers: The Art of Software Testing, New York: John Wiley (1979).

J. Nievergelt/A. Ventura: Die Gestaltung interaktiver Programme, Stuttgart: Teubner (1983) .

A. Perlis/F. Sayward/M. Shaw (Eds.): Software Metrics - An Analysis and Evalu­ation, Cambridge: MIT Press (1981).

G. Parikh/N. Zvegintzov (Eds.): Software Maintenance, Silver Spring: IEEE Comput­er Society Press (1983).

B.J. Reifer (Ed.): Software Management, 3rd ed., Washington: IEEE Computer Soci­ety Press (1986).

G.C. Roman: A Taxonomy of Current Issues in Requirements Engineering, IEEE Computer 18, 4, 14-22 (1985).

C. Rich/R.C. Waters: Artificial Intelligence and Software Engineering, Los Altos: Morgan Kaufman (1986).

S. Squires/M. Branstad/M. Zelkowitz (Eds.): Proc. ACM SIGSOFT Engineering Workshop on Rapid Prototyping, ACM Software Engineering Notes 7, 5 (1982).

M. Shaw: Beyond Programming-in-the-Large: The Next Challenges for Software En­gineering, in 16. CDW 86/, 519-535.

B. Shneiderman: Designing User Interfaces, Reading: Addison Wesley (1986).

Fourth International Software Process Workshop, ACM SIGSOFT Software Eng. Notes 14, 4 (1989).

J.M. Smith/D.C.P. Smith: Database Abstractions: Agrigation and Generalization, ACM Trans. Database Systems 2, 2 105-133 (1977).

R.H. Thayer/M. Dorfman: System and Software Requirements Engineering, IEEE Compo Science Press (1990).

372

fTh 88/

rTP 84/

rTr 86/

IWB 89/

/Wi 88/

/WM 85/

/WT 89/

/Yo 89/

R. Thayer: Software Engineering Project Management. IEEE Compo Society Press (1988).

R.H. Thayer/A.B. Pyster: Special Issue on Software Engineering Project Managment. IEEE Trans. Software Engineering SE-lO. 1 (1984).

W. Tracz (Ed.): Software Reuse - Emerging Technology. Washington: IEEE Comput­er Society Press (1988).

M. Wirsing/J.A. Bergstra (Eds.): Algebraic Methods: Theory. Tools. and Applica­tions. Lect. Notes in Compo Science 394. Berlin: Springer-Verlag (1989).

J.F.H. Winkler (Ed.): Proc. 1st Int. Workshop on Software Version and Configura­tion Control. Bericht 30. German Chapter ACM. Stuttgart: Teubner-Verlag (1988).

P.T. Ward/S.J. Mellor: Structured Development for Real-Time Systems. Vol. 1.2.3. New York: Yourdon Press (1985).

J.F.H. Winkler/W. Tichy (Eds.): Proceedings 2nd Int. Workshop on Software Con­figuration Management. ACM Software Engineering Notes 14. 7 (1989).

E. Yourdon: Modern Structured Analysis. New York: Yourdon Press (1989).

4 Literatur zu Programmieren im GroDen

/AI 78/ W. Altmann: Beschreibung von Programm-Modulen rum Entwurf zuverliissiger Soft­ware. Diss. Universitiit Erlangen. Arbeitsberichte IMMD. 11-16 (1978).

/AI 79/ W. Altmann: A New Module Concept for the Design of Reliable Software. in P. Raulefs (Ed.): Workshop on Reliable Software. 155-166. Miinchen: Hanser-Verlag (1979) .

/Ar 81/ J.L. Archibald: The External Structure - Experiences with an Automated Module Interconnection Language. Journ. Syst. and Softw. 2 (1981).

/ASM 89/ J.-R. AbriaIlS.A. Schuman/B. Meyer: A Specification Language. in R. McNaugh­ton/R.C. McKeag: On the Construction of Programs. Cambridge University Press (1989).

/Bb 86/ D.G. Bobrow et al: Common Loops: Merging Common Lisp and Object-oriented Pro­gramming. in /OOPSLA '86/. 17-29.

/BEP 87/ E.K. Blum/H. Ehrig/F. Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnection. Techn. Rep .• Univ. of Southern Cal.. LA (1987).

/BeG 81/ G.D. Bergland/R.D. Gordon: Software Design Strategies. 2nd Ed .• New York: Sprin­ger-Verlag (1981).

/BG 81/ R.M. BurstaIIlJ.A. Goguen: An Informal Introduction to Specifications Using Clear. in R.S. Boyer/J.S. Moore: The Correctness Problem in Computer Science. 185-213. New York: Springer-Verlag (1981).

/BG 88/ J. Bergin/S. Greenfield: What does Modula-2 Nead to Fully Support Object-oriented Programming. SIGPLAN Notices 23. 3. 73-82 (1988).

/BGH 86/ M. Broy/A. Geser/H. Hussmann: Towards Advanced Programming Environments Based on Algebraic Concepts. in /6. CDW 86/. 454-470.

/Bo 86/ E. Borison: A Model of Software Manufacture. in /6. CDW 86/. 197-220.

/Bo 87/ G. Booch: Software Components with Ada. Menlo Park: Benjamin Cummings (1987).

/Bo 90/ J. Borstler: Dissertationsvorhaben an der RWTH Aachen.

373

IBu 841 R.J.A. Buhr: System Design with Ada, Englewood Cliffs: Prentice Hall (1984).

IBW 81/ H. BalzertlD. Weber: PLASMA/D - Eine Sprache fUr den Systementwurf, Bericht 5, German Chapter ACM, 175-200, Stuttgart: Teubner-Verlag (1981).

ICa 891 J.R. Cameron: JSP & JSD: The Jackson Approach to Software Development, 2nd ed., Washington: IEEE Compo Society Press (1989).

ICI 851 J.Czyzowics/M. Iglewski: Implementing Generic Types in Modula-2, SIGPLAN No­tices 20, 12, 26-32 (1985).

ICo 791 L. W. Cooprider: The Representation of Families of Software Systems, Diss. Carnegie­MeIlon-University, Techn. Report CMU-CS-79-116 (1979).

ICWW 801 L.A. Clark/J.C. Wileden/A.L. Wolf: Nesting in Ada is for the Birds, Proc. ACM Symp. on Ada, SIGPLAN Notices 15, 11, 131-145 (1980).

IDi 891 R. Dietrich: A Preprocessor Based Module System for Prolog, Proc. TAPSOFT, Lect. Notes in Compo Sci. 351, Vol. II (1989).

IDK 761 F. DeRemer/H.H. Kron: Programming in the Large versus Programming in the Small, IEEE Transactions on Software Engineering, SE-2, 2, 80-86 (1976).

lEE 881 J. Ebert/G. Engels: Konzepte einer Software-Architektur-Beschreibungssprache, In­formatik-Fachberichte 212, 238-250 (1988).

lEW 861 H. Ehrig/H. Weber: Specification of Modular Systems, IEEE Trans. on Softw. Eng., SE-12, 7, 784-789 (1986).

IFGJM 851 K. Futatsugi/J.A. Goguen/J.P. Jouannaud/J. Messeguer: Principles of OB12, Proc. 1985 ACM Symp. on Principles of Programming Languages, 52-66 (1985).

IGa 821 R. Gall: Structured Development of Modular Software Systems - The Module Graph as Central Data Structure, Proc. WG' 81, Workshop on Graphtheoretic Concepts in Computer Science, 327-338, Miinchen: Hanser-Verlag (1982).

IGa 831 R. Gall: Formale Beschreibung des Programmierens-im-GroBen mit Graph-Gram­matiken, Diss. Universitat ErIangen, Arbeitsberichte IMMD 16-1 (1983).

1GB 801 I. Goldstein/D. Bobrow: A Layered Approach to Software Design, Techn. Report CSL-80-5, Xerox PARK (1980).

IGHW 851 J.V. Guttag/J.J. Horning/J.M. Wing: The Larch Family of Specification Languages, IEEE Software 2,5, 24-36 (1985).

IGo 871 K.E. Gorlen: An Object-oriented Class Library for C++ Programs, Software Pract. & Exp. 17, 12, 899-922 (1987).

IGu 761 J. Guttag: Abstract Data Types and the Development of Data Structures, Conf. on Data, Salt Lake City, 1976, auch Comm. ACM 20, 6, 396-404 (1977).

IHP 801 H.N. Habermann/D. Perry: Well-formed System Compositions, Technical Report CMU-CS-80-117, Carnegie-MeIlon University (1980).

IHO 891 HOOD Working Group: HOOD Reference Manual, European Space Agency WME 89-173/JB

IJa 831 M. Jackson: System Development, Englewood Cliffs: Prentice Hall (1983).

IJa 901 Th. Janning: Dissertationsvorhaben an der RWTH Aachen

IJF 881 R.E. Johnson/B. Foote: Designing Reusable Classes, Journal Obj.-or. Programming, 22-35 (July 88).

IKG 87al G. Kaiser/D. GarIan: MELDing Data Flow and Object-oriented Programming, Proc. OOPS LA '87, ACM SIGPLAN Notices 22, 12, 254-267 (1987).

374

IKG 87bl G. Kaiser/D. Garlan: Melding Software Systems from Reusable Building Blocks, IEEE Software, July 87, 17-24.

ILe 871 J. J. Leeson: Type Independent Modules: The Preferred Approach to Generic ADTs in Modula-2, SIGPLAN Notices 22, 3, 65-70 (1987).

ILe 881 C. Lewerentz: In I7.Le 88a/, Kap. 2 "Modulkonzept".

ILG 861 B. Liskov/J. Guttag: Abstraction and Specification in Program Design, Cambridge: MIT Press (1986).

ILN 851 C. Lewerentz/M. Nag!: Incremental Programming in the Large: Syntax-aided Specifi­cation Editing. Integration and Maintenance, Proc. 18th Hawaii Int. Conf. on System Sciences, 638-649 (1985).

ILS 791 H.C. Lauer/E.H. Satherswaite: The Impact of Mesa on System Design, Proc. 4th Int. Conf. on Softw. Eng., 174-182 (1979).

ILS 831 B. Lampson/E. Schmidt: Organizing Software in a Distributed Environment, Proc. 1983 Symp. on Progr. Lang. Issues in Software Systems, SIGPLAN Notices 18, 6. 1-13 (1983).

ILZ 741 B. Liskov/S. Zilles: Programming with Abstract Data Types, SIGPLAN Notices 9, 4, 50-59 (1974).

ILZ 751 B. Liskov/S. Zilles: Specification Techniques for Data Abstractions, Int. Conf. on Reliable Software, Los Angeles. 72-87, New York: IEEE (1975).

IMe 851 B. Meyer: On Formalisms in Specifications. IEEE Software 2. 1. 6-26 (1985).

IMe 861 B. Meyer: Genericity versus Inheritance, Proc. OOPS LA '86, ACM SIGPLAN No­tices 21. 11, 391-405 (1986).

IMe 881 B. Meyer: Object-oriented Software Construction, New York: Prentice Hall (1988).

IMS 891 D.R. Musser/A.A. Stepanow: The Ada Generic Library. Berlin: Springer-Verlag (1989).

IMu 861 A.H. Muller: Rigi - A Model for Software System Construction. Integration. and Evo­lution based on Module Interface Specifications, Dissertation Rice University, Techn. Report COMP.TR 86-36, Houston (1986).

INa 821 M. Nagl: Einfiihrnng in die Programmiersprache Ada. Kap. 4, 1. Auflage, Braunschweig: Vieweg-Verlag (1982).

INS 871 K. Narayasanaswamy/W. Scacci: Maintaining Configurations of Evolving Software Systems, IEEE Trans. on Softw. Eng. 13-3, 324-334 (1987).

lOs 861 H.L. Ossher: A Mechanism for Specifying the Structure of Large, Layered. Object­oriented Programs. SIGPLAN Notices 21. 10. 143-152 (1986).

IPa 721 D.L. Pamas: On the Criteria To Be Used in Decomposing Systems into Modules, Comm. ACM 15. 12. 1053-1058 (1972).

IPa 781 D.L. Pamas: Designing Software for Ease of Extension and Contraction, Proc. Intern. Conf. on Software Eng., 264-277. New York: IEEE Compo Soc. Press (1978).

IPCW 851 D.L. Pamas/P.C. Clements/D.M. Weiss: The Modular Structure of Complex Systems, IEEE Transactions on Software Eng., Vol SE-11. 3. 259-266 (1985).

IPN 861 R. Prieto-Diaz/J.M. Neighbor: Module Interconnection Languages, Joum. of Systems and Software 6, 307-334 (1986).

IPS 751 D.L. Pamas/D.T. Siewiorek: Use of the Concept of Transparency in the Design of Hierarchically Structured Systems. Comm. ACM 18, 7, 401-408 (1975).

375

IRe 891 Ch. Read: Elements of Functional Programming, Reading: Addison Wesley (1989).

ISB 821 W. SwartoutlR. Balzer: On the Inevitable Intertwining of Specification and Implemen­tation, Comm. ACM 25, 7, 438-440 (1982).

ISc 881 R.S. Scowen (Ed.): Modules in Prolog, A Discussion Paper, ISO/IEC lTC1 SC22, WG 12, Document N 14, July 88.

IWCW 851 A.L. Wolf/L.A. Clarke/J.C. Wileden: Ada-based Support for Programming-in -the­Large, IEEE Software, 58-71 (March 85).

IYC 791 E. Yourdon/L. Constantine: Structured Design, Englewood Cliffs: Prentice Hall (1979).

IZi 751 S.N. Zilles: Data Algebra: A Specification Technique for Data Structures, Doctoral Dissertation, Project MAC, MIT (1975).

5 Programmiersprachenkonzepte und Programmierparadigmen

IBa 831 R. Balzer: A 15 year Perspective on Automatic Programming, IEEE Transactions on Software Engineering, SE-11, 1257-1268 (1985).

IBa 85,871 F.L. Bauer et al.: The Munich CIP Project, Vol. I: The Wide Spectrum Language CIP-L, LNCS 183, Vol. II: The Program Transformation System CIP-S, LNCS 292, Berlin: Springer-Verlag (1985, 1987).

IBb 831 D. G. Bobrow: The LOOPS Manual, Ranc Xerox Inc., Palo Alto (1983).

IBDMN 731 G. Birtwistie/O.-J. Dahl/B. Myrhaug/K. Nygaard: Simula Begin, Lundt: Student­literatur (1973).

IBGN 861 M. Berzins/M. Gray/D. Neumann: Abstraction-Based Software Development, Comm. ACM 29, 5 402-415 (1986).

IBh 831 K. Bashar: How Object-oriented is your System? SIGPLAN Notices 18, 10 (1983).

IBI 821 A.H. Borning/D.H.H. Ingalls: A Type Declaration and Interference System for Smalltalk, 9th Annual ACM Symposium on Principles of Programming Lanugages (POPL), 133-141 (1982).

IBKK 851 D. Bobrow/K. Kahn/G. Kiczalas: Common Loops: Merging Common Lisp and Ob­ject-oriented Programming, Techn. Report ISL-85-8, Xerox PARC (1985).

IBo 831 G. Booch: Software Engineering with Ada, Menlo Park: Benjamin Cummings (1983).

IBr 831 R.J. Brachmann: What IS-A is and isn't: An Analysis of Taxonomic Links in Seman­tic Networks, IEEE Computer 16, 10, 67-73 (1983).

IBr 861 L. Brownston et al.: Programming Expert Systems in OPS-5, Reading: Addison Wes­ley (1986).

IBr 871 I. Bratko: Prolog Programming for AI, Reading: Addison Wesley (1987).

IBW 841 F.L. Bauer/H. Wossner: Algorithmische Sprache und Programmentwicklung, 2. Auflage, Berlin: Springer-Verlag (1984).

ICDG 891 L. Cardelli/J. Donahue/C. Glassman/M. Jordan/B. Kalsow/G. Nelson: Modula-3 Re­port (Revised), Digital Systems Research Center, Palo Alto (1989).

ICM 841

ICo 861

W.F. Clocksin/C.S. Mellish: Programming in Prolog, 2nd Ed., New York: Springer­Verlag (1984).

B. Cox: Object-oriented Programming - An Evolutionary Approach, Reading: Ad­dison Wesley (1986).

376

ICW 851 L. CardellUP. Wegner: On Understanding Types. Data Abstraction. and Polymor­phism. Computing Surveys 17.4. 471-520 (1985).

IDGLS 791 R. Dewar/A. Grand/S.C. Lin/J.T. Schwartz: Programming by Refinement. as Exempli­fied by the SETL Representation SUblanguage. ACM Trans. on Progr. Lang. and Syst. 1. 1, 27-49 (1979).

IDN 661 O.J. DahVK. Nygaard: SIMULA - An Algol-based Simulation Language. Communi­cations ACM 9.9. 671-678 (1966).

IDo 891 C.M. Donaldson: Dynamic Binding and Inheritance in an Object-oriented Ada De­sign. in A. Alvarez (Ed.): Proc. Ada Europe '89 Conf .• Madrid. 16-25. Cambridge: Cambridge Univ. Press (1989).

IDoD 831 Department of Defense (USA): Reference Manual for the Ada Programming Lan­guage. ANSI-MIL-STD 1815 A.

IDT 881 S. Danforth/C. Tomlinson: Type Theories and Object-oriented Programming. ACM Computing Surveys 20.1. 29-72 (1988).

IFFF 891 J.P. Forrestier/C. Fornarino/P. Franchi-Zanettacci: Ada++ - A Class and Inheritance Extension for Ada. in A. Alvarez (Ed.): Proc. Ada Europe '89 Int. ConI. Madrid. 3-15. Cambridge: Cambridge Univ. Press (1989).

IGJ 821 C. Ghezzi/M. Jazayeri: Programming Language Concepts. New York: J. Wiley (1982).

IGM 861 J.A.Goguen/J. Messeguer: Extensions and Foundations of Object-oriented Program­ming. SIGPLAN Notices 21. 10. 153-162 (1986).

IGR 831 A. Goldberg/D. Robson: Smalltalk-80: The Language and its Implementation. Read­ing: Addison-Wesley (1983).

IGR 891 A. Gorgano/C. Romvary: Synthesizing Software Development Using Ada. in A. Al­varez (Ed.): Proc. Ada Europe '89 Int. ConI.. Madrid. 256-265. Cambridge: Cambridge Univ. Press (1989).

IHi 831 P. Hilfinger: Abstraction Mechanisms and Language Design. Cambridge: MIT Press (1983) .

IHo 871 H.-J. Hoffmann (Hrsg.): Smalltalk verstehen und anwenden. Miinchen: Hanser-Ver­lag (1987).

IIEEE 881 Tutorials on object-oriented Computing. Vol. 1.2. IEEE Compo Soc. Press (1988).

IISO 821 International Organization for Standardization: Programming Language Pascal. ISOI DIS 7185 (1982).

IJW 751 K. Jensen/N. Wirth: Pascal- User Manual and Report. 3. Auflage. Berlin: Springer­Verlag (1975).

IKR 781 B.W. Kernighan/R.P. Ritchie: The C Programming Language. Englewood Cliffs: Pren­tice Hall (1978).

ILi 891 S. Lippmann: C++ Primer. Addison Wesley (1989).

IMa 831 B. MacLennon: Principles of Programming Languages. New York: Holt. Rinehart and Winston (1983).

IMe 881 B. Meyer: Eiffel- A Language and Environment for Software Engineering. Journal of Systems & Software 8. 199 -246 (1988).

INa 831 M. Nag!: Ada und Smalltalk - Ein summarischer Vergleich. Techn. Bericht OSM-I-16. Universitat Osnabrock (1983).

INa 871 M. Nag!: Smalltalk-80 als Programmiersprache. in IHo 87/. 5-33.

377

/Na 88/ M. Nagl: Einfiihrung in die Programmiersprache Ada. 2. erw. und neubearb. Auflage. Wiesbaden:Vieweg-Verlag (1988).

/OOPSLA/ Proceedings Conf. on Object-oriented Programming Systems. Languages and Applica­tions. OOPSLA '86: SIGPLAN Notices 21. 11 (1986). OOPS LA '87: SIGPLAN No­tices 22. 12 (1987). OOPS LA '88: SIGPLAN Notices 23. 11 (1988). OOPSLA '89: SIGPLAN Notices 24.10 (1989).

/Pe 88/ E. Perez: Simulating Inheritance with Ada. ACM Ada Letters 8.5. 37-46 (1988).

/Sa 88/ M. Sakkinen: On the darker side of C++. Proc. Europ. Conf. on Object-Oriented Programming ECOOP '88. Lect. Notes Compo Sci. 322. 162-176 (1988).

/Sc 81/ H. J. Schneider: Problemorientierte Programmiersprachen. Stuttgart:Teubner-Verlag (1981).

/SC 88/ R. Simonian/M. Crone: InnovAda: True Object-oriented Programming in Ada. Jour­nal of Object-oriented Programming 1. 4 (1988).

/SCB 86/ C. Schaffert/To Cooper/B. BuIlis/M. Kilian/C. Wilpolt: An Introduction to Trellis/Owl. in /OPPSLA '86/. 9-16.

/Se 87/ E. Seidewitz: Object-oriented Programming in Smalltalk and Ada. in lOOPS LA '87/. 202-213.

/Sha 84/ M. Shaw: Abstraction Techniques in Modern Programming Languages. IEEE Soft­ware 1. 4. (1984).

ISha 86/ M. Shaw: Beyond Programming in the Large: The Next Challenges for Software Engi­neering. in 16.CDW 86/. 519-535 (1986).

/St 86/ B. Stroustroup: The C++ Programming Language. Reading: Addison-Wesley (1986).

/St 881 B. Stroustrup: What is Object-oriented Programming. IEEE Software. May 88. 10-20.

ISto 88/ H. Stoyan: Programmiermethoden der Kunstlichen InteIligenz. Bd. 1. Berlin: Sprin­ger-Verlag (1988).

IStr 86/ R. Strom: A Comparison of the Object-oriented and Process Paradigms. OOPS LA '86. 429-433 (1986).

ISu 811 N. Suzuki: Interferring Types in Smalltalk. 8th Annual ACM Symposium on Principles of Programming Lanuages (POPL). 187-199 (1981).

ISUR 89/ ACM Computing Surveys (Guest Editor P. Wegner): Special Issue on Programming Language Paradigms. Vol. 21.3. 252-510 (1989).

ISUW 88/ G. Schlageter/R. Unland/W. Wilkes/R. Zieschang/G. MaullM. NagllR. Meyer: OOPS An object-oriented Programming System with Integrated Data Management Facility. in J.V. Carlis (Ed.): Proc. 4th Intern. Conf. on Data Engineering. 118-125. IEEE Compo Soc. Press (1988).

/To 871 H. Touati: Is Ada an Object-oriented Programming Language. SIGPLAN Notices 22. 5. 23-26 (1987).

lTu 85/ A. Tucker: Programming Languages. New York: McGraw-Hill (1985).

tWa 86/ D. Waterman: A Guide to Expert Systems. Reading: Addison Wesley (1986).

/We 871 P. Wegner: The object-oriented Classification Paradigm. in /WS 87/. 479-550.

IWH 841 P. Winston/B. Harm: LISP. 2nd Ed .• Reading: Addison Wesley (1984).

IWi 851 N. Wirth: Programming in Modula-2. Berlin: Springer-Verlag (1985).

378

/Wi 87/

/WS 87/

/WZ 88/

/YT 86/

N. Wirth: From Modula to Oberon and The Programming Language Oberon, Techn. Bericht 82, ETH Zurich.

P. Wegner/B. Shriver: Research Directions in Object-oriented Programming, Cam­bridge: MIT Press (1987).

P. Wegner/So Zdonic: Type, Similarity, Inheritance, and Evolution, Brown University Techn. Report, Jan. 88.

A. Yonezawa/M. Tokoro: Object-oriented Concurrent Programming, Series in Comp­uter Science, Cambridge (USA): MIT Press (1986).

6 Softwareentwicklungsumgebungen: Ubersicht /Ba 85/ W. Balzert (Hrsg.): Moderne Software-Entwicklungssysteme und Werkzeuge, 302

pp., Mannheim: BibI. Inst. (1985).

/BL 85/ Th. Brandes/C. Lewerentz: GRAS: A Non-Standard Data Base System within a Soft­ware Development Environment, in Proc. of the GTE Workshop on Software Engi­neering Environments for Programming in the Large, Harwichport, June 1985, 113-121.

/Br 88/ P. Brereton (Ed.): Software Engineering Environments, Chichester: Ellis Horwood (1988).

/BSS 84/ D.R. Barstow/H.E. Shrobe/E. Sandewall (Eds.): Interactive Programming Environ­ments, New York: McGraw Hill (1984).

/CDW 86/ R. Conradi/T.M. Didriksen/D.H. Wanvik (Eds.): Advanced Programming Environ­ments, Proc. Intern. Workshop, Trondheim, LNCS 244, Berlin: Springer-Verlag (1986) .

/De 85/ L.P. Deutsch (Ed.): Proc. ACM SIGPLAN '85 Symp. on Language Issues in Program­ming Environments, ACM SIGPLAN Notices 20, 7 (1985).

/ENS 86/ G. Engels/M. NagI/W. Schafer: On the Structure of Structure-Oriented Editors for Different Applications, in /He 87/, 190-198.

/ES 89/ G. Engels/W. Schafer: Programmentwicklungsumgebungen, Konzepte und Realisierung, Stuttgart: Teubner-Verlag (1989).

/Ha 86/ B. Hailpern (Ed.): Special Issue on Multiparadigm Languages and Environments, IEEE Software 3, 1 (1986).

/He 84/ P. Henderson (Ed.): Proc. 1st ACM SIGSOFT/SIGPLAN Software Engineering Sym­posium on Practical Software Development Environment, ACM SIGPLAN Notices 19, 5 (1984).

/He 87/ P. Henderson (Ed.): Proc. 2nd Symp., ACM SIGPLAN Notices, 23, 1 (1987).

/He 88/ P. Henderson (Ed.): Proc. 3rd Symp., ACM Software Engineering Notes 13, 5 (1988).

/HMS 85/ H.C. Hansen/M. Mullerberg/H.M. Sneed: Softwareproduktions-Umgebungen, 244 pp., Koln: Verlag R. Muller (1985).

/HN 87/ P. Henderson/D. Notkin (Eds.): Special Issue on Software Development Environ­ment, IEEE Computer 20, 11 (1987).

/Hu 81/ H. Hunke (Ed.): Software Engineering Environments, Amsterdam: North Holland (1981) .

/Le 88/ C. Lewerentz: Extended Programming in the Large in a Software Development Envi­ronment, in !He 87/, 173-182.

ILS 881

INa 871

INa 891

IPR 881

IRF 801

lRi 861

ISc 891

ISo 881

ITOP 861

ITOS 861

IWa 811

379

C. Lewerentz/A. Schurr: GRAS, a Managment System for Graph-like Documents, in Proc. 3rd ConI. on Data and Knowledge Bases, Jerusalem, 1988, 19-31, Morgan Kaufmann Publishers Inc. (1988).

M. Nagl: A Software Development Environment Based on Graph Technology, Lect. Notes in Computer Science 291, 458-478, Berlin: Springer-Verlag (1987).

M. Nagl: Characterization ofthe IPSEN-Project, Proc. Int. Conf. on Syst. Dev. Envi­ronments and Factories, Berlin, 9.-11. Mai (1989).

M.H. Penedo/W.E. Riddle (Eds.): Special Issue on Software Engineering Environ­ment Architectures, IEEE Trans. Software Engineering 14, 6 (1988).

W.E. Riddle/R.E. Fairley (Eds.): Software Development Tools, New York: Springer­Verlag (1980).

W.E. Riddle (Ed.): Proc. Software Environments Workshop, ACM Software Engi­neering Notes 11, 1 (1986).

H.-J. Scheibl: Software Entwicklungssysteme und Werkzeuge, 3. Kolloq., Techn. Akademie Esslingen (1989).

I. Somerville: Interacting with an Active, Integrated Environment, in IHe 88/, 76-84.

Special Issue on Programming Environments, Transaction on Programming Lang. and Systems, 8, 4 (1986).

Special Issue on Programming Environments, IEEE Transact. on Software Eng., SE-12, 12 (1986).

A.E. Wasserman: Software Development Environments, Los Alamitos (Cal.): IEEE Computer Science Society Press (1981).

7 Werkzeuge fUr das Programmieren im Gro6en

ICa 851

ICT 861

IECK 841

IFe 791

IGC 841

IKH 821

IKK 881

ILe 88al

ILe 88bl

M. Caplinger: Structured Editor Support for Madularity and Data Abstraction, ACM SIGPLAN Notices 20, 7, 140-147 (1985).

R.H. Campbell/R.B. Terwilliger: The SAGA Approach to Automated Project Manag­ment, in 16. CDW 86/, 142-155.

J. EstublierlS. ChouJ/S. Krakowiak: Preliminary Experience with a Configuration Con­trol System for Modular Programs, in 16. He 84/, 149-156.

S.I.Feldman: Make - A Program for Maintaining Computer Programs, Software Prac­tice & Experience 9, 3, 255-265 (1979).

N. Giddings/T. Colburn: An Automated Design Evaluator, Proc. ACM '84 Ann. ConI., 109-115 (1984).

G.E. Kaiser/A.N. Habermann: An Environment for System Version Control, in Dig. Papers Spring Compcon '83, IEEE Compo Society Press, Nov. '82.

J. Karimi/B.R. Konsynski: An Automated Software Design Assistant, IEEE Trans. on Softw. Eng. 14, 2, 194-210 (1988).

C. Lewerentz: Interaktives Entwerfen groBer Programmsysteme - Konzepte und Werkzeuge, Diss. RWTH Aachen, Informatik-Fachberichte 194, Berlin:Springer­Verlag (1988).

C. Lewerentz: Extended Programming in the Large within a Software Development Environment, in 16. He 88/, 173-182 (1988).

380

/LGH 85/ J. LudewiglM. Glinz/H. Huser/G. Matheis/H. Matheis/M.F. Schmidt: SPADES - A Specification and Design System and its Graphical Interface, Proc. 8th IEEE Conf. on Software Engineering, 83-91 (1985).

/LM 85/ D. LeblanglG. McLean: Configuration Management for Large-Scale Software Devel­opment Efforts, Proc. on Software Engineering Environments for Programming in the Large, 122-127 (1985).

/MH 86/ M. MoriconilD.F. Hare: The PegaSys System: Pictures as Formal Documentation of Large Programs, Trans. on Progr. Lang. and Systems 8, 4, 524-546 (1986).

/MW 86/ K. Marzullo/D. Wiebe: Jasmine - A Software System Modelling Facility in /He 86/, 121-130.

/NS 85/ K.H. NarfeltlD. Schefstrom: Extending the Scope of the Program Library, in J.B.P. Barnes/G.A. Fisher (Eds.): Proc. Ada Int. Conf., Spec. Issue Ada Letters 5,2,25-40 (1985) .

/Ro 75/ M. Rochkind: The Source Code Control System, IEEE Trans. on Software Eng. SE-1, 364-370 (1975).

/Ro 85/ R.E. Robbins: BUILD - A Tool for Maintaining Consistency in Modular Systems, MIT Techn. Rep. A.1. TR 874, (1985).

/Ti 82/ W. Tichy: Design, Implementation, and Evolution of a Revision Control System, Proc. 6th Int. Conf. on Software Eng., 58-67 (1982).

/Ti 86/ W. Tichy: Smart Recompilation, ACM TOPLAS 8, 3, 273-291 (1986).

/VB 87/ V. Varadhrajan/K.D. Baker: Directed Graph Based Representation of Software Systems, Software Engineering Journal 1/87, 21-28.

/WCW 85/ A.L. Wolf/L.A. Clarke/J.G. Wileden: Interface Control and Incremental Develop­ment in the PIC Environment, Proc. 8th Int. Conf. Softw. Eng., 75-82, Washington: IEEE Compo Soc. Press (1985).

/We 89/ B. Westfechtel: Revision Control in an Integrated Software Development Environ­ment, in /3. WT 89/, 96-105.

/We 90/ B. Westfechtel: Revisionskontrolle in einer integrierten Softwareenwicklungs-Um­gebung, Dissertationsvorhaben, RWTH Aachen (1990).

/YI 86/ S. Yamamoto/So Isoda: SOFTDA - A Reuse-Oriented Software Design System, Proc. 10th COMPSAC '86, 284-290 (1986).

/Zd 86/ S.B. Zdonic: Version Mangement in an Object-oriented Database, in /6. CDW 86/, 405-422.

Stichwortverzeichnis

A Abfrageoperation 91

abstrakte Maschine 78 abstrakte Oberklasse 216 abstrakter Datenobjektmodul 89, 245 abstrakter Datentypmodul 90, 105, 111 abstrakter Datentyp 90, 105, 113, 319 abstraktes Datenobjekt 90, 105, 200 Abstraktion 28, 82, 153, 211, 232, 300 Ada 77, 142, 196, 241, 243, 258 Adaptabilitat 24, 93, 276, 293, 312, 327 Ahnlichkeiten herausfinden 344 Anderungen eines Software systems 54, 277,

312, 327 bei erweiterter Funktionalitat 278, 293 bei gleicher Funktionalitat 278 in Datenteilen 282, 292 in funktionalen Teilen 291

Anderungsoperation 91 Anderungsunfreundlichkeit bei MiBachtung

der Datenabstraktion 283 Aktionsorientiertheit funktionaler Module 85,

117 aktive Module 85, 117, 159, 165 Aktivitaten bei der Softwareerstellung 6 algebraische Gleichungen/Spezifikation 85,

113 Algol 60, Algol 68 243, 254 allgemeine Benutzbarkeit 127, 132, 199, 222 allgemeine Benutzbarkeit, Ubertragung 250,

257, 261 allgemeine Hilfsmittel 129, 331 allgemeine Methode 215 alternatives Softwareerstellungsparadigma 12 Analysewerkzeuge 32 Anforderungen an Software 5 Anforderungsdefinition, -spezifikation 6 Anforderungstechnik 17 Angemessenheit von Bedienerfunktionen 24 AnpaBbarkeit 24, 195 Anwendungsklassen fUr Modularten 117 Anwendungssystem 5 Arbeitsbereiche der Softwareentwicklung 17,

22 Architektur, mechanisch abgeleitete 303 Architektur, Verstandnis von einer 136 Architekturbaustein 8

Architekturbeschreibungssprache, Syntax der 44, 140, 143

Architekturdiagramm 135, 139, 143, 284, 328 Architekturmodellierung 79, 116, 134, 143,

227, 231, 275 Architekturmodellierungs-Umgebung 239 Architekturnotation 45, 135 Architekturparadigma 47, 83 Architekturtransformatiqn 313, 357 Arten von Modulbeziehungen 120, 127 Arten von Modulen 84, 117, 154 Arten von Teilsystemen 173 Assembler 243, 250 Aufeinander-Abstutzen von

Datenabstraktionsmodulen 177 Aufwand fUr Phasen I Arbeitsbereiche 50 Ausfallsicherheit 24 AusfUhrung, direkte einer Spezifikation 341 ausfUhrbare Anforderungsdefinition 13 AusfUhrungswerkzeuge 32 Ausgabeaufbereitung 161 Ausnahmen 95, 247 Austausch von E/A-Geraten 280 Austauschbarkeit von Modulen 83

B Basic 243, 250

Basisbausteine herausziehen 331, 346 Batch-System 302 Baumstruktur 121, 129 Bausteinkasten 333 Bauplan eines Softwaresystems 5, 43 Bedienerfreundlichkeit 24 Bedieneroberflache, Anderungen 279, 290 Benutzbarkeit

allgemeine 127, 132 lokale 120, 124 potentielle lokale 122

Benutzbarkeit, lokale, Ubertragung 248 Benutzbarkeit, allgemeine, Ubertragung 250 Benutzbarkeits-Beziehung 118, 141, 242 Benutzt-Beziehung, statische, dynamische 118 Beziehung, hierarchische 121, 129 Beziehungen zwischen Modulen 118, 138, 242 Bibliothekseinheit 261 Bibliothek vordefinierter Module 169 BLOCKDATA-Unterprogramm 247

382

Blockschachtelung 122 Bootstrapping 337 Botschaft 204 Botschaftsaustausch 207, 212 Botschaftsmuster 212 Bottom-up-Entwicklung, -Entwurf 50, 134,

219 Brainstorming iiber Systemerweiterungen 7, 16,

276, 282

c C 243, 250

Compiler 87, 302, 334, 337 Cobol 243, 250 Codieren im GroBen 240 COMMON 245 Compiler-Compiler-Ansatz 341

D Daten und Programme 156

Datenabstraktion 84, 89, 102, 154, 223 und Adaptabilitat 93, 277, 293, 297 Aufeinander-Abstiitzen 177 Klassen von Anwendungen 99, 117, 158,

162, 177 Konsistenz von Operationen 100 und lose Kopplung 93 eine aUg. Lese- oder Schreiboperation 101,

296 zur Lokalisierung von Gefahren 93 mehrstufige 174 und Objektbasiertheit 204 und Objektorientierung 223 Realisierungsmoglichkeiten 94, 103, 162 und Vermeidung der Unterscheidung zwi­schen Programme~ und Daten 95, 157 und die Wartungsproblematik 94, 296

Datenabstraktion, Begriff 89 Datenabstraktionsprinzip 85, 89, 90 Datenabstraktionsschichten 175 Datenobjekt

abstraktes 90, 105 transparentes 116

Datenobjektmodul (abstrakter) 90, 108, 154 158, 164, 177

Datenobjektmodul, Ubertragung 245, 255 Datenstrom 157 Datenstruktur als Modul 157 Datentyp,

abstrakter 90, 105

offener, transparenter, konkreter 105 Datentypkollektionsmodul 116, 141, 144 Datentypmodul (abstrakter) 90, lOS, 111, 154,

158, 164, 177, 204 Datentypmodul, Obertragung 247, 255, 259 Definieren der Anforderungen 17 Deklaration eines abstrakten Datentyps 108 Deklaration eines abstrakten Datenobjekts 107 Design-Rationale 54 Diagramm fiir Architekturen 136 Diagramme 27 direkte Manipulation einer Kollektion 187 diskretes Lebenszyklusmodell 12, 47, 59 DIVISION 252 Dokumentation 20, 52 Dokumente 5, IS, 23, 28

fiir das Programmieren im GroBen 54 Durchfiihrbarkeitsstudie 6 dynamische Benutzt-Beziehung 118

E Ebenen von Softwarearchitekturen 125, 129,

131, 134 EBNF 304 Editorwerkzeuge 32 Effizienz einer Programmiersprache 217 Effizienz eines Softwaresystems 25 Eigenschaften von Softwaresystemen 23 Ein-/ Ausgabe eines Softwaresystems 158 Einfachheit eines Softwaresystems 24 Einfachvererbung 210 eingebettete Systeme 11 Einphasencompiler 303 Eintrag 98 Eintrags-Kollektions-Situation 181, 201, 228 Eintragsmodul 182 Einzelkomponente eines Softwaresystems 5 Enthaltenseinsbaum als Teilsystem 169 Enthaltenseins-Beziehung 121, 220 Entry von Ada 165 ENTRY von FORTRAN 247 EntwicklungsprozeB 12 Entwurf 7, 17,47, 51 Entwurfsbegriindungspapier 54 Entwurfsentscheidung eines Moduls 78, 116,

125 Entwurfsphase, Feinstruktur 18 EntwurfsprozeB 355 Entwurfsspezifikation 8, 43 Entwurfsstrategien 134, 355 Entwurfstechnik 17 Entwurfs-Umgebung 239

Ersetzbarkeit eines Moduls 78 Erweiterungen von Phasenmodellen 11 Erweiterungen eines Software systems 7. 293 Erzeugen von Programmteilen 303. 340 Erzeugungsoperation 109 Exemplar einer Klasse 212 Exporte 43 Exportschnittstelle eines Moduls 78

F Faktorisierung 218

Fehler bei der Softwareentwicklung 51 Fehlerhandhabung 311 Fehlerverhalten eines Softwaresystems 24. 42 Fenstersystem 299 Flexibilitat einer Programmiersprache 217. 224 Flexibilitat eines Softwaresystems 24. 276. 330 Folgewirkungen von Anderungen 54 formale Sprache 28 formale Typ- und Prozedurparameter 199 FORTRAN 241. 243. 244 funktionale Abstraktion 84. 88. 117. 153. 158 funktionale Modulel Funktionsmodule 84. 86.

154. 158. 164 funktionaler Modul. Obertragung 244 funktionale Hilfsdienstel Zwischenschicht 163 funktionale Module. Hauptanwendungen 88 Funktions-I Leistungsiiberpriifung 8

G Gedachtnis eines Datenobjektmoduls 176

Gedachtnis eines Datentypmoduls 179 Gedachtnis eines Moduls 84. 176 Generalisierung 218. 222. 268 Generierbarkeit 25 generische Exemplarerzeugung 196 generische Klausel 196 generische Parameter 197 generisches Teilsystem 201 Generizitat 196. 229. 231 Generizitat. Abbildung von 267 Grammatik-Abhlingigkeitsgraph 307 Graph-Grammatik -Spezifikation 318 Graphen 27. 136. 191.317 graphische Notation

fUr Module. Modulbeziehungen 140. 284 fUr Teilsysteme 170

Grobentwurf 168 Giiltigkeitsbereich 122

H Haldenverwaltung 179. 194. 203

Hierarchiebildung 28. 232

383

hierarchische Beziehung zwischen Modulen 121. 129

I imperative Programmiersprachen 60

Implementierung. Implementation 8. 23 Importe 43. 118 Importklausel 127. 242 Import(Schnittstelle) eines Moduls 78. 130 Ineinanderschachtelung in Programmier-

sprachen 121. 127 Ineinanderschachtelung von Modulen 260 ingenieurmaBige Softwareerstellung 3. 5. 12 inkrementell 316 inkrementelle oder integrierte Werkzeuge 31 integrierte und inkrementelle Werkzeuge

fUr das Programmieren im GroBen 240 Information Hiding

auf Architekturebene 103. 113. 126. 130. 133. 232

durch die lokale Benutzbarkeit 121. 126 durch die allg. Benutzbarkeit 130 bei Anwendung der Datenabstraktion 89.

102 bei Anwendung funktionaler Abstraktion 88 zum Verbergen des Layouts der

Bedieneroberflache 288. 293. 299 zum Verbergen der Intema eines Moduls 82 zum Verbergen des Rumpfs eines gene­

rischen Moduls oder Teilsystems 196 zum Verbergen des Rumpfs eines Teil-

sytems 167 Installation 9 Integration 8 Iterator 160

J jo-jo-Entwicklung. -Entwurf 50

JSP/JSD 304

K Kanten 191

Karteikasten-. Karten-Kasten-System 63. 185 Klasse 204 Knoten 191 Kohasion 137

384

Kollektion 98. 181 Kombinierbarkeit 25 Komplexitat von Architekturdiagrammen 139 Konfigurationen 21. 22 Konsistenz zwischen Softwaredokumenten 15 Konsistenzbedingungen fUr Architekturen 142.

242 Konsistenzbedingungen. Ubertragung 249.

252. 263 Konsistenzunterstiitzung durch Werkzeuge 33 Konstantenansammlungen 116 Konstruktionsschritt bei der Softwareerstellung

18 kontextfreie. kontextsensitive Syntax 28. 304 kontextfreie. kontextsensitive Syntax der Ar

chitekturbeschreibungssprache 44. 140. 147

kontextsensitive Syntax 28 kontinuierliches Lebenszyklusmodell 12. 48.

59 Kontrolle von Teilaufgaben 21 Kopieansatz fUr Kollektionsveranderung 187 Korrektheit 24. 41. 79 Kreierungsoperation 109

L Layoutaufbereitung 161. 288. 299

Lebenszyklus 4 Lebenszyklusmodelle 4 lexikalische Analyse 310 Leistungsmessung 9 Leistungsparameter 9 lokale Benutzbarkeit 120. 124 lokale Benutzbarkeit. Ubertragung 248. 255.

260 Lokalitat auf Architekturebene 121. 132 Lokalitat als Strukturierungsprinzip 28. 232 Lokalitatsprinzip blockstrukturierter

Programmiersprachen 121, 127

M Makromechanismus 199

Management of Tasks. Processes. Products 21 Mehrfachvererbung 210 Mehrfachverwendung als Modellierungsprinzip

28. 232 Mehrphasencompiler 303. 334 Methode 29. 204 Methodensuche 212 Methodenunterstiitzung dUTCh Werkzeuge 33

Methodikregeln fUr Architekturmodellierung 139

Metriken fUr Softwaresysteme 353 Modellierungsprinzipien 28. 232 Modellierungsproblematik 26 Modula-2 243. 258 Modul 43. 77. 137. 154. 196 Modul. generischer 196 Modulkonstrukt von Programmiersprachen

241 Modularisierungsprinzip 28. 232 Modularten. Klassifizierung 84. 115. 134. 154.

159. 164 Modulbeziehungen 118. 134. 138. 225. 232 Modulbeziehungen. Ubertragung 248. 253 Modulbeziehungen innerhalb eines Teilsystems

170 Modulgeflecht 43 Modulimplementierung 8 Modulintema 82 Modulkonzept 45. 148. 218. 231. 243 modulprivat 106 Modultest 8

N nebenlaufiges Programmsystem 164. 351

Notation 28. 29 Notationen fUr das Programmieren im GroBen

45

o Oberklasse 209

Objekt 204 Objektbasiertheit 204 Objektorientiertheit. Ubertragung von 268 objektorientierte Ansatze 217 objektorientierte Architekturmodellierung 217.

231 objektorientierte Programmierung. objekt­

orientiertes Paradigma 203 Objektorientiertheit 204

p partizipative Softwaregestaltung 12

Pascal 243. 254 Pascal-Erweiterungen 258 passive Module 117. 159. 165 Personendatenbeispiel 179. 186 Pflege eines Softwaresystems 9 Pflichtenheft 6

Phasenemodelle fur Lebenszyklus 4, 10 PLII 243, 254 Portabilitat 24, 330 potentielle 10k ale Benutzbarkeit 122 praventive Wartung 15 Pragmatik 29 Pragmatik der Architekturbeschreibungs­

sprache 45 Prinzip der geringsten Verwunderung 24, 28,

232 Prinzipien der Softwaretechnik 29 private 106, 196 Problemanalyse 6 Problembereiche der Softwareentwicklung 15 Produktivitatssteigerung durch Werkzeuge 31 Prognoseschritte bei der Softwareerstellung 18 Programme und Daten 156 Programmieren im GroBen 17, 20, 49, 52 Programmieren im GroBten 49, 168, 275, 313 Programmieren im Kleinen 17, 20,49,52, 119,

207,362 Programmiersprachen

blockstrukturierte 243, 254 aus lose gekoppelten Einheiten 243 funktionale 60 imperative, klassische 60 interpreterorientierte 60 Klassen von 243 logische 60 mit Modulkonzept 243 objektorientierte 60 Ubertragung des Modulkonzepts in 239

Programmiersystem 30 Programmiertechnik 17 Programmierumgebung 31 Programming by Doing 342 Programming-in-the-Large 17, 20, 49, 52,

119 Programming-in-the-Many 21, 52 project management 21 ProjektfUhrung / -management 21, 55 Projektorganisation 21, 52, 55, 168, 362 Projektplanung 21 Projektiiberwachung, Projektkontrolle 21, 55 Prototyp, Prototyping 11, 13, 34 ProzeB 164

Q Qualitatseigenschaften 23, 27, 54

Qualitatssicherung 21, 30, 52, 362 Qualitatsiiberlegungen bei Softwaresystemen

328

385

R rapid prototyping 11, 34

Realisierung eines Datenabstraktionsmoduls 174, 319 Datenobjektmoduls 91 Datentypmoduls 108 funktionalen Moduls 88

Realisierung eines Moduls 83, 88, 129 Redundanz als Modellierungsprinzip 28, 232 Rekursion und lokale Benutzbarkeit 124 rekursiver Abstiegscompiler 305 Relationen zwischen Modulen 118 Return-Parameter bzw. Code 96 requirements definition / specification 6 Requirements Engineering 17, 19, 52, 360 Revisionen 21 Robustheit 24 Rollen 22 Riickgriffe bei der Softwareentwicklung 10 Rumpf eines Moduls 78, 80, 155, 247 Rumpf eines Teilsystems 169

s Schablonenbaustein 197

Schachtelungsprinzip blockstrukturierter Programmiersprachen 121, 127

Schichten einer Softwarearchitektur 125, 129, 131, 134, 202

Schnittstelle eines Moduls, 78, 80, 83, 90, 98,155 verschiedene Begriffsbildung 83 Gestaltung 98

Schnittstelle eines Datenobjektmoduls 90 Datentypmoduls 106, 109 funktionalen Moduls 86 Teilsystems 169

self 208, 212 Semantik 29 Semantik der Architekturbeschreibung 44,

113, 353 Semantikspezifikation 85, 113, 115 Semantik von Modulen 44, 113, 353 Sicherheit in einer Programmiersprache 217 Sicherheit und Vererbung 226 Sicherheitsabfragen 95, 101 Sicherheitsaspekte und lokale Benutzbarkeit

125 Sichtbarkeit der Schnittstelle eines Moduls 82 Signatur eines abstrakten Datentyps 113

386

Smalltalk-80 204 Softwarearchitektur 7. 43. 44 Softwarearchitekturen. Verstandnis von 136 Softwaredokumente 5. 15. 23. 28 Software Engineering 3 Softwareentwicklungs-Umgebung 31. 313 Software-Entwicklungszyklus 10 Software-Fabrik 34 Softwarekosten 2 Softwarekrise 1 Software-Lebenszyklus 4. 10 Softwareproduktions-Umgebung 31 Softwaretechnik 3 Softwaretechnik-Begriffe 29 Softwaretechnik. Stand 34 Softwaretechnik-Umgebung 34 Spezialisierung 209. 218 spezielle Methode 215 Spezifikation 8. 23. 45 Spezifikationssprache 45 Spezifizieren der Anforderungen 17 Sprache fUr Entwurfsspezifikationen 43 Sprachimplementation 30 Standardarchitekturen 350 Standard einer Programmiersprache 219 Standardisierung von Werkzeugen 34 statische Benutzt-Beziehung 118 Steuerungsmodul 160 strukturbezogen 31 Struktur eines Softwaresystems 54. 328 Strukturierung als Modellierungsprinzip 28.

232 Stummel eines Rumpfs 260 SUBROUTINE 244 Summationsbeziehung fUr Module 174 super 212 Symboltabelle 310 Synchronisation 165 Syntax 28 Syntaxanalysator 312 Syntax der Architekturbeschreibung 44 syntaxorientiert 31 Systemarchitektur 7

T tabellengesteuerter Programmbaustein 312.

335 T-Diagramm 337 Technik 29 technische Dokumentation zu einem Moduli

System 84. 362 Teilarchitektur 49. 138

Teilprojekte und Teilsysteme 172 Teilsystem 126. 136. 138. 167. 227. 231. 285.

290 Teilsystem fUr Eintrage und Kollektionen 183 Teilsysteme. Abbildung 264 Teilsysteme eines Abstiegscompilers 309 textuelle Architektumotation

fUr Module 80. 141 fUr Teilsysteme 172. 185

Top-down-Entwicklung. -Entwurf 50. 134 Transformationsansatz fUr Softwareentwick-

lung 13 Transformationsproblem. -system 302 transformationsorientierter Modul 159 Transformationsverhalten funktionaler Module

86 Transformationswerkzeuge 32 Turbo-Pascal 243 Typdeklaration 105. 109 Typkollektionsmodul 116. 141. 144

u Ubereinstimmung zwischen Schnittstelle und

Rumpf eines Moduls 82 Uberpriifungsschritte bei der Softwareerstel­

lung 18 Ubertragbarkeit 24. 330 Ubertragung des Modulkonzepts in Program­

miersprachen 239 Uniformitat der BedieneroberfHichengestaltung

24 Unparser 239 Unterklasse 209

v Variablensemantik 111. 187

Variante 21 Varianten eines Softwaresystems 333 Veranderung eines Softwaresystems 9. 14. 16 Verbergen des Rumpfs eines Moduls 82 Vererbung 209. 218 Vererbungsbaum. -Teilhierarchie 219. 226 Vererbungs-Benutzbarkeit 225 Vererbungspfad 212 Verfahren 29 Versionen 21 Versions-/Konfigurationskontrolle 363 Verstandlichkeit eines Softwaresystems 24 Verstandlichkeit von Bedienerfunktionen 24 verteiltes System 352 Vertrag fiber ein Softwaresystem 7

Verzahnung der Arbeitsbereiche der Softwaretechnik 52

Verzahnung Programmieren im GroBen und Programmieren im Kleinen 47

virtueller Drucker, virtuelles Terminal 158, 288 vordefinierte Klassen 219 Vor- und Nachbedingungen 85, 114 Vorgehensprinzipien 28

w Wartung 9, 13, 232, 327

Wartung, Problemklassen 14 - spezifische Probleme 14 - praventive 15

Wartungskosten 2, 327 Wartungsprobleme 2 Wasserfallmodell 4 Werkzeug 29 Werkzeuge der Softwaretechnik 30, 240, 314

387

Werkzeuge fUr das Programmieren im GroBen 31, 240, 314, 354

Wiederverwendbarkeit 25, 33, 83, 168, 195, 232, 327, 356

Wiederverwendbarkeit von Modulen 83, 356

z Zeigersemantik 111, 187, 194

Zeiger und Verkapselung 93 Zugriffsoperation eines Datenabstraktions-

moduls 91 Zusammenfassung von Kollektionen 179 Zusammenspiel von funktionalen und Daten-

abstraktionsmodulen 158, 164 Zustand einer Steuerung 160 zustandsbewahrender Modul 159 Zuverlassigkeit 24 Zwiebelmodell fur Softwarearchitekturen 135 Zwischenformen von Modulen 116 Zwischenschicht, funktionale 163

Springer Compass Herausgegeben von M. Nagl, P. Schnupp und H. Strunz

N. Wirth: Programmieren in Modula-2. Ubersetzt aus dem Englischen von G. Pfeiffer. Zweite Auflage. XIV, 229 S., 2 Abb. 1990

W. Reisig: Systementwurf mit Netzen. XII, 125 S., 139 Abb. 1985

K. Kurbel: Programmierstil in Pascal, Cobol, Fortran, Basic, PLl1. XII, 328 S., 52 Abb.1985

J. Nehmer: Softwaretechnik fur verteilte Systeme. XIII, 185 S., 66 Abb. 1985

T. Baggenstos, R. Marty, B. Mergler, P. Schnorf: UNIX als Basis fUr Softwareent­wicklung. X. 199 S., 124 Abb. 1985

P. Schnupp, U. Leibrandt: Expertensysteme - Nicht nur fur Informatiker. VIII, 140 S., 31 Abb. 1986

J. Bechlars, R. Buhtz: GKS in der Praxis. XIV, 379 S., 50 Abb. 1986

R. Franck: Rechnernetze und Datenkommunikation. XII, 254 S., 75 Abb. 1986

R. L. Baber: Softwarereflexionen. Ideen und Konzepte fUr die Praxis. XII, 158 S., 10 Abb. 1986

J. Hansel, G. Lomnitz: Projektleiter-Praxis. Erfolgreiche Projektabwicklung durch verbesserte Kommunikation und Kooperation. Ein Arbeitsbuch. XII, 224 S., 23 Abb.1987

G. Goos, G. Persch, J. Uhl: Programmiermethodik mit Ada. VIII, 160 S., 1987

P. Schnupp. C. T. Nguyen Huu: Expertensystem-Praktikum. X, 360 S., 102 Abb. 1987

Y. Shirata, T. L. Kunii: UNIX fUr Fuhrungskrafte. Ein umfassender Uberblick. XIII, 157 S., 147 uberwiegend zweifarbige Abb. 1987

J. Shore: Der Sachertorte-Algorithmus - und andere Mittel gegen die Computer­angst. XVIII, 252 S., 7 Abb. 1987

J. Gulbins: UNIX. Eine Einfuhrung in Begriffe und Kommandos von UNIX -Version 7, bis System V. 3. Dritte, uberarbeitete und erweiterte Auflage. XI, 773 S. 1988

T. Spitta: Software Engineering und Prototyping. Eine Konstruktionslehre fUr ad­ministrative Softwaresysteme. XIII, 229 S., 68 Abb. 1989

D. Hogrefe: Estelle, LOTOS und SDL. Standard-Spezifikationssprachen fUr ver­teilte Systeme. XV, 188 S., 71 Abb. 1989

T. Grams: Denkfallen und Programmierfehler. X, 159 S., 17 Abb. 1990

M. Nagl: Softwaretechnik: Methodisches Programmieren im GraBen. XI, 387 S., 136 Abb. 1990