1304 search results - page 81 / 261 » Model-Driven Engineering for Requirements Analysis |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
EMSOFT
2010
Springer
14 years 8 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
RE
2010
Springer
14 years 4 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
AEI
2007
14 years 10 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...