5525 search results - page 73 / 1105 » Verification of Model Transformations |
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Organizations are increasingly inter-connected as they source talent, goods and services from other organizations located in disparate parts of the world. They seek new ways of cr...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
BPM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...