Skip navigation

Browsing by Orientador Rodrigues, Genaína Nunes

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 15 of 15
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
13-Aug-202431-Jan-2023Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAALGalvão, Danilo José BispoRodrigues, Genaína Nunes-
13-Apr-20209-Aug-2019Uma abordagem usando features BDD e modelo de objetivos para o desenvolvimento ágil de softwareLeal, Fábio BarrosRodrigues, Genaína Nunes-
22-Feb-201826-Sep-2017An architecture conformance process for software ecosystems with heterogeneous languagesRocha, Sigfredo FariasRodrigues, Genaína Nunes-
5-Jun-202023-Oct-2019An architecture to support control theoretical-based verification of goal-oriented adaptation enginesCaldas, Ricardo DinizRodrigues, Genaína Nunes-
19-May-20166-Apr-2015Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionaisRoriz, Alexandre VazRodrigues, Genaína Nunes-
4-Apr-201728-Dec-2016Autonomic goal-driven deployment in heterogeneous computing environmentsRodrigues, Gabriel SiqueiraRodrigues, Genaína Nunes-
11-Mar-201931-Aug-2018Characterization of implied scenarios as families of Common BehaviorMelo, Caio Batista deRodrigues, Genaína Nunes-
14-May-201527-Feb-2015Dependability verification for contextual/runtime goal modellingMendonça, Danilo FilgueiraRodrigues, Genaína Nunes-
3-Oct-202314-Nov-2022Enhancing runtime monitors of cyber-physical systems using negative selectionAraújo, João Paulo Costa deRodrigues, Genaína Nunes-
26-May-20165-Oct-2015Explorando a combinação de visualização de software com clusterização de dados em um processo de reconstrução de arquiteturaPaiva, Renato Edésio RodriguesRodrigues, Genaína NunesLadeira, Marcelo
-27-Jan-2020Feature-Trace : an approach to generate operational profile and to support regression testing from BDD featuresBarbosa, Rafael Fazzolino PintoRodrigues, Genaína Nunes-
11-Mar-202011-Jul-2019A goal-oriented approach to support the assurance process of self-adaptive systems under uncertaintySolano, Gabriela FélixRodrigues, Genaína Nunes-
11-Apr-201824-Nov-2017Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design timeFarias, Arthur José RodriguesRodrigues, Genaína Nunes-
26-May-20167-Aug-2015Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitosReis, Thiago Peixoto dosRodrigues, Genaína Nunes-
29-Dec-201430-Jul-2014Uma solução de software de assinatura digital de documentos para instituição de ensino brasileiraQueiroz, Andrei LimaRodrigues, Genaína Nunes-