172 search results - page 6 / 35 » Validating SDL Specifications: an Experiment |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
TSE
1998
13 years 7 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
IJRR
2006
13 years 7 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
IADIS
2003
13 years 9 months ago
2003
In this paper, we present an approach for producing interoperable metadata by mapping metadata structures of application profiles into standard metadata structures. As a study cas...