A techniques-based framework for domain-specific synthesis of simulation models
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 devising domain-specific design methods is by reconstructing an example in the dom...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1999
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.642673 |