1954 search results - page 256 / 391 » A requirements analysis for videogame design support tools |
158
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
171
click to vote
JSW
2008
15 years 6 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
197
click to vote
IACR
2011
14 years 6 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
212
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
173
click to vote
SE
2008
15 years 8 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...