568 search results - page 6 / 114 » Enforcing traceability in software |
ISSTA
2012
ACM
12 years 16 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
ECBS
2008
IEEE
14 years 4 months ago
2008
IEEE
Software systems have to provide flexibility by implementing variability. Existing design methodologies do not support means for optimizing the design for variability and for mea...