Hochschulschrift
Object oriented design and architecture of distributed systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826586347
3826586344
- Maße
-
21 cm
- Umfang
-
VII, 451 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Münster (Westfalen), Univ., Diss., 2001
- Schlagwort
-
Verteiltes System
Softwareentwicklung
Objektorientierung
Verteiltes System
Softwareentwicklung
Objektorientierte Programmiersprache
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:15 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
- Giese, Holger
- Shaker
Entstanden
- 2001
Ähnliche Objekte (12)
![Object coordination nets 3.0, [...]. Semantics specification](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Object coordination nets 3.0, [...]. Semantics specification
Object coordination nets 3.0, [...]. Reference manual
Object coordination nets 3.0 synchronization behavior typing for contracts
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Architectural modelling and verification of open service-oriented systems of systems
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems : 12 - 14 October, 2005, Heinz-Nixdorf-MuseumsForum Paderborn, Germany
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Object coordination nets 3.0, [...]. Semantics specification
Object coordination nets 3.0, [...]. Reference manual
Object coordination nets 3.0 synchronization behavior typing for contracts
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Architectural modelling and verification of open service-oriented systems of systems
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems : 12 - 14 October, 2005, Heinz-Nixdorf-MuseumsForum Paderborn, Germany
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Object coordination nets 3.0, [...]. Semantics specification
Object coordination nets 3.0, [...]. Reference manual
Object coordination nets 3.0 synchronization behavior typing for contracts
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Architectural modelling and verification of open service-oriented systems of systems
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems : 12 - 14 October, 2005, Heinz-Nixdorf-MuseumsForum Paderborn, Germany
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations