3809 search results - page 415 / 762 » Associative language descriptions |
220
click to vote
ICFEM
2004
Springer
16 years 28 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
209
click to vote
IJCNLP
2004
Springer
16 years 28 days ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...
183
click to vote
IFL
2000
Springer
15 years 11 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
231
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
167
click to vote
FMOODS
2007
15 years 9 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...