Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Automatic code generations"'
Publikováno v:
Proceedings-IEEE 12th International Symposium on Network Computing and Applications, NCA 2013
12th Annual IEEE International Symposium on Network Computing and Applications, NCA 2013
NCA
12th Annual IEEE International Symposium on Network Computing and Applications, NCA 2013
NCA
TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for describing systems, their inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85a15634aad51de2a48914d23c03bd8e
http://gnosis.library.ucy.ac.cy/handle/7/53990
http://gnosis.library.ucy.ac.cy/handle/7/53990
Autor:
Papadopoulos, George Angelos
Publikováno v:
ITI
Proceedings of the International Conference on Information Technology Interfaces, ITI
ITI 2008 30th International Conference on Information Technology Interfaces
Proceedings of the International Conference on Information Technology Interfaces, ITI
ITI 2008 30th International Conference on Information Technology Interfaces
This work contributes in bridging the gap between software design and implementation of component-based systems using software architectures at the modelling/design level and the coordination paradigm at the implementation level. Exploiting the impro