5547 search results - page 239 / 1110 » Software Variability Management |
169
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
140
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
: Despite some deficiencies, the Internet management framework is widely deployed and thousands of Management Information Base (MIB) modules have been defined thus far. These modul...
158
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...
162
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
173
click to vote
KBSE
2008
IEEE
16 years 28 days ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...