577 search results - page 58 / 116 » Relating Software Requirements and Architectures Using Probl... |
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
WCRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
QUATIC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The amount of effort needed to maintain a software system is related to the technical quality of the source code of that system. The ISO 9126 model for software product quality ...
ER
1998
Springer
14 years 1 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
DAC
1994
ACM
14 years 28 days ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...