MIT nyitóoldal

   Complete list

Automated verification and validation of UML-based models of information systems

OTKA project
1999 - 2001

Local supervisor: Pataricza András
Official project supervisor: BME MIT FTSRG

The main objective of the proposed research is the development of a methodology for the automatic validation and verification of dependable systems described by means of UML.
The framework of the current research a general transformation description and generation framework will be developed based on a pattern matchind approach. This framework will be used to implement pilot transformations evaluating the qualitativ correcness attributes of systems having a dynamic structure. The methodology will be extended to evaluate systems of a regular structure.

Further information about the project:
Official homepage:
Department homepage:
Official email address: