| 2024 |
Artigo em periódico |
A process model to looking for signs of learning using concept maps: a case study
Silvio Luiz Bragatto BOSS; Aline Maria Santos ANDRADE; Ecivaldo De Souza MATOS
Revista Brasileira de Informática na Educação (RBIE)
ISSN 2317-6121
|
PS
Computer Science Applications
|
| 2023 |
Trabalho em evento |
Uma análise dos tempos limite para entrega de mensagens e para determinação de vizinhança em rede veiculares ad hoc
Santos Cleber BRITO; Aline Maria Santos ANDRADE; Sá Alirio Santos DE
Workshop de Computação Urbana
DOI 10.5753/courb.2023.799
|
PS
Computer Networks and Communications
|
| 2020 |
Trabalho em evento |
Developing Model Transformations: A Systematic Literature Review
Aline Maria Santos ANDRADE; Magalhães ANA; Maciel RITA
22nd International Conference on Enterprise Information Systems
DOI 10.5220/0009380100800089
ISBN 9789897584237
|
PS
Computer Science Applications
|
| 2020 |
Trabalho em evento |
Self-Adaptive Systems Planning with Model Checking using MAPE-K
Da Silva Aristóteles Esteves MARÇAL; Aline Maria Santos ANDRADE; Andrade Sandro SANTOS
XXI Workshop de Testes e Tolerância a Falhas
DOI 10.5753/wtf.2020.12488
|
PS
Artificial Intelligence
|
| 2019 |
Trabalho em evento |
Soluções Computacionais para Avaliação da Aprendizagem por Mapas Conceituais: um Mapeamento Sistemático
Boss SILVIO; Matos ECIVALDO; Aline Maria Santos ANDRADE
XXX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education)
DOI 10.5753/cbie.sbie.2019.399
|
SH
Education
|
| 2019 |
Artigo em periódico |
Model driven transformation development (MDTD): An approach for developing model to model transformation
Magalhaes Ana Patrícia FONTES; Aline Maria Santos ANDRADE; Maciel Rita Suzana PITANGUEIRA
INFORMATION AND SOFTWARE TECHNOLOGY
DOI 10.1016/j.infsof.2019.06.004
ISSN 0950-5849
|
PS
Computer Science Applications
|
| 2018 |
Capítulo de livro |
Desenvolvimento de Sistemas de Controle e Automação na Abordagem de Engenharia Dirigida por Modelos.
Becker L B; Jean Marie FARINES; Aline Maria Santos ANDRADE; Ana Patricia MAGALHAES
Projeto de Sistemas Distribuídos e de Tempo Real para Automação
ISBN 9788523216757
|
PS
Control and Systems Engineering
|
| 2016 |
Trabalho em evento |
A Model Driven Transformation Development Process for Model to Model Transformation
Magalhães A P; Aline Maria Santos ANDRADE; Rita Suzana MACIEL
the 30th Brazilian Symposium
DOI 10.1145/2973839.2973841
ISBN 9781450342018
|
PS
Software
|
| 2016 |
Trabalho em evento |
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models
Efraim MACHADO; Aline Maria Santos ANDRADE
Brazilian Symposium on Formal Methods
ISBN 0302-9743
|
PS
Theoretical Computer Science
|
| 2015 |
Trabalho em evento |
Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design
Magalhaes Ana PATRICIA; Maciel Rita Suzana PITANGUEIRA; Aline Maria Santos ANDRADE
The 27th International Conference on Software Engineering and Knowledge Engineering
DOI 10.18293/SEKE2015-54
|
PS
Software
|
| 2015 |
Trabalho em evento |
On the Specification of Model Transformations through a Platform Independent Approach
Magalhaes Ana PATRICIA; Aline Maria Santos ANDRADE; Maciel Rita Suzana PITANGUEIRA
The 27th International Conference on Software Engineering and Knowledge Engineering
DOI 10.18293/SEKE2015-53
|
PS
Software
|
| 2015 |
Trabalho em evento |
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information
Jandson Santos Dos SANTOS; Aline Maria Santos ANDRADE
17th International Conference on Formal Engineering Methods; ICFEM 2015
ISBN 978-3-319-254
|
PS
Theoretical Computer Science
|
| 2014 |
Trabalho em evento |
Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário
Roberto FIGUEIREDO; Daniela CLARO; Raimundo José De Araújo MACÊDO; Aline Maria Santos ANDRADE
X Simpósio Brasileiro de Sistemas de Informação (SBSI)
|
PS
Information Systems
|
| 2013 |
Trabalho em evento |
MTP: Model Transformation Profile
Mascarenhas Ana Patricia Fontes MAGALHAES; Aline Maria Santos ANDRADE; Maciel Rita Suzana PITANGUEIRA
2013 VII Brazilian Symposium on Software Components; Architectures and Reuse (SBCARS)
DOI 10.1109/SBCARS.2013.22
ISBN 9781479925315
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Toward the Revision of CTL Models through Kripke Modal Transition Systems
Paulo De Tarso GUERRA; Aline Maria Santos ANDRADE; Renata WASSERMANN
16th Brazilian Symposium; SBMF 2013
ISBN 9783642410703
|
PS
Theoretical Computer Science
|
| 2013 |
Trabalho em evento |
An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking
Rui Carlos Botelho Almeida Da SILVA; Aline Maria Santos ANDRADE; Augusto Loureiro Da COSTA; Frederico Jorge Ribeiro BARBOZA
VII Workshop-Escola de Sistemas de Agentes; seus Ambientes e Aplicações
ISBN 2177-2096
|
PS
Artificial Intelligence
|
| 2012 |
Trabalho em evento |
Generating correct compositions of semantic web services with respect to temporal constraints
Daniela CLARO; Efraim Zalmoxis De A MACHADO; Aline Maria Santos ANDRADE
18th Brazilian Symposium on Multimedia and the Web
|
PS
Computer Science Applications
|
| 2011 |
Trabalho em evento |
Improving Web Service Discovery by a Functional and Structural Approach
Daniela CLARO; Rodrigo AMORIM; Denivaldo LOPES; Patrick ALBERS; Aline Maria Santos ANDRADE
The 9th International Conference of Web Services
ISBN 9781457708
|
PS
Computer Science Applications
|
| 2011 |
Trabalho em evento |
An MDA Approach to Model Transformation Development
Ana Patrícia MAGALHÃES; Aline Maria Santos ANDRADE; Rita Suzana MACIEL; FARINES
II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos
|
PS
Computer Science Applications
|
| 2011 |
Artigo em periódico |
Abstract specification and formalization of an operating system kernel in Z
Barreto LUCIANO; Aline Maria Santos ANDRADE; Duran ADOLFO; Lima CAIQUE; Lima ADEMILSON
Operating Systems Review
DOI 10.1145/1945023.1945042
ISSN 0163-5980
|
PS
Software
|
| 2010 |
Trabalho em evento |
Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z
Luciano Porto BARRETO; Aline Maria Santos ANDRADE; Adolfo Almeida DURAN; Caique Santos Lemos LIMA; Ademilson Santos LIMA
VII Workshop de Sistemas Operacionais
|
PS
Software
|
| 2010 |
Trabalho em evento |
Trabalhando com alunos de ensino fundamental e médio para a descoberta de talentos em computação: um relato de experiências
Efraim Zalmoxis De A MACHADO; Igor Rodrigo S VASCONCELOS; Karla M AMORIM; Aline Maria Santos ANDRADE; Luciano Porto BARRETO
Worksop de Inclusão Digital (WIND)
|
SH
Education
|
| 2010 |
Trabalho em evento |
Uma Experiência em Escolas de Ensino Médio e Fundamental para a Descoberta de Jovens Talentos em Computação
Efraim Zalmoxis De A MACHADO; Igor Rodrigo S VASCONCELOS; Karla M AMORIM; Aline Maria Santos ANDRADE; Luciano Porto BARRETO et al
Workshop de Educação em Informática (WEI)
|
SH
Education
|
| 2010 |
Artigo em periódico |
Integrating UML and UPPAAL for designing; specifying and verifying component-based real-time systems
Muniz André L N; Aline Maria Santos ANDRADE; George LIMA
Innovations in Systems and Software Engineering (Internet)
DOI 10.1007/s11334-009-0103-6
ISSN 1614-5054
|
PS
Computer Science (miscellaneous)
|
| 2009 |
Trabalho em evento |
Uma Ferramenta para Verificação Formal de Sistemas de Tempo Real Baseados em Componentes a partir de Diagramas UML
Paulo Henrique De Oliveira SOUZA; André Luis Nunes MUNIZ; Aline Maria Santos ANDRADE
Workshop de Trabalhos de Iniciação Científica e de Graduação
|
PS
Computational Theory and Mathematics
|
