Clarindo Isaias Pereira Padua - Academia.edu (original) (raw)

Papers by Clarindo Isaias Pereira Padua

Research paper thumbnail of A logic synthesis approach to silicon compilation

Research paper thumbnail of MAQSEI - uma Metodologia de Avaliação de Qualidade de Software Educacional Infantil

Resumo: Este artigo apresenta uma Metodologia para Avaliacao da Qualidade de Software Educacional... more Resumo: Este artigo apresenta uma Metodologia para Avaliacao da Qualidade de Software Educacional Infantil, denominada MAQSEI, e as heuristicas tecnicas e pedagogicas que a fundamentam. O estudo envolveu conhecimentos em educacao e Engenharia de Usabilidade, que orientaram e forneceram parâmetros metodologicos visando a melhoria de processos de avaliacao de software educacional infantil. A metodologia e as heuristicas foram validadas por meio de testes com programas didaticos infantis prontos e em desenvolvimento, em um processo evolutivo, ajustando-as a cada teste. Elas podem ser utilizadas em avaliacoes formativas, colaborando para que o desenvolvedor descubra defeitos e modificacoes necessarias no programa, ou em avaliacoes somativas, com ferramenta de apoio a escolas, pais ou interessados na escolha do software educacional infantil a ser utilizado pelas criancas. Abstract: This paper presents a methodology for quality evaluation of children’s educational software and the heurist...

Research paper thumbnail of Especifica��o de Requisitos de Usabilidade utilizando-se o M�todo Desdobramento da Fun��o Qualidade

Research paper thumbnail of System Testing Automation: A Developer Perspective

Research paper thumbnail of A Comparative Study of Three Test Effort Estimation Methods

Revista Cubana De Ciencias Informaticas, May 23, 2014

Effort estimation is a big challenge for those trying to manage a project. In a software developm... more Effort estimation is a big challenge for those trying to manage a project. In a software development project, testing is essential to assure product quality. However, it is a time consuming activity, and its work must be estimated for successful project execution. In our research, we concentrate our efforts on comparing some known methods of test effort estimation. So, this paper aims to analyze three different test effort estimation methods and compare them with the effort spent on real projects. Firstly we compare two widely used effort estimation methods: Test Point Analysis (TPA) and Use Case Points (UCP). Thereafter, we create an artificial neural network (ANN) based on the TPA, trained to estimate the testing work in software development projects, and compare it with pure TPA, to check which of them results in better estimates. Analyzing the experiment results, we concluded that the neural networks gave the best results, followed by TPA and then UCP.

Research paper thumbnail of Usability and Information Visualization in Executive Information Systems – (EIS)

Research paper thumbnail of Desenvolvimento de Interface com Usu�rio Dirigida por Modelos com Gera��o Autom�tica de C�digo

Research paper thumbnail of Especificação de Requisitos de Usabilidade utilizando-se o Método Desdobramento da Função Qualidade

Research paper thumbnail of How to Welcome Software Process Improvement and Avoid Resistance to Change

Lecture Notes in Computer Science, 2010

Pressures for more complex products, customer dissatisfaction and problems related to cost and sc... more Pressures for more complex products, customer dissatisfaction and problems related to cost and schedule overruns increase the need for effective management response and for improvement of software development practices. In this context, cultural aspects can influence and interfere in a successful implementation of a software process improvement program. This paper explores cultural issues, discussing in a detailed way one de-motivator factor to implement successfully a software process improvement action. The analysis was carried out in a software development organization and provided some insights into how this organization would overcome it. We backed our studies conducting a process simulation. Our findings suggest that other than finance, technology and other issues, the cultural aspects should be among the first concerns to be taken into account when implementing a Software Process Improvement program. Our main contribution is to give evidences that a small change in the behavior of the software development team members can improve the quality of the product and reduce development rework.

Research paper thumbnail of An overview of the main design characteristics of simulation games in Software Engineering education

2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), 2011

Simulation games supporting students’ education and training are being described in an increasing... more Simulation games supporting students’ education and training are being described in an increasing number of works. Simulations are accepted as a complementary mode for the traditional teaching methods by stimulating and motivating learning through providing a realistic environment for the students to practice. They can engage students in a more enjoyable simulated experience of the real world. This article explores

