3255 search results - page 325 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
180
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...
184
click to vote
SIGADA
2004
Springer
16 years 2 days ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
180
Voted
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
174
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
164
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...