1229 search results - page 62 / 246 » Reflections on the Design of a Specification language |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
GPCE
2009
Springer
13 years 6 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
PDC
2004
ACM
14 years 1 months ago
2004
ACM
This paper discusses and evaluates use of different participatory design methods in relation to addressing the challenge of grounding imagination. It presents reflections on the u...