Research paper thumbnail of ReMoFP: A Tool for Counting Function Points from UML Requirement Models

Advances in Software Engineering, 2011

Function Point Analysis (FPA) is a widely used technique for measuring software size. It measures... more Function Point Analysis (FPA) is a widely used technique for measuring software size. It measures software functionality from the user's perspective, usually based on a requirements description. In many software processes, these requirements are represented by UML models. Although there have been attempts to automate the measurement process, FPA counting requires a considerable amount of interpretation which, to be reliable, should be made by experts. On the other hand, fully manual counting methods usually fail to keep synchronized with the requirements model, since requirements frequently change during the development cycle. This paper describes an approach for counting FPA and a compliant tool. This approach makes use of UML requirement models. The tool, called ReMoFP (Requirement Model Function Point counter), leaves all the counting decisions to the analyst, but supports him by ensuring consistency with the requirements represented in the models. The ReMoFP was developed by...

Research paper thumbnail of An educational simulation model derived from academic and industrial experiences

2013 IEEE Frontiers in Education Conference (FIE), 2013

ABSTRACT Simulation games are gaining increased interest among academic researchers and practitio... more ABSTRACT Simulation games are gaining increased interest among academic researchers and practitioners where conventional teaching approaches are not adequate. In the Software Engineering field, simulation games are commonly used for enhancing the learning and understanding of complex themes such as software processes. This complexity is represented by intrinsic software development characteristics such as multiple feedback loops and cause-effect delays. One fundamental aspect for the development of a simulation game is the definition of its simulation model. A simulation model contains some dynamic features and phenomena of the system it represents. It typically involves a set of assumptions concerning the system operation and it is used to translate the underlying system model, with given inputs, producing its behavior pattern. In this work, we describe an approach to create an educational simulation model derived from academic and industrial experiences. We focus on the systematic activities executed during its development. The created model was applied in a Software Process Improvement simulation game, named SPIAL (Software Process Improvement Animated Learning Environment). A set of important issues were identified. Our work can help developers during the creation of simulation games for educational purposes.

Research paper thumbnail of Using UML Stereotypes to Support the Requirement Engineering: A Case Study

Computational Science and Its Applications – ICCSA 2012, 2012

In this paper we discuss the transition of an educational process to real-life use. Specifically,... more In this paper we discuss the transition of an educational process to real-life use. Specifically, a Requirements Engineering (RE) process was tailored and improved to comply with the organization business goals. We discuss challenges faced and proposed solutions, focusing on automation and integration support for RE activities. We use stereotypes to enhance UML diagram clarity, to store additional element properties, and to develop automated RE process support. Stereotypes are one of the core extension mechanisms of the Unified Modeling Language (UML). The benefits founds in their use in a software development organization support the claims that stereotypes play a significant role in model comprehension, reduce errors and increase productivity during the software development cycle.

Research paper thumbnail of Learning from students' mistakes in Software Engineering courses

2010 IEEE Frontiers in Education Conference (FIE), 2010

Abstract An important component of most Software Engineering courses is the software development ... more Abstract An important component of most Software Engineering courses is the software development team project. For most Software Engineering courses, the software development project provides to undergraduate students their best opportunity to learn ...

Research paper thumbnail of An evaluation of a model-based testing method for information systems

Proceedings of the 2008 ACM symposium on Applied computing - SAC '08, 2008

An Evaluation of a Model-Based Testing Method for Information Systems Pedro Santos-Neto DIE/UFPI ... more An Evaluation of a Model-Based Testing Method for Information Systems Pedro Santos-Neto DIE/UFPI Teresina/PI, Brazil pasn@ufpi.br Rodolfo F. Resende DCC/UFMG BH/MG, Brazil rodolfo@dcc.ufmg.br Clarindo Pádua DCC/UFMG BH/MG, Brazil clarindo@dcc.ufmg.br ...

Research paper thumbnail of A Method for Information Systems Testing Automation

Lecture Notes in Computer Science, 2005

Research paper thumbnail of Requirements for information systems model-based testing

