2748 search results - page 86 / 550 » Generating Object-Z Specifications from Use Cases |
ACMDIS
2000
ACM
14 years 1 months ago
2000
ACM
Rapid technological change requires that system designers explore potential design spaces widely before committing to a local design space in which to evolve a problem solution. W...
FORTE
2004
13 years 10 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
DSVIS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
ICANN
2009
Springer
13 years 6 months ago
2009
Springer
Different algorithms have been proposed in the literature to cluster gene expression data, however there is no single algorithm that can be considered the best one independently on...
GI
2007
Springer
14 years 19 days ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...