Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Aline Maria Santos Andrade"'
Publikováno v:
Enterprise Information Systems ISBN: 9783030754174
ICEIS (Revised Selected Papers)
ICEIS (Revised Selected Papers)
In Model driven development, a transformation chain is responsible for the conversion of high abstraction level models into other models until code generation. It comprises a set of transformation programs that automates a software development proces
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4181abda4d3e537df31997912dfba6e
https://doi.org/10.1007/978-3-030-75418-1_19
https://doi.org/10.1007/978-3-030-75418-1_19
Publikováno v:
Anais do XXI Workshop de Testes e Tolerância a Falhas (WTF 2020).
This paper presents a model checking-based approach to support the autonomous planning of adaptation actions in Self-Adaptive Systems, designed in consonance with the MAPE-K reference architecture. We evaluated our approach with a case-study aiming a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3b73a89e119da6b62243e3bb790166c
https://doi.org/10.5753/wtf.2020.12488
https://doi.org/10.5753/wtf.2020.12488
Publikováno v:
ICEIS (2)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5a49f285c0b2b7ca52e28ba1b6d8307
https://doi.org/10.5220/0009380100800089
https://doi.org/10.5220/0009380100800089
Autor:
Jouber Mateus S. Aciole, Landulfo Silveira, Aline Maria Santos Andrade, Milena Góes da Guarda, Antonio L. B. Pinheiro, Aparecida Maria C. Marques, Luiz Guilherme P. Soares
Publikováno v:
Lasers in Medical Science. 29:1927-1936
The handling of bone losses due to different etiologic factors is difficult and many techniques are aim to improve repair, including a wide range of biomaterials and, recently, photobioengineering. This work aimed to assess, through Raman spectroscop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d95fcd307986876a998fcac2538fb8f
https://doi.org/10.1007/s10103-014-1601-9
https://doi.org/10.1007/s10103-014-1601-9
Publikováno v:
SBES
In the MDD approach a transformation chain is responsible for the automation or semi-automation of the MDD development process by encapsulating the strategies to convert models into other models until code generation. The design of transformation cha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9b552b64d9c8e9d2eb1decfb7d6ffe2
https://doi.org/10.1145/2973839.2973841
https://doi.org/10.1145/2973839.2973841
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319498140
SBMF
SBMF
In a perspective of an incremental and iterative formal development of software, models should preserve a refinement relation with already existing specifications models. In cases where a model is not a refinement of a specification model, it should
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae987b6f77e63f81b77beae7edf06723
https://doi.org/10.1007/978-3-319-49815-7_10
https://doi.org/10.1007/978-3-319-49815-7_10
Publikováno v:
ACM SIGOPS Operating Systems Review. 45:156-160
One of the mini challenges in software verification related to the Grand Challenge proposed by Tony Hoare concerns the formal specification and verification of an operating system kernel. This paper proposes a simple and correct specification of an O
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a518b0d9a453d379ef938185087bb2a8
https://doi.org/10.1145/1945023.1945042
https://doi.org/10.1145/1945023.1945042
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
Publikováno v:
Innovations in Systems and Software Engineering. 6:29-37
A new tool for integrating formal methods, particularly model checking, in the development process of component-based real-time systems specified in UML is proposed. The described tool, TANGRAM (Tool for Analysis of Diagrams), performs automatic tran
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bdc78ccb2f6b611211c3e98f0c56246
https://doi.org/10.1007/s11334-009-0103-6
https://doi.org/10.1007/s11334-009-0103-6
Publikováno v:
Electronic Notes in Theoretical Computer Science. 240:221-238
We describe the formal specification and verification of a new fault-tolerant real-time communication protocol, called DoRiS, which is designed for supporting distributed real-time systems that use a shared high-bandwidth medium. Since such a kind of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1125b5d998c4dff180014a74e17ca106
https://doi.org/10.1016/j.entcs.2009.05.054
https://doi.org/10.1016/j.entcs.2009.05.054
Publikováno v:
SEKE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6a70f8f2bb745724d7ac2b0256bb26e
https://doi.org/10.18293/seke2015-053
https://doi.org/10.18293/seke2015-053