16725 search results - page 471 / 3345 » Engineering Software Correctness |
130
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...
163
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
177
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
136
click to vote
XPU
2009
Springer
16 years 28 days ago
2009
Springer
In this paper, we present on-going work on data collected by a questionnaire surveying process practices, preferences, and methods in industrial software engineering. Key words: Ag...
176
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
It is recognized importance of team-based software engineering education in these days, and lots of case studies have been reported. This paper describes a comparative study on te...