2748 search results - page 156 / 550 » Generating Object-Z Specifications from Use Cases |
82
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
101
Voted
ECIS
2004
15 years 2 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
120
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
92
Voted
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
107
click to vote
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...