4799 search results - page 51 / 960 » Model Based Requirements Engineering for Embedded Software |
EMSOFT
2010
Springer
14 years 7 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...
B
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
80
Voted
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
107
click to vote
RE
2001
Springer
15 years 2 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
RE
2008
Springer
14 years 9 months ago
2008
Springer
In early phases of the software cycle, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individual requiremen...