410 search results - page 29 / 82 » Tool Support for Invariant Based Programming |
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
AICCSA
2005
IEEE
13 years 9 months ago
2005
IEEE
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...
AGTIVE
2003
Springer
14 years 23 days ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
JMLR
2006
13 years 7 months ago
2006
Parallel software for solving the quadratic program arising in training support vector machines for classification problems is introduced. The software implements an iterative dec...
TOOLS
1999
IEEE
13 years 11 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...