577 search results - page 63 / 116 » An Active Hypertext Model for System Requirements |
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
SEKE
1993
Springer
15 years 3 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
118
click to vote
IEE
2008
14 years 12 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
SE
2008
15 years 1 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
100
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: The biological information in genomic expression data can be understood, and computationally extracted, in the context of systems of interacting molecules. The automat...