Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions

Autor: Ribeiro, Leila, Duarte, Lucio, Machado, Rodrigo, Costa, Andrei, Cota, Érika, Bezerra, Jonas

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: http://arxiv.org/abs/1910.13592

Using formal methods for content validation of medical procedure documents

Autor: Cota, Érika, Ribeiro, Leila, Bezerra, Jonas Santos, Costa, Andrei, da Silva, Rosiana Estefane, Cota, Gláucia

Publikováno v: In International Journal of Medical Informatics August 2017 104:10-25

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

EPE-Mobile-A framework for early performance estimation of mobile applications.

Autor: Fernandes, Thiago Soares, Moreira, Álvaro Freitas, Cota, Érika

Publikováno v: Software: Practice & Experience; Jan2018, Vol. 48 Issue 1, p85-104, 20p

Use Case Analysis Based on Formal Methods: An Empirical Study.

Autor: Oliveira Jr., Marcos, Ribeiro, Leila, Cota, Érika, Duarte, Lucio Mauro, Nunes, Ingrid, Reis, Filipe

Publikováno v: Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers; 2015, p110-130, 21p