|
Published Articles >> Table of Contents >> Abstract
13th Australian Software Engineering Conference (ASWEC'01)
p. 0224
Idioms for µ-Charts
Grant Anderson, University of Waikato
Greg Reeve, University of Waikato
Steve Reeves, University of Waikato
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2001.948516
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Grant Anderson, Greg Reeve, Steve Reeves,
"Idioms for µ-Charts,"
aswec,
p. 0224,
13th Australian Software Engineering Conference (ASWEC'01),
2001
|
|
