Software Engineering Laboratory

Recommended Prerequisites

Conhecimentos de base de engenharia de software e de programação.

Teaching Methods

Theoretical-practical classes: Exposure to advanced software engineering methodologies and techniques, introducing the concepts of the program content using practical examples and contextualizing the relevance of the methodologies in the global scope of the software process. Application of methodologies and techniques studied to a project with mentoring. A student works on a project, applying and evaluating the impact of techniques from each of the key areas studied. The project consists of playing the role of consultant in the work of other students (e.g., Project Management), applying techniques to an open source project or to a project approved by the teacher.

Learning Outcomes

The aim of this course is to offer a comprehensive perspective and consolidate the software engineering concepts, emphasizing previously studied key areas: software requirements and specification, software architecture, automated software engineering, quality, and systems integration.

Upon completion of the unit, students should possess advanced knowledge of software engineering methodologies and techniques, understand the cost-benefit analysis of each, and exhibit critical evaluation skills to assess their application impact, utilizing metrics such as frequency of new feature deployment, time between acceptance and deployment, failure frequency in new developments, and service recovery time post-failure.

Work Placement(s)

No

Syllabus

1-Advanced topics in automated software engineering.

2-Advanced elements of software requirements and specification.

3-Software architecture advancements.

4-Advanced elements of software quality.

5-Perspectives of advanced systems integration.

Head Lecturer(s)

Mário Alberto da Costa Zenha Rela

Assessment Methods

Assessment
Exam: 25.0%
Project: 75.0%

Bibliography

Automating DevOps with GitLab CI/CD Pipelines: Build efficient CI/CD pipelines to verify, secure, and deploy your code using real-life
examples,
Christopher Cowell, Nicholas Lotz, Chris Timberlake
Packt publishing 2023
ISBN-13 : 978-1803233000
Program proofs
K. Rustan M. Leino
Paperback
ISBN: 9780262546232
Pub date: March 7, 2023
Publisher: The MIT Press
Software Requirements Essentials
Karl Wiegers, Candase Hokanson, 175pp.
Addison-Wesley 2023
ISBN-10: 0-13-819028-3.