Dr Leonor Barroca
Research Interests
- Architectural approaches to Software Engineering: Frameworks, Architectures, Components,Patterns
- Object-oriented development
- Component-based development
- Applications of Formal Methods: state-based specifications of temporal behaviour.
|
View by: