| Deletions are marked like this. | Additions are marked like this. |
| Line 11: | Line 11: |
|
* [[http://www.doc.ic.ac.uk/~su2/pubs.html|Selected Publications]] * [[http://pubs.doc.ic.ac.uk/authors/su2|Publications Database]] [[#top|^Top]] ---- |
* [[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/u/Uchitel:Sebasti=aacute=n.html|Publications DBLP]] |
Sebastian Uchitel
Email: <su2 AT SPAMFREE doc DOT ic DOT ac DOT uk>
|
Sebastian Uchitel |
Distributed Software Engineering Section |
Research Interests
- My research insterest are in Software Engineering, more specifically in behaviour modelling and analysis of requirements and design for complex software-intensive systems. My research is driven by the observation that traditional behaviour modelling and analysis techniques are not well suited for iterative, incremental development approaches where, initially, only partial knowledge of system behaviour is available. Existing behaviour modelling and analysis approaches require comprehensive models, up to a certain level of abstraction, to be completed before analysis can be performed. I aim to develop modelling and analysis techniques and tools that can provide benefits even if only a partial behaviour model has been developed. Consequently, my research mainly focuses on scenario-based specifications, behaviour model synthesis, and partial behaviour models such as modal transitions systems. However, I am also interested in reliability, probabilistic models, service-oriented systems, web-services and self-organising systems.