535 search results - page 99 / 107 » Formalization of Legislative Documents Based on a Functional... |
MBEES
2008
13 years 10 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
ROBOCUP
2009
Springer
14 years 3 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
ASIAN
2005
Springer
14 years 2 months ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...
AFP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...