794 search results - page 50 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
117
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
107
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
105
Voted
WCRE
1996
IEEE
15 years 4 months ago
1996
IEEE
The extraction of reusable software components from existing systems is an attractive idea. The goal of the work in this paper is not to extract a component automatically, but to ...
82
Voted
EUROMICRO
2009
IEEE
15 years 3 months ago
2009
IEEE
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...