1829 search results - page 101 / 366 » Towards Validation of Requirements Models |
163
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
178
click to vote
CBMS
2001
IEEE
15 years 9 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
197
Voted
SPLC
2007
15 years 7 months ago
2007
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
158
click to vote
DSRT
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
165
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— Map learning is a fundamental task in mobile robotics because maps are required for a series of high level applications. In this paper, we address the problem of building maps ...