Current Projects

A. Software testing

  • Automated software testing of components based on algebraic specifications
  • Service-oriented testing of web services
  • Book on theoretical foundation of software testing
  • Adative randam testing
  • B. Software Modelling Languages

  • Formalisation of UML
  • Formal specification of design patterns
  • Consistency checking of graphic models
  • C. Agent-orineted Software Development Methodologies

  • SLABS specification language
  • CAMLE modelling language
  • Scenario calculus for reasoning about multi-agent systems
  • CAVM: virtual machine for multi-agent programming of Internet applications
  • Agent-oriented programming language and compiler
  • 124 Responses to Current Projects

    1. Pingback: IhSLLHct

    Leave a Reply

    Your email address will not be published.