Open AccessFormal Specification of Real-Time Systems by Transformation of UML-RT Design Models
Author(s) -
Kawtar Benghazi,
Manuel I. Capel,
Juan A. Holgado-Terriza,
Luís E. Mendoza
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom