4350 search results - page 528 / 870 » Case studies for contract-based systems |
195
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
197
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
195
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
Multiple, highly autonomous, satellite systems are envisioned in the near future because they are capable of higher performance, lower cost, better fault tolerance, reconfigurabil...
193
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
Service-orientation is not only a means for systems integration, but also an architecture paradigm for building systems. Flexibility, adaptability and interoperability are some of...
207
click to vote
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...