10239 search results - page 407 / 2048 » Postmodern Software Development |
169
click to vote
CAV
2005
Springer
16 years 11 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...
258
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 ...
198
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Software developers spend significant time gaining and maintaining awareness of fellow developers' activities. FASTDash is a new interactive visualization that seeks to impro...
169
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...
147
click to vote
MSR
2006
ACM
16 years 24 days ago
2006
ACM
It is common, especially in large software systems, for developers to change code without updating its associated comments due to their unfamiliarity with the code or due to time ...