5475 search results - page 18 / 1095 » Model Driven Security |
MMMACNS
2010
Springer
13 years 7 months ago
2010
Springer
ER
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
B
2007
Springer
14 years 4 months ago
2007
Springer
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 ï...
CAISE
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
SERP
2008
13 years 11 months ago
2008
Model Transformation is the key aspect of Model Driven Engineering (MDE), a model-centric software development approach aiming at improving the quality and productivity of softwar...