409 search results - page 45 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
107
click to vote
NJC
2006
15 years 1 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
AH
2008
Springer
15 years 8 months ago
2008
Springer
Successful eLearning is predicated on the application of pedagogies appropriate to online education that respond to the capabilities and needs of the learners. Typically, designing...
128
click to vote
ECBS
2011
IEEE
14 years 1 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
118
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...