1080 search results - page 56 / 216 » Modeling Constraint Programs with Software Technology Standa... |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
CAI
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
TOOLS
1998
IEEE
13 years 11 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...
LCTRTS
2001
Springer
14 years 14 days ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...