Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540348931, 9783540348955

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Formal Methods for Open Object-Based Distributed Systems

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_20 ◽

2017 ◽

pp. E1-E1

Author(s):

Roberto Gorrieri ◽

Heike Wehrheim

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Defining Object-Oriented Execution Semantics Using Graph Transformations

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_15 ◽

2006 ◽

pp. 186-201 ◽

Cited By ~ 21

Author(s):

Harmen Kastenberg ◽

Anneke Kleppe ◽

Arend Rensink

Keyword(s):

Object Oriented ◽

Graph Transformations ◽

Execution Semantics

Download Full-text

Type-Safe Runtime Class Upgrades in Creol

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_16 ◽

2006 ◽

pp. 202-217 ◽

Cited By ~ 8

Author(s):

Ingrid Chieh Yu ◽

Einar Broch Johnsen ◽

Olaf Owe

Download Full-text

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_6 ◽

2006 ◽

pp. 48-62 ◽

Cited By ~ 4

Author(s):

Iulian Ober ◽

Susanne Graf ◽

David Lesens

Keyword(s):

Software Architecture

Download Full-text

Mobility Mechanisms in Service Oriented Computing

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_18 ◽

2006 ◽

pp. 233-250 ◽

Cited By ~ 5

Author(s):

Claudio Guidi ◽

Roberto Lucchi

Keyword(s):

Service Oriented Computing ◽

Service Oriented

Download Full-text

An Approach to Quality Achievement at the Architectural Level: AQUA

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_4 ◽

2006 ◽

pp. 20-32

Author(s):

Heeseok Choi ◽

Keunhyuk Yeom ◽

Youhee Choi ◽

Mikyeong Moon

Download Full-text

Abstract Interface Behavior of Object-Oriented Languages with Monitors

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_17 ◽

2006 ◽

pp. 218-232 ◽

Cited By ~ 4

Author(s):

Erika Ábrahám ◽

Andreas Grüner ◽

Martin Steffen

Keyword(s):

Object Oriented ◽

Interface Behavior ◽

Abstract Interface ◽

Object Oriented Languages

Download Full-text

Transformation Laws for UML-RT

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_11 ◽

2006 ◽

pp. 123-137 ◽

Cited By ~ 4

Author(s):

Rodrigo Ramos ◽

Augusto Sampaio ◽

Alexandre Mota

Download Full-text

Separating Distribution from Coordination and Computation as Architectural Dimensions

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_2 ◽

2006 ◽

pp. 17-17

Author(s):

José Luiz Fiadeiro

Download Full-text

Generating Instance Models from Meta Models

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_13 ◽

2006 ◽

pp. 156-170 ◽

Cited By ~ 17

Author(s):

Karsten Ehrig ◽

Jochen M. Küster ◽

Gabriele Taentzer ◽

Jessica Winkelmann

Download Full-text

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Erratum to: Formal Methods for Open Object-Based Distributed Systems

Defining Object-Oriented Execution Semantics Using Graph Transformations

Type-Safe Runtime Class Upgrades in Creol

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

Mobility Mechanisms in Service Oriented Computing

An Approach to Quality Achievement at the Architectural Level: AQUA

Abstract Interface Behavior of Object-Oriented Languages with Monitors

Transformation Laws for UML-RT

Separating Distribution from Coordination and Computation as Architectural Dimensions

Generating Instance Models from Meta Models

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications