1080 search results - page 46 / 216 » Modeling Constraint Programs with Software Technology Standa... |
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Delivering high quality web applications complying with severe project delivery time constraints is still an elusive goal for a software process. In many software projects, develop...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...