4008 search results - page 509 / 802 » An expressive language of signatures |
157
click to vote
LPNMR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
170
click to vote
MPC
2004
Springer
16 years 1 days ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
175
click to vote
PADL
2004
Springer
16 years 1 days ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
169
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
197
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...