Hochschulschrift
Specifying and validating consistent and dynamically evolving concurrent information systems : an object Petri net based approach
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826599712
3826599713
- Maße
-
21 cm
- Umfang
-
234 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Magdeburg, Univ., Diss., 2001
- Schlagwort
-
Informationssystem
Konzeptionelle Modellierung
Petri-Netz
Nebenläufigkeit
Objektorientierung
Termersetzungssystem
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Aoumeur, Nasreddine
- Shaker
Entstanden
- 2002
Ähnliche Objekte (12)
The dynamically evolving Terrorism Finance System
Queues on a Dynamically Evolving Graph
Analysis and verification of systems with dynamically evolving structure
Physics-based Residual Kriging for dynamically evolving functional random fields
Methods for managing, validating and retrieving event-related information in evolving contexts
Specifying Speed Spacing
Specifying component invariants with OCL
Specifying nodes as sets of actions
Specifying data objects with initial algebras
Specifying communication protocols with temporal logic
Specifying role interaction in concept languages
Specifying nodes as sets of choices
The dynamically evolving Terrorism Finance System
Queues on a Dynamically Evolving Graph
Analysis and verification of systems with dynamically evolving structure
Physics-based Residual Kriging for dynamically evolving functional random fields
Methods for managing, validating and retrieving event-related information in evolving contexts
Specifying Speed Spacing
Specifying component invariants with OCL
Specifying nodes as sets of actions
Specifying data objects with initial algebras
Specifying communication protocols with temporal logic
Specifying role interaction in concept languages
Specifying nodes as sets of choices
The dynamically evolving Terrorism Finance System
Queues on a Dynamically Evolving Graph
Analysis and verification of systems with dynamically evolving structure
Physics-based Residual Kriging for dynamically evolving functional random fields
Methods for managing, validating and retrieving event-related information in evolving contexts
Specifying Speed Spacing
Specifying component invariants with OCL
Specifying nodes as sets of actions
Specifying data objects with initial algebras
Specifying communication protocols with temporal logic
Specifying role interaction in concept languages