Behavior Expression and OMDD (Englisch)
Freier Zugriff
- Neue Suche nach: Wang, Yunming
- Neue Suche nach: Wang, Yunming
In:
Formal Methods for Open Object-Based Distributed Systems IV
8
;
285-304
;
2000
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Behavior Expression and OMDD
-
Beteiligte:Wang, Yunming ( Autor:in )
-
Erschienen in:IFIP Advances in Information and Communication Technology ; 49, 8 ; 285-304
-
Verlag:
- Neue Suche nach: Springer US
-
Erscheinungsort:Boston, MA
-
Erscheinungsdatum:01.01.2000
-
Format / Umfang:20 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
On the Semantics of JavaspacesBusi, Nadia / Gorrieri, Roberto / Zavattaro, Gianluigi et al. | 2000
- 23
-
Elements of an Object-Based Model for Distributed and Mobile ComputationStefani, Jean-Bernard / Germain, Florence / Najm, Elie et al. | 2000
- 45
-
Specification of Mobile Code Systems Using Graph GrammarsDotti, Fernando Luís / Ribeiro, Leila et al. | 2000
- 65
-
Atomic Failure in Wide-Area ComputationDuggan, Dominic et al. | 2000
- 89
-
Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed SystemsMeseguer, José et al. | 2000
- 121
-
Requirements-Level Semantics for UML StatechartsEshuis, Rik / Wieringa, Roel et al. | 2000
- 141
-
A Step Toward Automatic Distribution of Java ProgramsAttali, Isabelle / Caromel, Denis / Guider, Romain et al. | 2000
- 163
-
Using Relational and Behavioural Semantics in the Verification of Object ModelsBolton, Christie / Davies, Jim et al. | 2000
- 183
-
Formally Modeling UML and its Evolution: A Holistic ApproachÁlvarez, Ambrosio Toval / Alemán, José Luis Fernández et al. | 2000
- 209
-
Object-Oriented Programming for Wide-Area ComputingMisra, Jayadev et al. | 2000
- 213
-
Behavioural Subtyping and Property PreservationWehrheim, Heike et al. | 2000
- 233
-
A Practical Approach to Incremental SpecificationLakos, Charles / Lewis, Glenn et al. | 2000
- 257
-
Refinement of Objects and Operations in Object-ZDerrick, John / Boiten, Eerke et al. | 2000
- 281
-
E-Speak: The Technology for Ubiquitous E-ServicesKarp, Alan H. et al. | 2000
- 285
-
Behavior Expression and OMDDWang, Yunming et al. | 2000
- 305
-
On a Temporal Logic for Object-Based SystemsDistefano, Dino / Katoen, Joost-Pieter / Rensink, Arend et al. | 2000
- 327
-
Stochastically Enhanced Timed AutomataBlair, Lynne / Jones, Trevor / Blair, Gordon et al. | 2000
- 351
-
Fail-Stop Components by Pattern MatchingJanowski, Tomasz / Mostowski, Wojciech I. et al. | 2000
- 371
-
A Formal Specification of the CORBA Event ServiceBastide, Rémi / Sy, Ousmane / Navarre, David / Palanque, Philippe et al. | 2000
- 397
-
Components as Processes: An Exercise in Coalgebraic ModelingBarbosa, L. S. et al. | 2000
- E1
-
Erratum to: Formal Methods for Open Object-Based Distributed Systems IVSmith, Scott F. / Talcott, Carolyn L. et al. | 2000