Luiz Alberto Vieira Dias

According to our database1, Luiz Alberto Vieira Dias authored at least 48 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Could a Conversational AI Identify Offensive Language?
Inf., 2021

2020
Q-Scrum: A Framework for Quality in Safety-Critical Development.
Proceedings of the Quality of Information and Communications Technology, 2020

2018
Particle Collision Algorithm Applied to Automatic Estimation of Digital Elevation Model From Images Captured by UAV.
IEEE Geosci. Remote. Sens. Lett., 2018

Using Monte Carlo method to estimate the behavior of neural training between balanced and unbalanced data in classification of patterns.
Artif. Intell. Res., 2018

Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

2017
Applying agile methods to aircraft embedded software: an experimental analysis.
Softw. Pract. Exp., 2017

2014
A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

BPM Model of GQIMP for ISO 9001: 2008 Supported by CASE Tools.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

A Chi-Square Methodology Applied in Deviations Control of Project Plan to Support the RIMAM Model.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

A Case Study on Pairwise Testing Application.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Applying Agile Method on Academic Access and Fraud Control System.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Applying Acceptance Test Driven Development to a Problem Based Learning Academic Real-Time System.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Interdisciplinarity and Agile Development: A Case Study on Graduate Courses.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Applying Interdisciplinarity and Agile Methods in the Development of an Embedded System.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Adaptive Game AI Architecture with Player Modeling.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

2013
Applying Interdisciplinarity and Agile Methods in the Development of a Smart Grids System.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

A Meta-algorithm for Planning Optimization in a software Production Line.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

A Sampling Diagnostics Model for Neural System Training Optimization.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

CARD-RM: A Reference Model for Airborne Software.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Applying Testing to Enhance Software Product Quality.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Interdisciplinarity in Computer Science: A Case Study on Graduate Courses.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Computer Science and Interdisciplinarity: A Case Study on an Undergraduate Program.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Range Analyzer: An Automatic Tool for Arithmetic Overflow Detection in Model-Based Development.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

2012
Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

Developing a Smart Grids System as a PBL with Agile Method on Computer Engineering Courses.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

A Formal Control Model for Risks Management within Software Projects.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

2011
An approach for modeling a formal Use Case Type at early development phase without loosing abstraction.
Innov. Syst. Softw. Eng., 2011

Problem Based Learning a Practical Approach for Software Engineering Interdisciplinary Teaching.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Modeling and Analyzing Real-Time Embedded Software for a Data Collection System.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Applying MDA Approach to Create Graphical User Interfaces.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Effectively Testing for a Software Product Line with OTM3 Organizational Testing Management Maturity Model.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

2010
Software Product Measurement and Analysis in a Continuous Integration Environment.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Formal Approach Use to Choose a Software Manufactoring Cell's SDLC.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Organizational Testing Management Maturity Model for a Software Product Line.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A Process for Gathering Prospective Use Cases from Business Modeling.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A UML Extension to Graphically Represent Aspect Oriented Systems Perspectives.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

An Algorithm Model to Mapping Mealy Machines for a Software Manufacture Cell Petri Net.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

ETL Process Model for a Manufacture Cells Production Line Integration.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Process Model for Decision Making Using GQM approach.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A Methodology for Assessment Database According to ISO 9126.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009
Integrating Amazonic Heterogeneous Hydrometeorological Databases.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

A Desktop Environment for River Hazards Monitoring.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Design Patterns Reuse for Real Time Embedded Software Development.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Final Inspection for Design Pattern Homologation Using a Real Time Embedded Software in a Production Line.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Using GQM Hypothesis Restriction to Infer Bayesian Network Testing.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Systematic and Formal Approach to get a Domain Specific Language.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Using GQM for Testing Design Patterns in Real-Time and Embedded Systems on a Software Production Line.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008
Proposing a Formal Method to Reduce RTS Logical Model Complexity.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008


  Loading...