809 search results - page 72 / 162 » Requirements by Contracts allow Automated System Testing |
125
click to vote
DLOG
1998
15 years 1 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In this paper the problem of designing a decentralized robust controller for a plant describing a dragfree satellite is addressed. From recent experiences in dragfree c...
115
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
DLOG
2004
15 years 1 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
108
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...