Open AccessFormal Specification of Real-Time Systems by Transformation of UML-RT Design Models
Author(s) -
Kawtar Benghazi Akhlaki,
Manuel I. Capel,
Juan A. Holgado-Terriza,
Luis E. Mendoza Morales
Publication year - 2006
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0002503200160025
Subject(s) - unified modeling language , computer science , model transformation , transformation (genetics) , programming language , formal methods , software engineering , software , artificial intelligence , consistency (knowledge bases) , biochemistry , chemistry , gene