3799 search results - page 523 / 760 » An Engineering Approach to Formal Methods |
195
click to vote
IWPSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
147
click to vote
PASTE
2005
ACM
16 years 5 days ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
158
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
186
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
164
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...