1005 search results - page 136 / 201 » Formal Software Development in MAYA |
115
click to vote
INTERACTION
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
126
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
KBS
2007
14 years 11 months ago
2007
In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a...
109
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...