4212 search results - page 540 / 843 » Rights Expression Languages |
162
click to vote
ISOLA
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
157
click to vote
LPNMR
2004
Springer
16 years 9 hour 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...
168
click to vote
MPC
2004
Springer
16 years 7 hour 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 5 hour 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...
168
click to vote
UML
2004
Springer
15 years 12 months 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...