1782 search results - page 324 / 357 » Tool Support for Proof Engineering |
NORDICHI
2004
ACM
14 years 2 months ago
2004
ACM
The primary contribution of this paper is investigating how the User Centered Design approach is integrated into the industry. Employing a structured web-survey, targeted to the u...
ICSR
2004
Springer
14 years 2 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
ITRUST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
ISESE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are relatively rare, so this pa...
SOFTVIS
2003
ACM
14 years 1 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...