Show simple item record

dc.contributor.authorde Castro, Alberto Nogueiraen
dc.contributor.authorde Castro Júnior, Alberto Nogueiraen
dc.date.accessioned2018-01-31T11:42:21Z
dc.date.available2018-01-31T11:42:21Z
dc.date.issued1999
dc.identifier.urihttp://hdl.handle.net/1842/27885
dc.description.abstracten
dc.description.abstractThe 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 devising domain -specific design methods is by reconstructing an example in the domain using the target method; then generalising the design structures to cover a class of designs in the domain and finally building an environment in which these structures may 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.en
dc.description.abstractWe have identified domain -specific techniques which use a parameterisation method from techniques editing but which contain information specific to the population dynamics domain; we define a problem description language which uses concepts from population dynamics; an interface which allows these concepts to be supplied; and provide an automated system which bridges between population dynamics problem description and the domain -specific techniques needed for model generation.en
dc.description.abstractTeMS - Techniques -based Model Synthesiser, is the system constructed as the main instrument of our research. Because it is an embodiment of our views on the issues addressed, we submitted TeMS to user evaluation by ecological modelling experts, which produced material for a broad discussion of the system itself, its approach to modelling and its potential uses on the ecological modelling scenario.en
dc.publisherThe University of Edinburghen
dc.relation.ispartofAnnexe Thesis Digitisation Project 2017 Block 16en
dc.relation.isreferencedbyAlready catalogueden
dc.titleA techniques-based framework for domain-specific synthesis of simulation modelsen
dc.typeThesis or Dissertationen
dc.type.qualificationlevelen
dc.type.qualificationnamePhD Doctor of Philosophyen


Files in this item

This item appears in the following Collection(s)

Show simple item record