Emergency Operation
System (EOS) |
![](CStudies/EOS-AS.JPG)
- Examples of Z
specification (pdf) [link]
| |
Patient Monitoring
System (PMS) |
![](CStudies/PMS-AS.JPG)
- Example of Reconfiguration
Operation
![](CStudies/Insert-Nurse-PMS.JPG)
- XML file [link]
- Examples of Z
specification (pdf) [link]
- Examples of AspectJ aspect
(aj) [link]
|
Collaborative Authoring
System (CAS) |
-
Architecture Style
![](CStudies/CAS-AS.JPG)
- XML file [link]
- Examples of Z specification (pdf)
[link]
- Examples of AspectJ aspect (aj)
[link]
|