Æȷοì
Adolfo Neto
Adolfo Neto
´Ù¸¥ À̸§Adolfo Gustavo Serra Seca Neto, Adolfo Gustavo S. Seca Neto
utfpr.edu.brÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
The effects of test driven development on internal quality, external quality and productivity: A systematic review
W Bissi, AG Serra Seca Neto, MC Figueiredo Pereira Emer
Information and Software Technology 74 (June 2016), 45-54, 2016
1072016
Teaching TDD, the coding dojo style
RB Da Luz, AGSS Neto, RV Noronha
2013 IEEE 13th International Conference on Advanced Learning Technologies ¡¦, 2013
212013
Usando Dojos de Programação para o Ensino de Desenvolvimento Dirigido por Testes
RB Luz, A Neto
152012
INVESTIGAÇÃO EXPERIMENTAL E PRÁTICAS ÁGEIS: AMEAÇAS À VALIDADE DE EXPERIMENTOS ENVOLVENDO A PRÁTICA ÁGIL PROGRAMAÇÃO EM PAR
VCM Lima, AGSS Neto, MCFP Emer
Revista Eletrônica de Sistemas de Informação ISSN 1677-3071 doi: 10.5329 ¡¦, 2014
132014
Investigação experimental e Práticas ágeis: ameaças à validade de experimentos envolvendo a prática ágil Programação em Par
VCM Lima, AG Serra Seca Neto, MC F. P. Emer
Workshop Brasileiro de Métodos Ágeis, 2012
132012
Effective prover for minimal inconsistency logic
AGSS Neto, M Finger
IFIP International Conference on Artificial Intelligence in Theory and ¡¦, 2006
132006
A KE tableau for a logic of formal inconsistency
A Neto, M Finger
Proceedings of TABLEAUX 7, 2007
112007
A survey on agile practices and challenges of a global software development team
L Tatiane, AG Serra Seca Neto, N Puchalski
10th Brazilian Workshop on Agile Methods (WBMA), 2019
10*2019
Concerns and Limitations in Agile Software Development: A Survey with Paraguayan Companies
M Salinas, AGSS Neto, MCFP Emer
8th Brazilian Workshop on Agile Methods (WBMA), 2017
102017
An Approach of Software Requirements Elicitation Based on the Model and Notation Business Process (BPMN)
MA Chiarello, MCFP Emer, AGSS Neto
Lecture Notes on Software Engineering 2 (1), 65, 2014
82014
A Multi-Strategy Tableau Prover
A Neto, M Finger
SeMe-2005. Workshop ¡°Semantics and Meaning¡±, IFIP International Federation ¡¦, 2005
82005
Implementing a multi-strategy theorem prover
AGSS Neto, M Finger
Proceedings of the V ENIA (Encontro Nacional de Inteligência Artificial ¡¦, 2005
62005
Towards an efficient prover for the C1 paraconsistent logic
A Neto, CAA Kaestner, M Finger
Electronic Notes in Theoretical Computer Science 256, 87-102, 2009
52009
Short Datathon for the Interdisciplinary Development of Data Analysis and Visualization Skills
MN Salinas, MCFP Emer, AGSS Neto
12th International Workshop on Cooperative and Human Aspects of Software ¡¦, 2019
42019
Agile requirements engineering practices: a survey in Brazilian software development companies
JC Barata, D Lisboa, LC Bastos, A Neto
Brazilian Workshop on Agile Methods, 110-119, 2021
32021
Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover
A Neto, M Finger
Anais da II Jornada do Conhecimento e da Tecnologia do Univem, Mar©¥lia-SP, 2005
32005
Jogo Sério como Facilitador de Denúncias e Detecção de Fraudes em Órgãos Públicos Governamentais
JA Rangel, MC Emer, A Neto
SBGames - Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017
22017
KEMS-A Multi-Strategy Tableau Prover
A Neto, M Finger
Proceedings of the VI Best MSc Dissertation/PhD Thesis Contest (CTDIA 2008 ¡¦, 2008
22008
An Object-Oriented Implementation of a KE Tableau Prover, November 2003
AGSS Neto
https://www.academia.edu/10452739/An_Object ¡¦, 2003
2*2003
Supporting to the teaching and learning process in object orientation during the construction of class diagrams
CM Felisbino, AGSS Neto, LC Bastos
Proceedings of the XXXII Brazilian Symposium on Software Engineering, 338-347, 2018
12018
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20