https://github.com/curiousci/software-engineering

Software Engineering course @ Sapienza Università di Roma
https://github.com/curiousci/software-engineering

formal-methods software-engineering

Last synced: 9 months ago
JSON representation

Software Engineering course @ Sapienza Università di Roma

• Host: GitHub
• URL: https://github.com/curiousci/software-engineering
• Owner: CuriousCI
• License: gpl-3.0
• Created: 2024-12-21T15:06:39.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2025-03-04T08:57:18.000Z (10 months ago)
• Last Synced: 2025-03-04T09:36:04.123Z (10 months ago)
• Topics: formal-methods, software-engineering
• Language: Typst
• Homepage:
• Size: 6.3 MB
• Stars: 15
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Software Engineering

Software Engineering course @ Sapienza Università di Roma

## Content

The guide has 7 sections:

- formal definitions for *software models* 

- specific `C++` tips & tricks for the exam

- tips for debugging with `gdb`

- a discussion of the examples seen during the lectures

- a typical exam solution

- a library designed for the lab exam

- extras (interesting software engineering tools)