1200 search results - page 128 / 240 » The Problem Frames Approach to Software Engineering |
SIGSOFT
2005
ACM
14 years 2 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
WACC
1999
ACM
14 years 1 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...