Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Jonas Santos Bezerra"'
Autor:
Erika Cota, Rosiana Estéfane da Silva, Gláucia Fernandes Cota, Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro
Publikováno v:
International Journal of Medical Informatics. 104:10-25
Objective We propose the use of a formal approach to support content validation of a standard operating procedure (SOP) for a therapeutic intervention. Such an approach provides a useful tool to identify ambiguities, omissions and inconsistencies, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63e37a966a66bdfa8f7bac36eb2e4164
https://doi.org/10.1016/j.ijmedinf.2017.04.012
https://doi.org/10.1016/j.ijmedinf.2017.04.012
Autor:
Lucio Mauro Duarte, Jonas Santos Bezerra, Rodrigo Machado, Leila Ribeiro, Erika Cota, Andrei Costa
Use Case (UC) quality impacts the overall quality and defect rate of a system, as they specify the expected behavior of an implementation. In a previous work, we have defined an approach for a step-by-step translation from UCs written in natural lang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3efcfa30b54d6e60b6b2cf7223faa1d7
Autor:
Rodrigo Machado, Andrei Costa, Leonardo Marques Rodrigues, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leila Ribeiro
Publikováno v:
Graph Transformation, Specifications, and Nets ISBN: 9783319753959
Graph Transformation, Specifications, and Nets
Graph Transformation, Specifications, and Nets
Graph transformation (GT) is a rule-based framework, suitable for modelling both static and dynamic aspects of complex systems in an intuitive yet formal manner. The algebraic approach to GT is based on category theory, allowing the instantiation of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31288950e7348f3023d79a7a0d362ded
https://doi.org/10.1007/978-3-319-75396-6_9
https://doi.org/10.1007/978-3-319-75396-6_9
Autor:
Andrei Costa, Andrea Corradini, Dominique Duval, Jonas Santos Bezerra, Leila Ribeiro, Michael Löwe, Leonardo Marques Rodrigues, Guilherme Grochau Azzi, Rodrigo Machado
Publikováno v:
Graph Transformation, Specifications, and Nets
Graph Transformation, Specifications, and Nets, Oct 2016, Berlin, Germany. pp.1-18, ⟨10.1007/978-3-319-75396-6_1⟩
Graph Transformation, Specifications, and Nets ISBN: 9783319753959
Graph Transformation, Specifications, and Nets, Oct 2016, Berlin, Germany. pp.1-18, ⟨10.1007/978-3-319-75396-6_1⟩
Graph Transformation, Specifications, and Nets ISBN: 9783319753959
International audience; Parallel independence between transformation steps is a basic notion in the algebraic approaches to graph transformation, which is at the core of some static analysis techniques like Critical Pair Analysis. We propose a new ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd8027467d8f1f23c7734f5c21632ea9
https://hal.archives-ouvertes.fr/hal-01984729
https://hal.archives-ouvertes.fr/hal-01984729
Autor:
Rodrigo Machado, Jonas Santos Bezerra, Ricardo Gabriel Herdt, Andrei Costa, Thiago Rafael Becker, Guilherme Grochau Azzi, Leonardo Marques Rodrigues
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319498140
SBMF
SBMF
Graph grammars are models that allow for a visual representation of both static and dynamic aspects of a system. There are several tools that allow the edition, simulation and analysis of graph grammars, each of them focusing on one kind of analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f402f82a924299f81e5ae15d00c9eeb3
https://doi.org/10.1007/978-3-319-49815-7_5
https://doi.org/10.1007/978-3-319-49815-7_5
Autor:
Leonardo Panta Leão, Jonas Santos Bezerra, Leonardo Nogueira Matos, Maria Augusta Silveira Netto Nunes
Publikováno v:
Revista GEINTEC, Vol 2, Iss 5, Pp 472-489 (2012)
Este artigo descreve um sistema em tempo real de reconhecimento de expressões faciais usando uma técnica para detecção automática de expressões faciais baseada no algoritmo Haartraning seguido pela colocação automática dos pontos responsáve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doajarticles::809d59035623c48271958ffbd03f2108
http://www.revistageintec.net/portal/index.php/revista/article/view/73
http://www.revistageintec.net/portal/index.php/revista/article/view/73
Publikováno v:
Revista GEINTEC, Vol 2, Iss 3, Pp 255-273 (2012)
In recent years the study of how human psychological aspects may improve the decision-making process in computers has became a new trend. This subject has attracted the attention from both academy and industry in areas such as human-computer interact
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec38ba3f16b76a30a99a7aa65e1ed85c
http://www.revistageintec.net/portal/index.php/revista/article/view/50
http://www.revistageintec.net/portal/index.php/revista/article/view/50
Publikováno v:
Electronic Notes in Theoretical Computer Science. :31-50
Health assessment tools (treatment standardization guidelines, risk evaluation scales, disease burden estimations, and patient's perceptions questionnaires, among others) are very similar in format to a software specification, although targeted to hu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d17957820628c1d6c3b4e07a1370a554
Autor:
Reiko Heckel, Gabriele Taentzer
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut's life and work as well as othe