Concept
Software maintenance
Related lectures (20)
Stainless Tutorial: Verification of Scala Code
Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.
Disasters, Successes, and Inductive Invariants
Explores software disasters, successful verifications, transition systems, and invariants in systems.
Introductory Concepts: Statistics and Engineering Development
Covers statistics basics, engineering roles, and development cycles with practical examples.
Zenodo: a general purpose open-access repository
Covers Zenodo, a general-purpose open-access repository developed under the European OpenAIRE program and operated by CERN, emphasizing the importance of publishing data and its key features.
Software Development Processes: Agile Methods
Explores software development processes, comparing Waterfall model with Agile methods, focusing on Scrum, values, principles, and team roles.
Software Quality: Managing Defects and Testing Strategies
Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.
Software Development: Debugging, Testing, and Code Management
Explores program development, debugging, testing, and code management best practices for reliable software.
Quantum Corrective Codes
Covers quantum corrective codes, error elimination, redundancy, classical coding, and parity matrices.