Research interests

Objects, Components and Distributed Systems 
  • Object-oriented software engineering
  • Component-based software engineering
  • Concurrency and distributed systems

Formal Methods and Application 
  • Formal methods and techniques for design specifications
  • Methods and techniques for framework development
  • Coupled environmental simulation systems (based on components)
  • Modelling frameworks for agent-based social simulation
« Mai 2012 »
Mai
MoDiMiDoFrSaSo
123456
78910111213
14151617181920
21222324252627
28293031