918 search results - page 45 / 184 » An Aspect Language for Robust Programming |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
LOBJET
2006
13 years 7 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
ATAL
2003
Springer
14 years 28 days ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
FORTE
2009
13 years 5 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...