1155 search results - page 1 / 231 » Elaborating Domain Descriptions |
ECAI
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
ACL
1992
14 years 1 days ago
1992
WER
2007
Springer
14 years 5 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
AI
2004
Springer
13 years 10 months ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...