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

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

ISBN-10: 3322867676

ISBN-13: 9783322867674

ISBN-10: 3519003120

ISBN-13: 9783519003120

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 genuine 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 machine: 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 Online or Download Angewandte Informatik und Formale Beschreibungsverfahren: Festschrift zum 60. Geburtstag von Wolffried Stucky PDF

Best german_4 books

Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen

In dieser Monographie werden Verfahren zur modularen Testerzeugung für Schaltnetze entwickelt. Ausgehend von einer Beschreibung der modularen Schaltung und den checks für die einzelnen Module bestimmen diese Verfahren den attempt für die modulare Schaltung. Die Arbeit geht in diesem Zusammenhang auch auf den prüfgerechten Entwurf modularer Schaltungen ein.

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

Example text

In der Literatur finden sich unterschiedliche Definitionen von Morphismen fUr Petrinetze. Die vorliegende Arheit hezieht sich auf das ursprunglich von C. A. Petri vorgeschlagene Konzept [Pet73]. Spiitere Puhlikationen hezeichnen mit Petrinetz-Morphismen Ahhildungen zwischen markierten Petrinetzen, die statt struktureller Eigenschaften dynamische Eigenschaften wie die Menge der Schaltfolgen erhalten hzw. respektieren [WinS7, MeM90]. Diese Morphismen sind hier nicht einsetzhar, weil auf konzeptueller Ehene das operationale Verhalten nicht formal definiert ist.

Spezielle PetrinetzMorphismen erlauben die Ubertragung von Aussagen uber ein Petrinetz-Modell auf ein anderes Modell. In dieser Arbeit wird ein abgeleitetes Konzept zur formalen Beschreibung von Transformationen beschrieben, die jeweils wesentliche Formaler Umgang mit semi-formalen Ablaufbeschreibungen 47 formale Strukturen und Eigenschaften erhalten hzw. respektieren. In der Literatur finden sich unterschiedliche Definitionen von Morphismen fUr Petrinetze. Die vorliegende Arheit hezieht sich auf das ursprunglich von C.

Zum anderen kann BibConsist beim Benutzer eingesetzt werden, urn die Eingabe fehlerhafter Datensatze von vornherein zu vermeiden. Haufig verwalten die Benutzer neben der Kopie von geombib eine erganzende lokale Bibliographie oft zitierter Arbeiten, die nieht unbedingt aus dem Gebiet der algorithmischen Geometrie stammen und damit nieht fUr geombib selbst relevant sind. Urn diese Bibliographie konsistent mit geombib verwenden zu konnen, entwickeln wir derzeit das Programm BibManage. Bei jeder Aktualisierung von geombib iiberpriift BibManage, ob alle Anderungs- und Erganzungswiinsche des Benutzers in die neue geombib-Version iibernommen wurden und ob Eintriige aus der persohnlichen Bibliographie aufgrund von Vorschlagen anderer Benutzer nun in geombib enthalten sind.

Download PDF sample

Rated 4.59 of 5 – based on 28 votes