Software maintenance

Applied sciences
Computer engineering
Software development
Software development process

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (11)

Software Development: Versioning and Dependencies

Emphasizes the importance of versioning and dependencies in software development, highlighting continuous evolution and the need for compatibility.

Property-Based Testing: QuickChick

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Software Correctness: Testing and Verification

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Software Development: Life Cycle & Methodologies

Explores the software development life cycle, methodologies, tech choices, agile practices, and common tech industry terms.

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

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.

Data modeling: Geographic Information Systems

Introduces data modeling in the context of Geographic Information Systems, covering the added value and methods used.

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.

Parameterized Types: Implementation and Inheritance Principles

Covers parameterized types, their implementation, advantages, weaknesses, and the principles of inheritance in programming.

Page 1 of 1