Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Cláudio Carvilhe"'
Publikováno v:
Semantics and Algebraic Specification ISBN: 9783642041631
Semantics and Algebraic Specification
Semantics and Algebraic Specification
We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0478f46124e92c409a16cd8c8fbc383e
https://doi.org/10.1007/978-3-642-04164-8_5
https://doi.org/10.1007/978-3-642-04164-8_5
Autor:
Roque Correa Junior, Luiz Carlos Martins Loyola Filho, Claudio Carvilhe, Carlos Nascimento Silla Junior
Publikováno v:
Intersaberes, Vol 12, Iss 25, Pp 68-83 (2017)
O violão é o instrumento musical mais difundido no Brasil. Considerando os diversos avanços das tecnologias de informação e comunicação nos últimos anos, neste trabalho é feita uma pesquisa inicial com o intuito de entender como essas tecno
Externí odkaz:
https://doaj.org/article/ec175105e4524bdcbd4187d89697826b
Publikováno v:
Repositório Institucional da UFRN
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
LSFA
Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
LSFA
MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008. Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22afa044d0c03909f530c799d8204e95