13137 search results - page 49 / 2628 » A Science of Software Design |
114
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
124
Voted
PDC
2004
ACM
15 years 8 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
144
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
: In December of 2010, the new game CityVille achieved 6 million daily active users in just 8 days. Clearly the success of CityVille owes something to the fun gameplay experience i...
117
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
106
Voted
PDC
2004
ACM
15 years 8 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...