Spring 2012:
|
Announcements:
|
Software Testing Research Group (STRG) (Faculty Coordinator) - All are welcome to our meetings. We usually discuss topics of interest to the members in the group, as well as give progress reports on current research projects.
CVM Research Group (Project Leader) - The long term goal of this project is to develop a technology that allows user to build executable communication-intensive models. This technology includes the Communication Modeling Language (CML) and a platform to execute communication model, the Communication Virtual Machine (CVM).