1229 search results - page 14 / 246 » Reflections on the Design of a Specification language |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 7 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
IPM
2000
13 years 7 months ago
2000
The paper reviews the TREC Programme up to TREC-6 (1997), considering the test results, the substantive findings for IR that follow, and the lessons TREC offers for IR evaluation....
SAC
1998
ACM
13 years 12 months ago
1998
ACM
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...
INFSOF
2006
13 years 7 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
ENTCS
2008
13 years 7 months ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...