Angewandte Informatik und Formale Beschreibungsverfahren: by Jürgen Albert (auth.), Prof. Dr. Georg Lausen, Prof. Dr.

By Jürgen Albert (auth.), Prof. Dr. Georg Lausen, Prof. Dr. Andreas Oberweis, Prof. Dr. Gunter Schlageter (eds.)

Aus dem Inhalt J. Albert: Bild- und Videogenerierung mit Varianten endlicher Automaten M. Bartsch: Das Jahr-2000-Problem und die Haftung aus Softwarepflegeverträgen A. Brüggemann-Klein, R. Klein, B. Landgraf: BibRelEx: Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen J. Desel: Formaler Umgang mit semi-formalen Ablaufbeschreibungen B. Feldmann-Pempe, R. Krieger, G. Schlageter: Herausforderung an künftige Bildungssysteme: Lernerzentrierung und Praxisnähe V.H. Haase: "Active Scorecard" (Unternehmen als Regelkreis) P. Haubner: Usuability Engineering - Integration von Software-Ergonomie und Systementwicklung L.J. Heinrich, G. Pomberger: Entwickeln von Informatik-Strategien - Vorgehensmodell und Fallstudien P. Jaeschke, F. Schönthaler: Modellbasiertes enterprise administration im Unternehmen des 21. Jahrhunderts P.-Th. Kandzia, Th. Ottmann: Wie actual ist die Virtuelle Hochschule Oberrhein? H. Maurer: 60 Thesen Th. Mochel: Data-Warehousing: Chancen für die Telekommunikationsbranche R. Richter: administration von Informatikprojekten: Zutaten für ein Laborpraktikum V. Sänger: Aufbau und Einsatz einer software program Architektur F. Schlottmann, D. Seese: Die Skalierung der Preisschwankungen an einem virtuellen Kapitalmarkt mit probabilistischen und trendverfolgenden Agenten H. Schmeck: Elektronische Zahlungssysteme H.-W. Six, M. iciness: Kopplung von Anwendungsfällen und Klassenmodellen in der objektorientierten Anforderungsanalyse H.-G. Stork: Braucht der our on-line world eine Regierung? R. Studer, A. Abecker, St. Decker: Informatik-Methoden für das Wissensmanagement L. Wegner: Datenbankgestützte Kooperation im net P. Widmayer: Die Konkurrenz selbstsüchtiger desktop: Ein ökonimisches challenge? Anhang I: Wolffried Stuckys wissenschaftliche Familie (zusammengestellt von M. Salavati und H.-G. Stork) Anhang II: Adressen der Autoren und Herausgeber

Show description

Read or Download Angewandte Informatik und Formale Beschreibungsverfahren: Festschrift zum 60. Geburtstag von Wolffried Stucky PDF

Best german_4 books

Bodenmechanik der Stützbauwerke, Straßen und Flugpisten: Anwendungsbeispiele und Aufgaben

Wie die Erfahrung immer wieder zeigt, fallt es dem jungen Ingenieur am Anfang seiner beruflimen Laufbahn smwer, das erworbene Smulwissen zur Losung von praktismen, temnismen Aufgaben anzuwenden. Aum der erfahrene Ingenieur steht in der Praxis oft vor dem challenge, Fragen beantwor ten zu mussen, die nimt in den Rahmen seiner taglimen Routinearbeit fallen.

Soziale Kosten des Energieverbrauchs: Externe Effekte des Elektrizitätsverbrauchs in der Bundesrepublik Deutschland

In diesem Buch werden in systematischer Weise verschiedene Arten von externen Kosten und Nutzen konkurrierender Technologien zur Elektrizit? tserzeugung verglichen. Behandelt werden verschiedene Umwelteffekte, Besch? ftigungs- und Produktionseffekte, die Ausbeutung ersch? pfbarer Ressourcen wie auch die unterschiedlichen Arten ?

Extra resources for Angewandte Informatik und Formale Beschreibungsverfahren: Festschrift zum 60. Geburtstag von Wolffried Stucky

Example text

1m Prinzip lassen sich die Ergebnisse von Anfragen zu inhaltsbasierten Beziehungen in Textform als Listen darstellen. Der zusatzliche Welt ciner graphischen G. Lausen et al. G. Teubner Stuttgart · Leipzig 1999 34 A. Brtiggemann-Klein, R. Klein, B. Landgraf Darstellung von Beziehungsgeflechten wird offensichtlich, wenn man Fragen, wie Welche Arbeiten sind von einer gegebenen Vertiffentlichung A beeinfluflt worden? betrachtet. Stellt man - wie in Abbildung 1 gezeigt - die Arbeiten, die direkt oder indirekt A zitieren, als Knoten dar und verbindet sie durch Kanten gemaB der Zitierrelation, so ist mit einem Blick der EinfluBbereich von A ersichtlich.

Abbildung 4, die wir mit LEDA erzeugt haben, zeigt einen Ausschnitt des derzeit in geombib enthaltenen Zitiergefiechts. Dargestellt wurden Arbeiten mit dem Stichwort "Voronoi" im Titel. Dabei wurden nur solche Arbeiten berlicksichtigt, die wieder auf andere Arbeiten verweisen. In der Abbildung Hillt sich leicht "cd-vdbcd-85" als eine zentrale Arbeit erkennen. 9J \. 3 Weitere Vorgehensweise Die Unterstiitzung fUr dreidimensionale Darstellungen ist in LEDA noch nicht sehr weit fortgeschritten. Ein dreidimensionaler Spring Embedder ist zwar vorhanden, ist BibRelEx: ErschlieBung bibliographischer Datenbasen 43 aber sehr langsam.

Meseguer und U. Montanari: Petri nets are monoids. [Pet73] Information and Computation Vol. 88, S. -A. Petri: Concepts of net theory. Proceedings of MFCS, High Tatras, September 1973 [Rei85] W. Reisig: Systementwurf mit Netzen. -W. Scheer: Wirtschaftsinformatik. Referenzmodelle fUr industrielle Geschaftsprozesse. Springer-Verlag, Heidelberg, 4. Auflage, 1994 [WfM98] Workflow Management Coalition: Interface 1. Process definition interchange process model. pdf. 1998 [Win87] G. Winskel: Petri nets, algebras, morphisms and compositionality.

Download PDF sample

Rated 4.87 of 5 – based on 3 votes