10275 search results - page 27 / 2055 » Case Studies of Autonomy |
102
Voted
IASSE
2004
15 years 1 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
122
click to vote
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
CASES
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Aspect Oriented Programming, a relatively new programming paradigm, earned the scientific community’s attention. The paradigm is already evaluated for traditional OOP and compo...