5182 search results - page 744 / 1037 » COTS-Based Requirements Engineering |
304
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
210
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
174
click to vote
DRM
2005
Springer
16 years 5 days ago
2005
Springer
The domain of digital rights management (DRM) is currently lacking a generic architecture that supports interoperability and reuse of specific DRM technologies. This lack of arch...
193
click to vote
ISSTA
2004
ACM
16 years 2 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
173
click to vote
GCB
2004
Springer
16 years 1 days ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...