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

9783540204916, 9783540399582

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Java’s Integral Types in PVS

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

10.1007/978-3-540-39958-2_1 ◽

2003 ◽

pp. 1-15 ◽

Cited By ~ 6

Author(s):

Bart Jacobs

Download Full-text

Inductive Proof Outlines for Monitors in Java

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

10.1007/978-3-540-39958-2_11 ◽

2003 ◽

pp. 155-169 ◽

Cited By ~ 8

Author(s):

Erika Ábrahám ◽

Frank S. de Boer ◽

Willem-Paul de Roever ◽

Martin Steffen

Keyword(s):

Inductive Proof

Download Full-text

Temporal Logic Based Static Analysis for Non-uniform Behaviours

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

10.1007/978-3-540-39958-2_7 ◽

2003 ◽

pp. 94-108 ◽

Cited By ~ 1

Author(s):

Matthias Colin ◽

Xavier Thirioux ◽

Marc Pantel

Keyword(s):

Static Analysis ◽

Temporal Logic

Download Full-text

Verification of Distributed Object-Based Systems

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

10.1007/978-3-540-39958-2_18 ◽

2003 ◽

pp. 261-275 ◽

Cited By ~ 23

Author(s):

Fernando L. Dotti ◽

Luciana Foss ◽

Leila Ribeiro ◽

Osmar M. dos Santos

Keyword(s):

Distributed Object ◽

Object Based

Download Full-text

Checking Consistency in UML Diagrams: Classes and State Machines

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

10.1007/978-3-540-39958-2_16 ◽

2003 ◽

pp. 229-243 ◽

Cited By ~ 26

Author(s):

Holger Rasch ◽

Heike Wehrheim

Keyword(s):

State Machines ◽

Uml Diagrams

Download Full-text

On Mobility Extensions of UML Statecharts. A Pragmatic Approach

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

10.1007/978-3-540-39958-2_14 ◽

2003 ◽

pp. 199-213 ◽

Cited By ~ 2

Author(s):

Diego Latella ◽

Mieke Massink

Keyword(s):

Pragmatic Approach

Download Full-text

The Kell Calculus: Operational Semantics and Type System

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

10.1007/978-3-540-39958-2_8 ◽

2003 ◽

pp. 109-123 ◽

Cited By ~ 9

Author(s):

Philippe Bidinger ◽

Jean-Bernard Stefani

Keyword(s):

Operational Semantics ◽

Type System

Download Full-text

A Calculus for Long-Running Transactions

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

10.1007/978-3-540-39958-2_9 ◽

2003 ◽

pp. 124-138 ◽

Cited By ~ 62

Author(s):

Laura Bocchi ◽

Cosimo Laneve ◽

Gianluigi Zavattaro

Download Full-text

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components

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

10.1007/978-3-540-39958-2_17 ◽

2003 ◽

pp. 244-260 ◽

Cited By ~ 6

Author(s):

Frédéric Tronel ◽

Frédéric Lang ◽

Hubert Garavel

Keyword(s):

Software Components ◽

Compositional Verification

Download Full-text

Towards Object-Oriented Graphs and Grammars

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

10.1007/978-3-540-39958-2_2 ◽

2003 ◽

pp. 16-31 ◽

Cited By ~ 3

Author(s):

Ana Paula Lüdtke Ferreira ◽

Leila Ribeiro

Keyword(s):

Object Oriented ◽

Oriented Graphs

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

Java’s Integral Types in PVS

Inductive Proof Outlines for Monitors in Java

Temporal Logic Based Static Analysis for Non-uniform Behaviours

Verification of Distributed Object-Based Systems

Checking Consistency in UML Diagrams: Classes and State Machines

On Mobility Extensions of UML Statecharts. A Pragmatic Approach

The Kell Calculus: Operational Semantics and Type System

A Calculus for Long-Running Transactions

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components

Towards Object-Oriented Graphs and Grammars

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