4799 search results - page 232 / 960 » Model Based Requirements Engineering for Embedded Software |
175
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
235
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
173
click to vote
VAMOS
2009
Springer
16 years 1 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
174
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...
218
click to vote
ESSOS
2011
Springer
14 years 10 months ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...