loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Australian Software Engineering Conference (ASWEC'01)
Idioms for ?-Charts
Canberra, Australia
August 27-August 28
ISBN: 0-7695-1254-2
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.