Show simple item record  

dc.contributor.authorAnderson, Granten_US
dc.contributor.authorReeve, Gregen_US
dc.contributor.authorReeves, Steveen_US
dc.coverage.spatialConference held at Canberra, Australiaen_NZ
dc.date.accessioned2008-03-19T04:58:28Z
dc.date.available2007-03-13en_US
dc.date.available2008-03-19T04:58:28Z
dc.date.issued2001-08-01en_US
dc.identifier.citationAnderson, G., Reeve, G. & Reeves, S. (2001). Idioms for -charts. In 2001 Australian Software Engineering Conference: proceedings, 27-28 August 2001, Canberra, Australia. (pp. 224-231). Los Alamitos, Calif.: IEEE Computer Society Press.en_US
dc.identifier.urihttps://hdl.handle.net/10289/75
dc.description.abstractThis paper presents an idiomatic construct for µ-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our use of µ-charts to design and specify commonly-occurring reactive systems. The purpose of this example, apart from any inherent interest in being able to use synchronization in a specification, is to show how the very simple language of µ-charts can used as a basis for a more expressive language built by definitional extension.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEE COMPUTER SOCen_NZ
dc.relation.urihttp://doi.ieeecomputersociety.org/10.1109/ASWEC.2001.948516en_US
dc.rights©2001 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.source13th Australian Software Engineering Conferenceen_NZ
dc.titleIdioms for µ-chartsen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1109/ASWEC.2001.948516en_US
dc.relation.isPartOf2001 Australian Software Engineering Conferenceen_NZ
pubs.begin-page224en_NZ
pubs.elements-id26808
pubs.end-page231en_NZ
pubs.finish-date2001-08-28en_NZ
pubs.start-date2001-08-27en_NZ
pubs.volume2001-Januaryen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record