CE-230
CE-230
2023.2Software Quality, Reliability and Safety
Quality, reliability and safety engineering practices for software systems.
# Courses
Graduate courses taken at ITA, with exercises, labs and reports.
- CE-245CE-2452023.1
Information Technology
Course offered by ITA in the graduate department. It aims to conduct studies on information technology.
# presentations
- CT-234CT-2342023.1
Data Structures, Algorithm Analysis and Structural Complexity
Advanced data structures, algorithm analysis and computational complexity.
- CE-2352022.2
Design and analysis of real-time embedded systems: scheduling and hardware/software integration.
- CE-2372022.2
Advanced software testing: mutation, model-based and specialized verification techniques.
- CE-240CE-2402022.1
Database Systems Design
Modeling and design of database systems, including distributed data aspects.
- CE-299CE-2992022.1
Software Testing
Fundamentals of software testing: coverage criteria and quality assurance.
- CE-263CE-2632021.2
Big Data Techniques
Storage, processing and analysis pipelines for large-scale data.
- PO-232PO-2322021.2
Graph Theory
Graphs, graph algorithms and their applications to modeling and optimization.
- SIS-10SIS-102021.1
Security Analysis of Aeronautical and Space Systems
Safety and security assessment of critical aeronautical and space systems.
- CE-299CE-2992019.2
Artificial Intelligence for Cybersecurity
Machine-learning techniques applied to threat detection and security analysis.
- MAT-71MAT-712019.1
Introduction to Differential Geometry
Curves, surfaces and the differential geometry behind geometric modeling and analysis.