323 search results - page 49 / 65 » Verifying the Mondex Case Study |
CASCON
2006
13 years 11 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
CEC
2010
IEEE
13 years 11 months ago
2010
IEEE
In this paper we present an original framework to extract representative groups from a dataset, and we validate it over a novel case study. The framework specifies the application ...
DAM
2008
13 years 10 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...
ENTCS
2008
13 years 10 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...