2748 search results - page 130 / 550 » Generating Object-Z Specifications from Use Cases |
117
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
130
Voted
CSMR
2005
IEEE
15 years 6 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
87
Voted
LREC
2010
15 years 1 months ago
2010
In this paper, we present the D-TUNA corpus, which is the first semantically annotated corpus of referring expressions in Dutch. Its primary function is to evaluate and improve th...
EVOW
2004
Springer
15 years 5 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
92
Voted
TAP
2008
Springer
15 years 12 days ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...