Meidya

Case Studies:


Meidya Case Studies

Emergency Operation System (EOS)


 
  • Architecture Style
     

 

  • 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]