Proceedings of the 2007 ACM symposium on Applied computing - SAC '07, 2007

Research paper thumbnail of FASENG: A framework for development of Software Engineering simulation games

2012 Frontiers in Education Conference Proceedings, 2012

ABSTRACT Simulation games can help teaching and learning in several areas of Software Engineering... more ABSTRACT Simulation games can help teaching and learning in several areas of Software Engineering. One important research issue is providing support for simulation games development, making the results of their adoption successful in Software Engineering courses. In this work, we identify a set of requirements focusing on some of the Constructivist learning theories. These requirements were used to evaluate Software Engineering simulation games. Based on these requirements, we created FASENG, a framework for development of Software Engineering simulation games. FASENG has three main components: simulation model, simulator, and simulation engine. Since there is a clear structural and conceptual separation among them, they can be reused in other development environments. In order to check the framework flexibility, we developed two distinct Software Engineering simulation games. The two main results of this research are a better understanding of Software Engineering simulation games requirements and the development of FASENG.

Research paper thumbnail of Challenges and issues in the development of a Software Engineering simulation game

2012 Frontiers in Education Conference Proceedings, 2012

ABSTRACT In Software Engineering courses, students are introduced to important theories and conce... more ABSTRACT In Software Engineering courses, students are introduced to important theories and concepts. However, these courses lack a practical opportunity for students to experience them more effectively. Even with the team-based project approach it is not possible to train students in all the real situations of a software development organization, due to the very nature of software applications and the large variety of organizational cultures. Simulation games are an appropriate complementary approach to the traditional educational techniques. Students' preparation can be improved by allowing them to practice, through a simulator, activities that are infeasible to practice during a Software Engineering course, due to restrictions of time and resources. Unfortunately, the creation of a simulation game is not a straightforward activity; it involves many different skills and addresses different viewpoints. In this work, we discuss the issues and challenges associated with the creation process of a Software Engineering simulation game. We adopted an incremental and iterative approach, where each step involves different knowledge, allowing us to point out a set of important aspects that should be taken into account during the development. These aspects can guide new developers and instructors in the design and selection of educational simulation games.

Research paper thumbnail of Software to support logic synthesis from behavioral specifications

Research paper thumbnail of A logic synthesis approach to silicon compilation

Research paper thumbnail of MAQSEI - uma Metodologia de Avaliação de Qualidade de Software Educacional Infantil

Resumo: Este artigo apresenta uma Metodologia para Avaliacao da Qualidade de Software Educacional... more Resumo: Este artigo apresenta uma Metodologia para Avaliacao da Qualidade de Software Educacional Infantil, denominada MAQSEI, e as heuristicas tecnicas e pedagogicas que a fundamentam. O estudo envolveu conhecimentos em educacao e Engenharia de Usabilidade, que orientaram e forneceram parâmetros metodologicos visando a melhoria de processos de avaliacao de software educacional infantil. A metodologia e as heuristicas foram validadas por meio de testes com programas didaticos infantis prontos e em desenvolvimento, em um processo evolutivo, ajustando-as a cada teste. Elas podem ser utilizadas em avaliacoes formativas, colaborando para que o desenvolvedor descubra defeitos e modificacoes necessarias no programa, ou em avaliacoes somativas, com ferramenta de apoio a escolas, pais ou interessados na escolha do software educacional infantil a ser utilizado pelas criancas. Abstract: This paper presents a methodology for quality evaluation of children’s educational software and the heurist...

Research paper thumbnail of Especifica��o de Requisitos de Usabilidade utilizando-se o M�todo Desdobramento da Fun��o Qualidade

Research paper thumbnail of System Testing Automation: A Developer Perspective

Research paper thumbnail of A Comparative Study of Three Test Effort Estimation Methods

Revista Cubana De Ciencias Informaticas, May 23, 2014

