Software Engineering Fundamentals

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 1 of 3

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

Data, big data, clouds and IoT

Explores data representation, databases, cloud computing, and challenges in the cloud environment.

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 Engineering: Best Practices

Covers tools and best practices for software writing, debugging, testing, and managing code.

Programming Language Security

Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.

Systems for Health, Security, Energy and the Environment

Covers the Swiss Research Program on Engineering Multi-Scale Systems for Health, Security, Energy, and the Environment.

Engineering Multi-Scale Systems

Introduces the Swiss Research Program focused on engineering multi-scale systems for health, security, energy, and the environment.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Automated Testing: Fuzzing and Sanitization

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Engineering the Future: Nano-Tera

Explores the Swiss Research Program Nano-Tera and its impact on engineering multi-scale systems for health, security, energy, and the environment.