1926 search results - page 284 / 386 » Modeling and Model Checking Software Product Lines |
138
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
121
click to vote
ISSRE
2007
IEEE
15 years 1 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
117
click to vote
ISCA
1999
IEEE
15 years 4 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
ICST
2009
IEEE
15 years 6 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
121
click to vote
RE
2001
Springer
15 years 4 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...