AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
AGTIVE
2007
Springer
14 years 1 months 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...
WAGA
1990
14 years 1 months ago
1990
FM
1990
Springer
14 years 1 months ago
1990
Springer
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
ZUM
1992
Springer
14 years 1 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
ZUM
1992
Springer
14 years 1 months ago
1992
Springer
FP
1989
14 years 1 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
SAS
1992
Springer
14 years 1 months ago
1992
Springer
SAS
1992
Springer
14 years 1 months ago
1992
Springer
SAS
1992
Springer
14 years 1 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...