The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Research Paper #923

Title:Domain-specific synthesis of simulation models
Authors:Castro,A; Robertson,DS; Muetzelfeldt,R
Date:Aug 1998
Presented:Submitted to Automated Software Engineering, Int. Journal
Keywords:program synthesis, design methods, logic programming and prolog
Abstract:The formal specification community has produced many languages but few structured design methods. Those which exist tend to be abstract, providing little guidance in tackling problems in particular domains. One way of devision domain-specific design methods is by reconstructing an example in the domain using the target method; then building an environment in which these structures can more easily be re-applied to new problems. We demonstrate this approach using animal population dynamics models as the domain and Prolog techniques as the target method.
Download:POSTSCRIPT COPY


[Search These Pages] [DAI Home Page] [Comment]