Effort estimation is a big challenge for those trying to manage a project. In a software developm... more Effort estimation is a big challenge for those trying to manage a project. In a software development project, testing is essential to assure product quality. However, it is a time consuming activity, and its work must be estimated for successful project execution. In our research, we concentrate our efforts on comparing some known methods of test effort estimation. So, this paper aims to analyze three different test effort estimation methods and compare them with the effort spent on real projects. Firstly we compare two widely used effort estimation methods: Test Point Analysis (TPA) and Use Case Points (UCP). Thereafter, we create an artificial neural network (ANN) based on the TPA, trained to estimate the testing work in software development projects, and compare it with pure TPA, to check which of them results in better estimates. Analyzing the experiment results, we concluded that the neural networks gave the best results, followed by TPA and then UCP.

Research paper thumbnail of Usability and Information Visualization in Executive Information Systems – (EIS)

Research paper thumbnail of Desenvolvimento de Interface com Usu�rio Dirigida por Modelos com Gera��o Autom�tica de C�digo

Research paper thumbnail of Especificação de Requisitos de Usabilidade utilizando-se o Método Desdobramento da Função Qualidade

Research paper thumbnail of How to Welcome Software Process Improvement and Avoid Resistance to Change

Lecture Notes in Computer Science, 2010

Pressures for more complex products, customer dissatisfaction and problems related to cost and sc... more Pressures for more complex products, customer dissatisfaction and problems related to cost and schedule overruns increase the need for effective management response and for improvement of software development practices. In this context, cultural aspects can influence and interfere in a successful implementation of a software process improvement program. This paper explores cultural issues, discussing in a detailed way one de-motivator factor to implement successfully a software process improvement action. The analysis was carried out in a software development organization and provided some insights into how this organization would overcome it. We backed our studies conducting a process simulation. Our findings suggest that other than finance, technology and other issues, the cultural aspects should be among the first concerns to be taken into account when implementing a Software Process Improvement program. Our main contribution is to give evidences that a small change in the behavior of the software development team members can improve the quality of the product and reduce development rework.

Research paper thumbnail of An overview of the main design characteristics of simulation games in Software Engineering education

2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), 2011

Simulation games supporting students’ education and training are being described in an increasing... more Simulation games supporting students’ education and training are being described in an increasing number of works. Simulations are accepted as a complementary mode for the traditional teaching methods by stimulating and motivating learning through providing a realistic environment for the students to practice. They can engage students in a more enjoyable simulated experience of the real world. This article explores

Research paper thumbnail of ReMoFP: A Tool for Counting Function Points from UML Requirement Models

Advances in Software Engineering, 2011

Function Point Analysis (FPA) is a widely used technique for measuring software size. It measures... more Function Point Analysis (FPA) is a widely used technique for measuring software size. It measures software functionality from the user's perspective, usually based on a requirements description. In many software processes, these requirements are represented by UML models. Although there have been attempts to automate the measurement process, FPA counting requires a considerable amount of interpretation which, to be reliable, should be made by experts. On the other hand, fully manual counting methods usually fail to keep synchronized with the requirements model, since requirements frequently change during the development cycle. This paper describes an approach for counting FPA and a compliant tool. This approach makes use of UML requirement models. The tool, called ReMoFP (Requirement Model Function Point counter), leaves all the counting decisions to the analyst, but supports him by ensuring consistency with the requirements represented in the models. The ReMoFP was developed by...

Research paper thumbnail of An educational simulation model derived from academic and industrial experiences

2013 IEEE Frontiers in Education Conference (FIE), 2013

ABSTRACT Simulation games are gaining increased interest among academic researchers and practitio... more ABSTRACT Simulation games are gaining increased interest among academic researchers and practitioners where conventional teaching approaches are not adequate. In the Software Engineering field, simulation games are commonly used for enhancing the learning and understanding of complex themes such as software processes. This complexity is represented by intrinsic software development characteristics such as multiple feedback loops and cause-effect delays. One fundamental aspect for the development of a simulation game is the definition of its simulation model. A simulation model contains some dynamic features and phenomena of the system it represents. It typically involves a set of assumptions concerning the system operation and it is used to translate the underlying system model, with given inputs, producing its behavior pattern. In this work, we describe an approach to create an educational simulation model derived from academic and industrial experiences. We focus on the systematic activities executed during its development. The created model was applied in a Software Process Improvement simulation game, named SPIAL (Software Process Improvement Animated Learning Environment). A set of important issues were identified. Our work can help developers during the creation of simulation games for educational purposes.

