loading...
Idioms for ?-Charts
Canberra, Australia August 27-August 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2001.94851613th Australian Software Engineering ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Grant Anderson, University of Waikato
Greg Reeve, University of Waikato
Steve Reeves, University of Waikato
Abstract: This 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.
Citation:
Grant Anderson, Greg Reeve, Steve Reeves, "Idioms for ?-Charts," aswec, pp.0224, 13th Australian Software Engineering Conference (ASWEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.