| 2015 |
Trabalho em evento |
MANIOC: Ferramenta de Apoio a Recomendações de Melhorias Baseadas na Cultura Organizacional para Iniciativas de MPS
Cláudia Rejane GOMES; Odette Mestrinho PASSOS; Marcos André Fernandes SPÓSITO; Raimundo Da Silva BARRETO; Arilo Claudio Dias NETO
XI Workshop Anual do MPS (WAMPS 2015)
ISBN 9788599334829
|
SH
Education
|
| 2015 |
Trabalho em evento |
Um Relato de Experiência do Uso de Programação de Jogos para a Melhoria do Raciocínio Lógico em Crianças
Larissa Lorena Evangelista NEVES; Guibson Moreira SOUZA; Allan BEZERRA; Raimundo Da Silva BARRETO; Arilo Claudio Dias NETO
XX Conferência Internacional sobre Informática na Educação (TISE'2015)
|
SH
Education
|
| 2015 |
Trabalho em evento |
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform
Valentin EDUARDO; Salvatierra MARIO; De Freitas ROSIANE; Raimundo Da Silva BARRETO
2015 25th International Workshop on Power and Timing Modeling; Optimization and Simulation (PATMOS)
DOI 10.1109/PATMOS.2015.7347580
ISBN 9781467394192
|
PS
Computer Networks and Communications
|
| 2015 |
Trabalho em evento |
Rapid improvement of students' soft-skills based on an agile-process approach
Valentin EDUARDO; Carvalho Jose Reginaldo HUGHES; Raimundo Da Silva BARRETO
2015 IEEE Frontiers in Education Conference (FIE)
DOI 10.1109/FIE.2015.7344408
ISBN 9781479984541
|
LS
Neuroscience (miscellaneous)
|
| 2014 |
Trabalho em evento |
Persona Security: A Technique for Supporting the Elicitation of Security Requirements
Marco Aurélio Dos SANTOS; Jacilane De Holanda RABELO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE
International Conference on Software Engineering and Knowledge Engineering
ISBN 2325-9000
|
PS
Computer Science (miscellaneous)
|
| 2014 |
Trabalho em evento |
Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language
Bezerra Daniella RODRIGUES; Raimundo Da Silva BARRETO
2014 Eighth Brazilian Symposium on Software Components; Architectures and Reuse (SBCARS)
DOI 10.1109/sbcars.2014.20
ISBN 9781479978601
|
PS
Computer Science (miscellaneous)
|
| 2014 |
Trabalho em evento |
ARDev: A Methodology Based on Scrum Principles to Support Research Management on Software Technologies
Daniella Rodrigues BEZERRA; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO
Annual International Conference on Computer Science and Software Engineering - CASCON
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Roteamento e Agregacao de Dados Usando Sinks em Alta Velocidade em Redes de Sensores Sem Fio
Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Eduardo Freire NAKAMURA; Antonio Alfredo Ferreira LOUREIRO
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Uma Investigação sobre Recomendações de Melhoria Baseadas em Aspectos Culturais para Apoiar Iniciativas de Melhoria de Processo de Software
Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO
Simpósio Brasileiro de Qualidade de Software
ISBN 2177-6369
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Um Relato de Experiência do Uso da Técnica Computação Desplugada
Anacília Cavalcante VIEIRA; Odette Mestrinho PASSOS; Raimundo Da Silva BARRETO
Workshop de Educação em Computação
ISBN 2175-2761
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Routing and Data Aggregation Toward a High Speed Sink in Wireless Sensor Networks
Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Eduardo Freire NAKAMURA; Raimundo Da Silva BARRETO; Antonio Alfredo Ferreira LOUREIRO
IEEE Conference on Local Computer Networks
|
PS
Computer Networks and Communications
|
| 2013 |
Trabalho em evento |
Uma Investigação sobre a Relevância de Valores Organizacionais em Iniciativas de Melhoria de Processo de Software
Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO
IX Workshop Anual do MPS
ISBN 9788599334461
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Trabalho em evento |
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models
Freitas ROMULO; Raimundo Da Silva BARRETO; Maciel PAULO
2013 III Brazilian Symposium on Computing Systems Engineering (SBESC)
DOI 10.1109/SBESC.2013.45
ISBN 9781479938902
|
SH
Psychology (miscellaneous)
|
| 2013 |
Artigo em periódico |
Characterizing Usability Inspection Methods through the Analysis of a Systematic Mapping Study Extension
Luis RIVERO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE
CLEI Electronic Journal
ISSN 0717-5000
|
PS
Computer Science (miscellaneous)
|
| 2013 |
Artigo em periódico |
Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives
Odette Mestrinho PASSOS; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO
CLEI Electronic Journal
ISSN 0717-5000
|
PS
Computer Science (miscellaneous)
|
| 2012 |
Trabalho em evento |
A Car Racing Based Strategy for the Dynamic Voltage and Frequency Scaling Technique
David Abrahan COHEN; Raimundo Da Silva BARRETO; Horácio Antonio Braga Fernandes OLIVEIRA; Lucas Carvalho CORDEIRO
IEEE International Symposium on Industrial Electronics
|
PS
Computer Science Applications
|
| 2012 |
Trabalho em evento |
Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives
Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO
Congresso Ibero-Americano em Engenharia de Software
|
PS
Computer Science (miscellaneous)
|
| 2012 |
Trabalho em evento |
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples
Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO; Arilo Cláudio Dias NETO
9th International Conference on Integrated Formal Methods
ISBN 9783642307287
|
PS
Computer Science (miscellaneous)
|
| 2012 |
Artigo em periódico |
Organizational Culture and Success in SPI Initiatives
Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO
IEEE Software
DOI 10.1109/MS.2012.52
ISSN 0740-7459
|
SH
Education
|
| 2012 |
Artigo em periódico |
Architectural Characterization and Code Compression in Embedded Processors
Azevedo Dias Wanderson ROGER; Moreno Edward DAVID; Raimundo Da Silva BARRETO
Revista IEEE América Latina
DOI 10.1109/tla.2012.6272467
ISSN 1548-0992
|
PS
Computer Science (miscellaneous)
|
| 2011 |
Trabalho em evento |
An Approach for Code Compression in Run Time for Embedded Systems - A Preliminary Results
Wanderson Roger Azevedo DIAS; Edward David MORENO; Raimundo Da Silva BARRETO
11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2011).
|
PS
Computer Science (miscellaneous)
|
| 2011 |
Trabalho em evento |
A Formal Method for Modeling; Verification and Synthesis of Embedded Reactive Systems
Ruiter Braga CALDAS; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO; Sérgio Vale Aguiar CAMPOS
IADIS Applied Computing
ISBN 9789898533067
|
PS
Computer Science (miscellaneous)
|
| 2011 |
Trabalho em evento |
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker
Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO; Bernd FISCHER
XIII Workshop de Sistemas de Tempo Real
DOI 10.1109/SBESC.2011.19
ISBN 9781467304276
|
PS
Computer Science (miscellaneous)
|
| 2011 |
Trabalho em evento |
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
Everton Gualberto CUNHA; Marcelo Monteiro CUSTÓDIO; Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO
II Workshop de Sistemas Embarcados.
DOI 10.1109/SBESC.2011.18
ISBN 9781467304276
|
SH
Education
|
| 2011 |
Trabalho em evento |
Instruction Compression in Runtime for Embedded Systems
Wanderson Roger Azevedo DIAS; Edward David MORENO; Raimundo Da Silva BARRETO
XII Simpósio em Sistemas Computacionais de Alto Desempenho
ISBN 9780769546148
|
PS
Computer Science (miscellaneous)
|