Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642041662, 9783642041679

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_11 ◽

2009 ◽

pp. 204-225 ◽

Cited By ~ 1

Author(s):

M. Aldinucci ◽

M. Danelutto ◽

P. Kilpatrick

Keyword(s):

Program Development ◽

Support Program ◽

Distributed Programming ◽

Formal Models ◽

Autonomic Management

Download Full-text

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_2 ◽

2009 ◽

pp. 21-41 ◽

Cited By ~ 32

Author(s):

Natallia Kokash ◽

Farhad Arbab

Keyword(s):

Behavioral Modeling ◽

Service Oriented

Download Full-text

Incremental System Modelling in Event-B

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_8 ◽

2009 ◽

pp. 139-158

Author(s):

Stefan Hallerstede

Keyword(s):

System Modelling

Download Full-text

Session-Based Compilation Framework for Multicore Programming

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_12 ◽

2009 ◽

pp. 226-246 ◽

Cited By ~ 9

Author(s):

Nobuko Yoshida ◽

Vasco Vasconcelos ◽

Hervé Paulino ◽

Kohei Honda

Keyword(s):

Multicore Programming ◽

Compilation Framework

Download Full-text

Formal Modular Modelling of Context-Awareness

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_6 ◽

2009 ◽

pp. 102-118 ◽

Cited By ~ 2

Author(s):

Mats Neovius ◽

Kaisa Sere

Keyword(s):

Context Awareness ◽

Modular Modelling

Download Full-text

A Real-Time Extension of Creol for Modelling Biomedical Sensors

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_3 ◽

2009 ◽

pp. 42-60 ◽

Cited By ~ 3

Author(s):

Marcel Kyas ◽

Einar Broch Johnsen

Keyword(s):

Real Time ◽

Biomedical Sensors ◽

Time Extension

Download Full-text

Conformance Testing of Distributed Concurrent Systems with Executable Designs

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_4 ◽

2009 ◽

pp. 61-81 ◽

Cited By ~ 4

Author(s):

Bernhard K. Aichernig ◽

Andreas Griesmayer ◽

Einar Broch Johnsen ◽

Rudolf Schlatte ◽

Andries Stam

Keyword(s):

Conformance Testing ◽

Concurrent Systems

Download Full-text

BML and Related Tools

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_14 ◽

2009 ◽

pp. 278-297 ◽

Cited By ~ 2

Author(s):

Jacek Chrząszcz ◽

Marieke Huisman ◽

Aleksy Schubert

Download Full-text

Reusable Architectural Decision Model for Model and Metadata Repositories

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_1 ◽

2009 ◽

pp. 1-20 ◽

Cited By ~ 4

Author(s):

Christine Mayr ◽

Uwe Zdun ◽

Schahram Dustdar

Keyword(s):

Decision Model ◽

Architectural Decision

Download Full-text

An Asynchronous Distributed Component Model and Its Semantics

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04167-9_9 ◽

2009 ◽

pp. 159-179 ◽

Cited By ~ 8

Author(s):

Ludovic Henrio ◽

Florian Kammüller ◽

Marcela Rivera

Keyword(s):

Component Model

Download Full-text

Formal Methods for Components and Objects - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems

Incremental System Modelling in Event-B

Session-Based Compilation Framework for Multicore Programming

Formal Modular Modelling of Context-Awareness

A Real-Time Extension of Creol for Modelling Biomedical Sensors

Conformance Testing of Distributed Concurrent Systems with Executable Designs

BML and Related Tools

Reusable Architectural Decision Model for Model and Metadata Repositories

An Asynchronous Distributed Component Model and Its Semantics

Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications