6197 search results - page 175 / 1240 » Sandbridge Software Tools |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
CSCW
2008
ACM
13 years 11 months ago
2008
ACM
In this paper, we seek to shed light on how communication networks in geographically distributed projects evolve in order to address the limits of the modular design strategy. We ...
DSML
2008
13 years 11 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
WSC
1994
13 years 11 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...