Fairtlough, Matt; Holcombe, Mike; Ipate, Florentin; Jordan, Camilla; Laycock, Gilbert and Duan, Zhenhua
(1995).
| DOI (Digital Object Identifier) Link: | http://dx.doi.org/doi:10.1007/978-1-4615-2303-1_7 |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
The problem of constructing a simple formal specification of a dynamic, time dependent system is addressed here. We use an intuitive state machine model which can be developed in a series of stages, each successive refinement adding new features and addressing new issues related to the design of the specification. The model used is fully general, unlike traditional state machine models, and can be supported by a test generation method that will provide a basis for an integrated design for the test specification method. The case study is the specification of a video cassette recorder system which is defined in a formal way with the minimum of mathematical notation.
| Item Type: | Journal Article |
|---|---|
| Copyright Holders: | 1995 Kluwer Academic Publishers |
| ISSN: | 1381-3951 |
| Extra Information: | High-Level System Modeling: Specification Languages
Edited by Jean-Michel Berge, Oz Levia, and Jacques Rouillard Kluwer Academic Publishers, 1995 ISBN 0-7923-9632-4 |
| Academic Unit/Department: | Mathematics, Computing and Technology > Mathematics and Statistics |
| Item ID: | 31535 |
| Depositing User: | Camilla Jordan |
| Date Deposited: | 10 Feb 2012 15:26 |
| Last Modified: | 10 Feb 2012 15:26 |
| URI: | http://oro.open.ac.uk/id/eprint/31535 |
Actions (login may be required)
| View Item | |
| Report issue / request change |