Sciweavers

AGTIVE
2007
Springer
14 years 2 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
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...
Gabriele Taentzer, André Crema, René...
AGTIVE
2007
Springer
14 years 2 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
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...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
FM
1990
Springer
56views Formal Methods» more  FM 1990»
14 years 2 months ago
Object Orientation and Formal Techniques
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
Ole-Johan Dahl
ZUM
1992
Springer
14 years 2 months ago
Specification in Fresco
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 ...
Alan Wills
ZUM
1992
Springer
14 years 2 months ago
An International Survey of Industrial Applications of Formal Methods
Dan Craigen, Susan L. Gerhart, Ted Ralston
FP
1989
124views Formal Methods» more  FP 1989»
14 years 2 months ago
Deriving the Fast Fourier Algorithm by Calculation
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] ...
Geraint Jones
SAS
1992
Springer
14 years 2 months ago
Minimal Function Graphs are not Instrumented
Alan Mycroft, Mads Rosendahl
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 2 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi