1054 search results - page 61 / 211 » Model Transformations in the Model-Based Development of Real... |
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
FMCO
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
ASWSD
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...