The Team
The team of the GCS Project is composed of
research groups of 3 universities of Ontario:
Of the
Telecommunications Software Engineering Research Group (TSERG):
Specification Techniques, Architecture and Tools for Distributed
Systems, Verification and Validation
Researchers of the
Lotos group
work at the design, verification and validation of the Group
Communication Server, using the LOTOS specification language
and the UofO LOTOS Toolkit.
Software Engineering, Protocol Engineering,
Software Design For Testability and Traceability (DSFIT),
Software Quality Engineering (SQE)
Performance Modelling, Performance of Distributed Software,
Software Design, Queuing Theory
Design Visualization, Real-Time and Distributed Systems,
Object-Oriented Systems
Jacques Sincennes