1153 search results - page 40 / 231 » Compositional Specification Calculus for Information Systems... |
143
Voted
JUCS
2010
14 years 10 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
113
Voted
DGO
2007
15 years 5 months ago
2007
Poster. We highlight the latest developments in the Argos project. First, we describe our approach to automatic workflow composition. Second, we discuss the validation of the fre...
110
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
125
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
155
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...