1376 search results - page 15 / 276 » Model-Driven Software Verification |
141
click to vote
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
124
Voted
CASCON
2006
15 years 3 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...
120
Voted
SE
2008
15 years 3 months ago
2008
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
95
Voted
SOSYM
2008
15 years 1 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
109
Voted
ADAEUROPE
2007
Springer
15 years 3 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...