1347 search results - page 72 / 270 » A Web-based requirements analysis tool |
107
Voted
SE
2007
15 years 2 months ago
2007
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
106
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
134
Voted
ASPDAC
2012
ACM
13 years 8 months ago
2012
ACM
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
89
Voted
MSR
2009
ACM
15 years 7 months ago
2009
ACM
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
ICSE
1994
IEEE-ACM
15 years 4 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...