Overview
- Software Architecture: Architectural Description Languages, Dynamic architectures and Self-organising architectures.
- Distributed systems: operating systems, design methods, development environments, configuration management, reliability and availability, mobility.
- Mobile Computing: context-aware systems, location services
- Analysis Tools for Concurrent and Distributed systems:
LTSA - Labelled Transition System Analyser
Stochastic LTSA - simulation of Timed Transitions systems