2407 search results - page 162 / 482 » A Tool for Abstraction in Model Checking |
182
click to vote
ICWE
2005
Springer
16 years 15 days ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
233
click to vote
WOA
2003
15 years 8 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
172
Voted
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
200
Voted
PLDI
2006
ACM
16 years 28 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
185
click to vote
EVOW
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...