10241 search results - page 407 / 2049 » Goal-Driven Software Development |
146
click to vote
HCI
2007
15 years 8 months ago
2007
This article seeks to close the gap between software engineering and human-computer interaction by indicating interdisciplinary interfaces of SE and HCI lifecycles. We present a cr...
178
click to vote
ACE
2004
15 years 8 months ago
2004
Technological advancement in the Internet and other areas of communication have made the idea of collaborative projects with other people who might be physically located on separa...
191
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
165
click to vote
CAV
2005
Springer
16 years 9 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...
255
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...