Tools
Tools
Chen, Zhiqiang, Cau, Antonio, Zedan, Hussein, Liu, Xiaodong and Yang, Hongji (1998) A refinement calculus for the development of real-time systems. In: 5th Asia Pacific Software Engineering Conference, APSEC '98. IEEE Computer Society, p. 61.
![[img]](http://researchrepository.napier.ac.uk/style/images/fileicons/application_pdf.png) | PDF Restricted to Registered users only Available under License Creative Commons Attribution Non-commercial. Download (154kB) | Request a copy |
Abstract/Description
We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—HRT-HOOD. A real-time logic is specified by
extending a sound formal method for real-time systems—
TAM, to formalise the object model. With integration of
HRT-HOOD and TAM, the advantages of object-oriented
structured methods with the stepwise refinement techniques
are combined. The result is illustrated on a case study
| Item Type: | Book Section |
|---|---|
| Additional Information: | paper presented at Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 2nd-4th December 1998, Taipei, Taiwan |
| Uncontrolled Keywords: | real-time systems; HRT-Hood; TAM; formalising; object-oriented structures; |
| University Divisions/Research Centres: | Faculty of Engineering, Computing and Creative Industries > School of Computing |
| Dewey Decimal Subjects: | 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data |
| Library of Congress Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Item ID: | 3229 |
| Depositing User: | Computing Research |
| Date Deposited: | 21 Jul 2010 11:54 |
| Last Modified: | 12 Jan 2011 04:52 |
| URI: | http://researchrepository.napier.ac.uk/id/eprint/3229 |
Actions (login required)
| View Item |