1137 search results - page 196 / 228 » Disciplined Methods of Software Specification: A Case Study |
CSCW
2002
ACM
13 years 10 months ago
2002
ACM
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
CGO
2009
IEEE
14 years 5 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
WCRE
2005
IEEE
14 years 3 months ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...
RE
2005
Springer
14 years 3 months ago
2005
Springer
Interviews with stakeholders can be a useful method for identifying user needs and establishing requirements. However, interviews are also problematic. They are time consuming and...