Research paper thumbnail of Using UML Stereotypes to Support the Requirement Engineering: A Case Study

Computational Science and Its Applications – ICCSA 2012, 2012

In this paper we discuss the transition of an educational process to real-life use. Specifically,... more In this paper we discuss the transition of an educational process to real-life use. Specifically, a Requirements Engineering (RE) process was tailored and improved to comply with the organization business goals. We discuss challenges faced and proposed solutions, focusing on automation and integration support for RE activities. We use stereotypes to enhance UML diagram clarity, to store additional element properties, and to develop automated RE process support. Stereotypes are one of the core extension mechanisms of the Unified Modeling Language (UML). The benefits founds in their use in a software development organization support the claims that stereotypes play a significant role in model comprehension, reduce errors and increase productivity during the software development cycle.

Research paper thumbnail of Learning from students' mistakes in Software Engineering courses

2010 IEEE Frontiers in Education Conference (FIE), 2010

Abstract An important component of most Software Engineering courses is the software development ... more Abstract An important component of most Software Engineering courses is the software development team project. For most Software Engineering courses, the software development project provides to undergraduate students their best opportunity to learn ...

Research paper thumbnail of An evaluation of a model-based testing method for information systems

Proceedings of the 2008 ACM symposium on Applied computing - SAC '08, 2008

An Evaluation of a Model-Based Testing Method for Information Systems Pedro Santos-Neto DIE/UFPI ... more An Evaluation of a Model-Based Testing Method for Information Systems Pedro Santos-Neto DIE/UFPI Teresina/PI, Brazil pasn@ufpi.br Rodolfo F. Resende DCC/UFMG BH/MG, Brazil rodolfo@dcc.ufmg.br Clarindo Pádua DCC/UFMG BH/MG, Brazil clarindo@dcc.ufmg.br ...

Research paper thumbnail of A Method for Information Systems Testing Automation

Lecture Notes in Computer Science, 2005

Research paper thumbnail of Requirements for information systems model-based testing

Proceedings of the 2007 ACM symposium on Applied computing - SAC '07, 2007

Research paper thumbnail of FASENG: A framework for development of Software Engineering simulation games

2012 Frontiers in Education Conference Proceedings, 2012

ABSTRACT Simulation games can help teaching and learning in several areas of Software Engineering... more ABSTRACT Simulation games can help teaching and learning in several areas of Software Engineering. One important research issue is providing support for simulation games development, making the results of their adoption successful in Software Engineering courses. In this work, we identify a set of requirements focusing on some of the Constructivist learning theories. These requirements were used to evaluate Software Engineering simulation games. Based on these requirements, we created FASENG, a framework for development of Software Engineering simulation games. FASENG has three main components: simulation model, simulator, and simulation engine. Since there is a clear structural and conceptual separation among them, they can be reused in other development environments. In order to check the framework flexibility, we developed two distinct Software Engineering simulation games. The two main results of this research are a better understanding of Software Engineering simulation games requirements and the development of FASENG.

Research paper thumbnail of Challenges and issues in the development of a Software Engineering simulation game

2012 Frontiers in Education Conference Proceedings, 2012

ABSTRACT In Software Engineering courses, students are introduced to important theories and conce... more ABSTRACT In Software Engineering courses, students are introduced to important theories and concepts. However, these courses lack a practical opportunity for students to experience them more effectively. Even with the team-based project approach it is not possible to train students in all the real situations of a software development organization, due to the very nature of software applications and the large variety of organizational cultures. Simulation games are an appropriate complementary approach to the traditional educational techniques. Students' preparation can be improved by allowing them to practice, through a simulator, activities that are infeasible to practice during a Software Engineering course, due to restrictions of time and resources. Unfortunately, the creation of a simulation game is not a straightforward activity; it involves many different skills and addresses different viewpoints. In this work, we discuss the issues and challenges associated with the creation process of a Software Engineering simulation game. We adopted an incremental and iterative approach, where each step involves different knowledge, allowing us to point out a set of important aspects that should be taken into account during the development. These aspects can guide new developers and instructors in the design and selection of educational simulation games.

Research paper thumbnail of Software to support logic synthesis from behavioral specifications