Home

Software development process

Applied sciences
Computer engineering
Software development
Software development process

Related lectures (27)

About
Privacy
Disclaimer

Graph Chatbot

Page 2 of 3

Software Correctness: Testing and Verification

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

Additive Manufacturing: Space Mechanisms

Explores additive manufacturing for space mechanisms, covering 3D printing technologies, materials, design rules, and applications in space.

Property-Based Testing: Advanced Techniques and Applications

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Programming Bugs: Understanding, Fixing, and Preventing

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

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

From Tests to Proof

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

Game Design: Prototyping & Playtesting

Explores the iterative design process, different types of prototypes, playtester types, and the importance of constant testing and feedback.

Testing and Debugging

Explores the history of computing, automated testing, TDD, test coverage, bug reports, and debugging.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Concept Selection and Tradespace Exploration

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.