2106 search results - page 95 / 422 » Specifying C concepts |
KES
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we introduce an effective strategy for subgoal division and ordering based upon recursive subgoals and combine this strategy with a genetic-based planning approach....
RE
2004
Springer
14 years 3 months ago
2004
Springer
One of the most important principles in Software Engineering is the separation of concerns. When this principle is correctly applied, it helps to promote comprehensibility, mainta...
CEEMAS
2001
Springer
14 years 2 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
ASM
2000
ASM
14 years 2 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
POPL
1992
ACM
14 years 2 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...