Emergency Operation System (EOS)

• Architecture Style
   

• XML file [link]

• Examples of Z specification (pdf) [link]

Patient Monitoring System (PMS)

• Architecture Style

• Example of Reconfiguration Operation

• XML file [link]

   

• Examples of Z specification (pdf) [link]

• Examples of AspectJ aspect (aj) [link]

Collaborative Authoring System (CAS)

 
• Architecture Style

 



• XML file [link]

   

• Examples of Z specification (pdf) [link]

 

• Examples of AspectJ aspect (aj) [link]