Skip to main content

Alberto Dias

Followers

20

Following

13

Co-authors

12

Public Views

Interests

Uploads

Papers by Alberto Dias

Using GQM for Testing Design Patterns in Real-Time and Embedded Systems on a Software Production Line

by Denis Montini and Alberto Dias

University. This PA was used to eliminate systematic error cases listed in a Technical Report (TR... more University. This PA was used to eliminate systematic error cases listed in a Technical Report (TR) generated by CAR. An information system model was created to allow the elimination of defects, errors, and failures in a design pattern named IO Manager, during the test phase, and before its publication in a components library. The prototype was created using Rational Rose RealTime (RRRT) with focus on verification tests. It provided a quality assessment to the IO Manager design pattern. The use of this methodology was based on GQM and CAR along with the information process system model. The developed prototype aimed to monitor errors on design pattern tests in real-time embedded system of a software production line.

Inspeção Final para homologação de design patterns em uma linha de produção de software embarcado de tempo real

by Denis Montini, Alberto Dias, and Danilo D Fernandes

Applying Acceptance Test Driven Development to a Problem Based Learning Academic Real-Time System

by Etiene Lamas, Luiz Felipe S I M Õ E S Hoffmann, Alberto Dias, and Adilson Cunha

2014 11th International Conference on Information Technology: New Generations, 2014

ABSTRACT This paper focuses on the importance of test driven development, in an interdisciplinary... more ABSTRACT This paper focuses on the importance of test driven development, in an interdisciplinary academic case study, involving unauthorized access and fraud. In it, Problem Based Learning (PBL) enabled the organization of an environment for diverse knowledge and skills, favorable to experimentation and prototyping of new models, methods, techniques, and tools. The application of the principles of agile methods aimed at overcoming difficulties related to the computer systems development, such as requirement changes, uncertainties, and risks, in order to improve quality. Unlike traditional methodologies, tests were used since the beginning of the development lifecycle with Acceptance Test Driven Development (ATDD). The agile testing quadrants guided the categorized elaboration of tests during unit testing, integration testing, system testing, and acceptance testing phases. The main contribution of this article was the integrated application of PBL, ATDD, and agile development in the case study of a Real-Time Embedded System for Unauthorized Access Control and Fraud Detection (Sistema Embarcado de Tempo Real para Controle de Acessos Indevidos e Deteccao de Fraudes – SETRAIF). Keywords-unauthorized access control and fraud detection; problem based learning; agile methods; acceptance test driven development; agile testing quadrants I. INTRODUCTION Financial institutions lose annually billions of dollars resulting from unauthorized access and fraud on electronic commerce transactions. Fraudsters and cybercriminals are often ahead of these companies&#39; technological security layers. The challenge arises in developing preventive solutions and forms of authentication without hindering access to the offered services [1].

Estudo de Caso de uma estratégia de integração de middleware para um serviço SOA de Gerenciamento e Controle de Fábrica de Software

by Denis Montini and Alberto Dias

cunha@ita.br

Reutilizando padrões de projeto para desenvolvimento de software embarcado de tempo real

by Denis Montini, Alberto Dias, and Adilson Cunha

A Meta-algorithm for Planning Optimization in a software Production Line

by Denis Montini, Luiz Dias, Alvaro Neto, Alberto Dias, and Adilson Cunha

2013 10th International Conference on Information Technology: New Generations, 2013

Nowadays there are various forms for performing software design, planning, and manufacturing.

METODOLOGIA DE ANÁLISE DE CAUSAS E SOLUÇÕES (CAR) PARA A IDENTIFICAÇÃO DE PROBLEMAS EM PROCESSOS DE SOFTWARE

by Denis Montini and Alberto Dias

(0xx11) -8148-0795

O teste de hipótese da restrição de escopo de uma Inferência de Redes Bayesianas pela utilização do GQM

by Alberto Dias and Denis Montini

PhD. Paulo Marcelo Tasinaffo (ITA) tasinafo@ita.br PhD. Luiz Alberto Vieira Dias (ITA) vdias@ita.... more PhD. Paulo Marcelo Tasinaffo (ITA) tasinafo@ita.br PhD. Luiz Alberto Vieira Dias (ITA) vdias@ita.br Dsc. Adilson Marques da Cunha (ITA) cunha@ita.br Resumo: Para a definição do escopo de uma rede bayesiana propôs-se a utilização de uma técnica complementar para restringir o alcance da modelagem pela utilização dos conceitos de GQM. Esta hipótese testa a possibilidade de se relacionar a causa e efeito com as probabilidades condicionais. O conceito de uma rede bayesiana pôde ser relacionado ao conceito de um caso particular de grafo o acíclico direcionado -GAD, no qual cada um dos nós representam variáveis discretas aleatórias e os arcos direcionados ilustrados pelas relações de causa e efeito entre tais variáveis. Assim, pôde-se considerar uma rede Bayesiana como um instrumento gráfico que restringe o problema que incorpora uma estrutura de dados relacionados através do aplicativo de computador Netica é um software básico para implementação de redes bayesianas. Palavras-chave: Fábrica de Software, Células de Manufatura, GQM, Inspeção Final, Teste, Redes Bayesisnas.

CASE’S STUDY OF A CORPORATE STRATEGY DATABASE SYSTEM’S INCREMENTAL’S DESENVELOPMENT

by Denis Montini, Alberto Dias, and Daniela da Silva

This paper tackles the application of an interactive and iterative heuristics method to develop a... more This paper tackles the application of an interactive and iterative heuristics method to develop and integrate median to large database systems. It starts by describing the development and integration process of database applications into several subject databases. Then subject databases are integrated into two different corporate databases. Finally, the two corporate databases are integrated into just one holding database. The consolidation process from database applications through subject and corporate databases up to a holding database level has resulted in a data warehouse project equivalent to CMMi level 3. The method applied on a case study has shown an increasing process of development efficiency reducing defects, errors, and faults during the software production process. The major finding was that database systems development for corporations or join ventures requires a robust and structured method aiming the incremental integration of database application systems.

Modelo para Análise de Riscos em Projetos de Software (MARPS)

by Denis Montini and Alberto Dias

cunha@ita.br RESUMO Este artigo propõe um Modelo de aplicação para Análise de Riscos que integra ... more cunha@ita.br RESUMO Este artigo propõe um Modelo de aplicação para Análise de Riscos que integra um plano de ação que abrange os níveis, estratégicos, táticos e operacionais sugeridos pela análise SWOT, no entanto o conceito clássico SWOT foi adaptado para projetos de sofware. A empresa estudada aplicou aos projetos de software um plano de qualidade referenciado com modelos CMMI e ISO-9126. Neste estudo de caso houve a necessidade de se utilizar uma técnica que permitisse incorporar os conceitos de quadrantes da SWOT com medidas escalares. Propôs-se a indexação da SWOT com a Lógica Paraconsistente Anotada Bivalorada -LPA2v para resolver a tarefa de representar graficamente de uma forma escalar as informações quantificadas e qualificadas.

Um meta-algoritmo para otimização de planejamento em linha de produção de software

by Alberto Dias and Denis Montini

Resumo ⎯ Existem hoje diversas formas para a realização de planejamento de projetos em manufatur... more Resumo ⎯ Existem hoje diversas formas para a realização de planejamento de projetos em manufatura de software e cada uma dessas maneiras de planejar necessita de uma definição adequada de um processo metrológico para atingir seu objetivo de previsão. Nesta investigação, a área de pesquisa é de algoritmos de Inteligência Artificial aplicada ao dimensionamento de projetos para linhas de produção caracterizadas como células de manufatura. Este tipo de abordagem para o dimensionamento de projeto visou melhorar o entendimento e a assertividade no planejamento da operação, por meio da utilização de um Agente Inteligente. O Agente Inteligente proposto foi orientado por modelo e objetivou a identificação da capacidade instalada de produção de código em uma linguagem de programação específica.

BPM Model of GQIMP for ISO 9001:2008 Supported by CASE Tools

by Gustavo Matuck, Denis Montini, and Alberto Dias

2014 11th International Conference on Information Technology: New Generations, 2014

ABSTRACT -This paper describes a methodology which combines Goals, Questions, Indicators, Measure... more ABSTRACT -This paper describes a methodology which combines Goals, Questions, Indicators, Measures and Procedures (GQIMP), aimed at the implementation of ISO9001, to structure the operation of a Service Center, in a context of Business Process Modeling (BPM). The methodology GQIMP was structured based on BPM approach. In this case, the BPM modeling was used to define the scope of Service Centers. The GQIMP methodology is a form of integration that uses a heuristic process of Causal Analysis and Resolution (CAR). In this context, a CAR was used to identify the necessary components to enable BPM Service Centers. The conceived model was systematized by means of a CASE tool which allowed the integration of Quality Management System (QMS) in an integrated way into a ISO 9001:2008 real case. The results through the selection of this strategy presents is lean and concise, for obtaining ISO certification. In this context, this model is driven by process indicators that support a CASE tools instrumentalization.

A Formal Control Model for Risks Management within Software Projects

by Adilson Cunha, Denis Montini, and Alberto Dias

2012 Ninth International Conference on Information Technology - New Generations, 2012

This paper presents a proposed Formal Control Model (FCM) using a Colored Petri Net (CPN) and an ... more This paper presents a proposed Formal Control Model (FCM) using a Colored Petri Net (CPN) and an inspection form for risks management within a software project. The basis for this model was the risk areas of the Capability Maturity Model Integration for Software Development (CMMI-DEV). The integration of risk elements from a formally defined quality model using a graphical and mathematical modeling tool has provided risks management. On the context of a Management Information System (MIS), an FCM prototype was developed to reduce human inference dependences, supporting organizational goals to track critical points for decision makers. The major contribution of this paper was the FCM conceptualization and application. The proposed model was applied to a project within the financial department of an enterprise CMMI level 5. It was able to identify, control, and manage risks of software development. At the end, a successful case study was performed involving the two experiments of Project Planning (PP) and Risk Management (RSKM). Their assessments have shown that after the proposed FCM execution, PENDING activities were completely fixed.

UMA ESTRATÉGIA PARA DESENVOLVIMENTO DE SISTEMA DE BANCO DE DADOS CORPORATIVOS: ESTUDO DE CASO

by Denis Montini, Alberto Dias, and Adilson Cunha

Este estudo de caso aborda a aplicação de um método iterativo, integrado e incremental baseado em... more Este estudo de caso aborda a aplicação de um método iterativo, integrado e incremental baseado em heurísticas para o desenvolvimento de um projeto de sistema de bancos de dados. Para isso, aplicativos de banco de dados foram desenvolvidos e integrados, inicialmente, no nível setorial, em seguida no nível corporativo e posteriormente no nível de uma empresa holding. A consolidação dos aplicativos de banco de dados no nível setorial até o nível holding resultou no projeto de uma data warehouse de CMMI nível 3. O trabalho apresenta o aumento da eficiência no processo de desenvolvimento e a redução da probabilidade de ocorrência de defeitos, erros e falha na produção de um software. Adicionalmente, este artigo demonstra que o desenvolvimento de um sistema para uma Corporação ou Join Venture requer um conjunto de processos e métodos estruturados, que visam à integração incremental de sistemas aplicativos de banco de dados. Palavras-chave: Banco de Dados Corporativos, Desenvolvimento de S...

Inspeção Final para homologação de design patterns em uma linha de produção de software embarcado de tempo real

by Adilson Cunha, Danilo D Fernandes, Denis Montini, and Alberto Dias

A Model-Driven Method for Documentation and Analysis of Software-Intensive Systems Requirements

by Adilson Cunha, Denis Montini, and Alberto Dias

General Terms: Algorithms, Management, Documentation, Design, and Languages.

Applying Interdisciplinarity and Agile Methods in the Development of a Smart Grids System

by Adilson Cunha, Ciro Fernandes Matrigrani, Eliezer Segeti, Gustavo Matuck, Alberto Dias, and Sebastiao Cunha

2013 10th International Conference on Information Technology: New Generations, 2013

Systems; Software Quality, Reliability, and Safety; and Advanced Topics in Software Testing. Duri... more

A Model-Driven Method for Documentation and Analysis of Software-Intensive Systems Requirements

by Adilson Cunha, Denis Montini, and Alberto Dias

General Terms: Algorithms, Management, Documentation, Design, and Languages.

Development of a Test-Driven Prototype Using PBL in an Interdisciplinary Scenario

by Etiene Lamas, Luiz Felipe S I M Õ E S Hoffmann, Alberto Dias, and Adilson Cunha