E-LIB Suche - Ergebnisse für: Falcão, Flávia

1

A formal component model for UML based on CSP aiming at com..:

Falcão, Flávia ; Lima, Lucas ; Sampaio, Augusto.
Software and Systems Modeling. , 2023

Link: https://doi.org/10.1007/..

2

Safe and Constructive Design with UML Components:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Falcão, Flávia ; Lima, Lucas ; Sampaio, Augusto - p. 234-251 , 2018

Link: https://doi.org/10.1007/..

3

Hydromechanical Behavior of a Synthetic Homogenous Carbonat..:

Giwelli, Ausama ; Esteban, Lionel ; Lemiale, Vincent...
Procedia Engineering. 191 (2017) - p. 811-820 , 2017

Link: https://doi.org/10.1016/..

4

Multiple Synchrony in MSC:

Falcão, Flávia ; Iyoda, Juliano ; Sampaio, Augusto
Electronic Notes in Theoretical Computer Science. 240 (2009) - p. 149-166 , 2009

Link: https://doi.org/10.1016/..

5

A cross-anisotropic elastoplastic model applied to sediment..:

Forero, John H. ; Gomes, Guilherme J.C. ; Vargas Jr., Eurípedes A...
International Journal of Rock Mechanics and Mining Sciences. 132 (2020) - p. 104419 , 2020

Link: https://doi.org/10.1016/..

6

Evaluation of oil production related effects through geomec..:

Lonardelli, Josenilda Nascimento ; da Silva, Rafael de Oliveira ; Falcão, Flávia de Oliveira Lima..
Journal of Petroleum Science and Engineering. 158 (2017) - p. 186-201 , 2017

Link: https://doi.org/10.1016/..

7

Nested polymerase chain reaction in cerebrospinal fluid for..:

Bruscky, Igor Silvestre ; de Melo, Fábio Lopes ; de Medeiros, Zulma Maria...
Journal of the Neurological Sciences. 366 (2016) - p. 87-90 , 2016

Link: https://doi.org/10.1016/..

8

Safe and constructive design with UML components:

FALCÃO, Flávia Mérylyn Carneiro
FALCÃO, Flávia Mérylyn Carneiro. Safe and constructive design with UML components. 2022. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco, Recife, 2022.. , 2022

Link: https://repositorio.ufpe..

9

Numerical Modelling of Travertine Mechanical Behaviour Base..:

Kiewiet, Melissa Cristina Duque Nogueira ; Barroso, Emilio Vellos ; Falcão, Flávia de Oliveira Lima...
https://revistas.ufrj.br/index.php/aigeo/article/view/6995/5562. , 2016

Link: https://revistas.ufrj.br..

10

Automated Bug Triaging in a Global Software Development Env..:

, In: Natural Language Processing and Information Systems; Lecture Notes in Computer Science,

Batista, Arthur ; Marinho, Fabricio D'Morison ; Rocha, Thiago... - p. 160-171 , 2022

Link: https://doi.org/10.1007/..

11

AMANDA: A Middleware for Automatic Migration between Differ..:

Queiroz, Jordan S. ; Falcão, Thiago A. ; Furtado, Phillip M....
Applied Sciences. 12 (2022) 12 - p. 6106 , 2022

Link: https://doi.org/10.3390/..

12

Influence of UGT1A1 promoter polymorphism, α-thalassemia an..:

Batista, Jéssica V. G. F. ; Arcanjo, Gabriela S. ; Batista, Thais H. C....
Annals of Hematology. 100 (2021) 4 - p. 903-911 , 2021

Link: https://doi.org/10.1007/..

13

ICT Institutional Framework in the Americas Region:

Aranha, Marcio ; Oliveira, Flavia ; Falcão, Rafaela.
CPRLATAM Conference, Mexico, June 22-23rd, 2016 in conjunction with CLT2016, June 20-23rd, 2016. , 2016

Link: https://ssrn.com/abstrac..

14

NAT2TESTSCR: Test case generation from natural language req..:

Carvalho, Gustavo ; Falcão, Diogo ; Barros, Flávia...
Science of Computer Programming. 95 (2014) - p. 275-297 , 2014

Link: https://doi.org/10.1016/..

15

Test case generation from natural language requirements bas..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,

Carvalho, Gustavo ; Falcão, Diogo ; Barros, Flávia... - p. 1217-1222 , 2013

Link: https://dl.acm.org/doi/1..