AIFB
| | Universität Karlsruhe | English version
Lehrveranstaltungen > Wintersemester 2004 / 2005 > Angewandte Informatik I >

Angewandte Informatik I

Literatur zur Vorlesung

Einführende Literatur

  • Guus Schreiber, Robert de Hoog, Hans Akkermans, Anjo Anjewierden, Nigel Shadbolt, Walter Van de Velde: Knowledge Engineering and Management, The MIT Press, 2000.
  • Helmut Balzert: Lehrbuch Grundlagen der Informatik, Spektrum Akademischer Verlag, 1999

UML

  • Rainer Burkhardt. UML. Unified Modeling Language. Objektorientierte Modellierung für die Praxis. Gebundene Ausgabe (1999) Addison-Wesley, München; ISBN: 3827314070
  • Martin Fowler, Kendall Scott: UML konzentriert - Eine strukturierte Einführung in die Standard-Objektmodellierungssprache, Addision-Wesley, 2000.
  • Bernd Oestereich: Objektorientierte Softwareentwicklung Analyse und Design mit der UML. Verlag R. Oldenbourg, München 2001
  • Heide Balzert, UML kompakt, Spektrum Akademischer Verlag, 2001
  • Helmut Balzert, Lehrbuch der Software-Technik, Software-Entwickung, Spektrum Akademischer Verlag, 1998
  • I. Sommerville, Software Engineering, 7th Edition, Pearson Addison Wesley, 2004, ISBN 0321210263
  • Wolfgang Zuser, Thomas Grechenig, Monika Köhle, Software Engineering, Pearson Studium, 2004, ISBN 3827370906
  • Leszek Maciaszek, Bruc Lee Liong, Practical Software Engineering , Addison Wesley 2004, ISBN 0321204654

Beschreibungslogik

  • Günther Görz, C.-R. Rollinger and J. Schneeberger (Hrsg): Handbuch der Künstlichen Intelligenz. Oldenbourg, München, 3. Auflage, 2000.
  • U. Schöning, Logik für Informatiker, Reihe Informatik, Band 56, BI Wissenschftsverlag, Mannheim 1989.
  • John Sowa, David Deitz: Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole Pub Co, 1999
  • Staab, Studer: Handbook on Ontologies, Springer, 2003
  • Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider The Description Logic Handbook - Theory, Implementation and Applications, Cambridge 2003
  • Dieter Fensel, Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce, Springer, 2001

ER-Modellierung & DB-Theorie

  • G. Schlageter, W. Stucky: Datenbanksysteme: Konzepte und Modelle. B. G. Teubner, Stuttgart 1983 (2. Auflage)
  • R. Elmasri, S. B. Navathe: Fundamentals of Database Systems. Pearson Education, 4. Aufl., 2004,
    ISBN 0321204484
    ;
    (Deutsche Ausgabe: R. Elmasri, S. B. Navathe: Grundlagen von Datenbanksystemen. Pearson Studium, 3., überarb. Aufl., 2002,
    ISBN 3827370213)


  • Victor Vianu: A Web Odyssey: from Codd to XML, PODS 2001, Santa Barbara, California, USA
    http://www.db.ucsd.edu/CSE291S01/invited.pdf

    (Pflichtlektüre; Für relevante Teile vgl. Folien aus Vorlesung)


  • H. Garcia-Molina, J.D. Ullman, J. Widom, Database Systems. The Complete Book, Prentice Hall, 2002,
    ISBN 0130319953
  • Hector Garcia-Molina, Jeff Ullman and Jennifer Widom: Database System Implementation, Prentice-Hall, 2000
  • Gottfried Vossen. Datenbankmodelle, Datenbanksprachen und Datenbankmanagementsysteme. Oldenbourg, München, 2000, ISBN: 3486253395.
  • Stefan M. Lang ; Peter C. Lockemann: Datenbankeinsatz, Springer Verlag, 1995, ISBN 9783540585589

Petrinetze

  • James L. Peterson: Petri Nets. ACM Computing Surveys (CSUR), Volume 9, Issue 3, September 1977
    Link (nur innerhalb der Uni)
    (Pflichtlektüre - vgl. Folien zur Vorlesung)
    Bei Problemen benutzen Sie die Pool-Räume im AIFB-Gebäude; Das Funktionieren des Links ist von unserem Systemadministrator getestet worden.

  • T. Murata: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, Volume 77, Issue 4, April 1989, pp. 541 - 580
    Link (nur innerhalb der Uni)
  • Wolfgang Reisig: A Primer in Petri Net Design. Springer Verlag, 1992
  • J. Desel, J. Esparza: Free Choice Petri Nets. Cambridge University Press, 1995
  • Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen. Spektrum Akademischer Verlag, 1996
  • W. van der Aalst, J. Desel, A. Oberweis (Eds.): Business Process Management: Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science 1806, Springer Verlag Heidelberg, 2000

Englische Version Druckversion

© AIFB 2001-2004