Membership Details (University/College)
Contact: Keshav Dahal
Member node: 120
MOSAIC Research Centre,
School of Informatics,
University of Bradford,
Richmond Road, Bradford, West Yorkshire, BD7 1DP, UK
>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details
We are mainly focusing on modelling methodologies for (mobile) agents. We have developed a formal specification language MobiOZ , which is an integration of Object-Z and mobile primitives and extended activity diagrams of UML 1.5 and 2.0 . We are working on verification methods and tools for those formalisms.
This list was generated on Mon Sep 10 16:39:28 BST 2007.