Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540317807, 9783540317814

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_8 ◽

2006 ◽

pp. 67-78 ◽

Author(s):

Holger Giese ◽

Martin Hirsch

Keyword(s):

Modular Verification

Download Full-text

Workshop on Models for Non-functional Properties of Component-Based Software – NfC

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_22 ◽

2006 ◽

pp. 210-216

Author(s):

Geri Georg ◽

Jan Øyvind Aagedal ◽

Raffaela Mirandola ◽

Ileana Ober ◽

Dorina Petriu ◽

...

Keyword(s):

Functional Properties

Download Full-text

sNets: A First Generation Model Engineering Platform

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_18 ◽

2006 ◽

pp. 169-181 ◽

Author(s):

Jean Bézivin

Keyword(s):

First Generation ◽

Generation Model

Download Full-text

Bridging Grammarware and Modelware

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_17 ◽

2006 ◽

pp. 159-168 ◽

Author(s):

Manuel Wimmer ◽

Gerhard Kramler

Download Full-text

Teaching UML Is Teaching Software Engineering Is Teaching Abstraction

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_32 ◽

2006 ◽

pp. 306-319 ◽

Author(s):

Gregor Engels ◽

Jan Hendrik Hausmann ◽

Marc Lohmann ◽

Stefan Sauer

Keyword(s):

Software Engineering

Download Full-text

A Framework for Composable Security Definition, Assurance, and Enforcement

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_41 ◽

2006 ◽

pp. 353-354

Author(s):

J. A. Pavlich-Mariscal ◽

S. A. Demurjian ◽

L. D. Michel

Download Full-text

Towards a Generic Aspect Oriented Design Process

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_12 ◽

2006 ◽

pp. 110-119 ◽

Author(s):

Andrew Jackson ◽

Siobhán Clarke

Keyword(s):

Download Full-text

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_3 ◽

2006 ◽

pp. 20-31 ◽

Author(s):

Thomas Baar

Keyword(s):

Frame Problem ◽

Graph Transformations ◽

The Frame Problem

Download Full-text

Explicit Architectural Policies to Satisfy NFRs Using COTS

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_24 ◽

2006 ◽

pp. 227-236 ◽

Author(s):

Claudia López ◽

Hernán Astudillo

Download Full-text

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

Satellite Events at the MoDELS 2005 Conference - Lecture Notes in Computer Science ◽

10.1007/11663430_5 ◽

2006 ◽

pp. 39-47 ◽

Author(s):

Alban Rasse ◽

Jean-Marc Perronne ◽

Pierre-Alain Muller ◽

Bernard Thirion

Keyword(s):

Process Algebra ◽

Object Oriented ◽

Behavioral Aspects

Download Full-text