376 search results - page 31 / 76 » Grammar Development in GF |
AGTIVE
2007
Springer
14 years 20 days ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
MVA
2002
13 years 8 months ago
2002
Video editing is a work to produce final videos with certain duration by finding and selecting appropriate shots from raw material videos and connecting them. In order to produce ...
JSS
2010
13 years 3 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
EACL
1989
ACL Anthology
13 years 9 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...