678 search results - page 66 / 136 » Extended Traits for Model Driven Software Development |
133
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
88
Voted
ICMT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
112
click to vote
EMSOFT
2011
Springer
14 years 9 days ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
106
Voted
ECMDAFA
2009
Springer
14 years 10 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...