formal methods

• Reijers, Hajo A. , Limam, Selma and VanderAalst, Wil M.P.
  Product-Based Workflow Design
  Journal of Management Information Systems
  Vol. 20 No. 1 , Summer 2003 , pp. 229 - 262

The JMIS site is designed, constructed and maintained using RMM technology