Show simple item record  

dc.contributor.authorReeve, Gregen_US
dc.contributor.authorReeves, Steveen_US
dc.coverage.spatialConference held at Singaporeen_NZ
dc.date.accessioned2008-03-19T04:58:29Z
dc.date.available2007-03-13en_US
dc.date.available2008-03-19T04:58:29Z
dc.date.issued2000-12-01en_US
dc.identifier.citationReeeve, G. & Reeves, S. (2000). µ-Charts and Z: Examples and extensions. In Proceedings: Seventh Asia-Pacific Software Engineering Conference: APSEC 2000: 5-8 December 2000, Singapore. (pp. 258-263). Los Alamitos, Calif.: IEEE Computer Society Press.en_US
dc.identifier.urihttps://hdl.handle.net/10289/76
dc.description.abstractμ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating μ-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the μ-charts and the related Z to deal with a simple command language, local variables and integer-valued signals.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE COMPUTER SOCen_NZ
dc.rights©2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_US
dc.source7th Asia-Pacific Software Engineering Conference (ASPEC 2000)en_NZ
dc.subjectformal specificationen_US
dc.subjectspecification languagesen_US
dc.subjectµ-Chartsen_US
dc.subjectreactive systems specificationen_US
dc.subjectstatechartsen_US
dc.subjectZ languageen_US
dc.subjectspecification languageen_US
dc.subjectsystems developmenten_US
dc.subjectcommand languageen_US
dc.subjectlocal variablesen_US
dc.subjectinteger-valued signalsen_US
dc.titleµ-Charts and Z: Examples and extensionsen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1109/APSEC.2000.896707en_US
dc.relation.isPartOfAsia-Pacific Software Engineering Conferenceen_NZ
pubs.begin-page258en_NZ
pubs.elements-id26134
pubs.end-page263en_NZ
pubs.finish-date2000en_NZ
pubs.start-date2000en_NZ
pubs.volume2000-Januaryen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record