Sciweavers

486 search results - page 23 / 98
» OCL and Model Driven Engineering
Sort
View
CASCON
2006
162views Education» more  CASCON 2006»
13 years 9 months ago
Integrating dynamic views using model driven development
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
R. Ian Bull
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
13 years 9 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
B
2007
Springer
14 years 1 months ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
Bill Stoddart, Dominique Cansell, Frank Zeyda
ASWSD
2006
Springer
13 years 11 months ago
Towards Model-Driven Development of Hard Real-Time Systems
Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...
ESSOS
2010
Springer
14 years 4 months ago
Model-Driven Security Policy Deployment: Property Oriented Approach
Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...