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
« Februar 2012 »
Februar
MoDiMiDoFrSaSo
12345
6789101112
13141516171819
20212223242526
272829