Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Concept Selection and Tradespace Exploration
Graph Chatbot
Related lectures (40)
From Tests to Proof
Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Software Engineering Fundamentals
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Software Development: Life Cycle & Methodologies
Explores the software development life cycle, methodologies, tech choices, agile practices, and common tech industry terms.
Software Testing: Avoiding and Fixing Bugs
Emphasizes the critical role of software testing in preventing and resolving bugs during development.
Object-Oriented Programming in Java
Covers object-oriented programming in Java through a case study on modeling watch mechanisms.
Automated Testing: Fuzzing and Sanitization
Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.
Programming Bugs: Understanding, Fixing, and Preventing
Explores programming challenges, debugging techniques, software testing, and security practices in software development.
Eggdrop Challenge: Pro-Tag-Shan Solution
Showcases the 'Eggdrop Challenge' project and the innovative Pro-Tag-Shan solution developed by students.
Testing Actor Systems
Explores testing actor systems, covering principles, Akka's Test Kit, dependencies, interaction with the parent, and actor hierarchies.
Identifying & Evaluating Business Opportunities
MOOC: Launching New Ventures
Discusses new venture creation, business opportunities, roadmap for opportunity exploitation, and evaluating target markets.
Testing Actor Systems
Explores testing actor systems, including verifying observable effects and interacting with parent actors.
Software Quality: Managing Defects and Testing Strategies
Log in to Mediaspace to watch this video
Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.
From Tests to Proof
Log in to Mediaspace to watch this video
Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Software Engineering Essentials
Log in to Mediaspace to watch this video
Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.
Verification and Validation: Testing and Risk Management
Log in to Mediaspace to watch this video
Explores testing methodologies, risk management, and the Flight Readiness Review process in systems engineering.
Software Development Processes: Agile Methods
Log in to Mediaspace to watch this video
Explores software development processes, comparing Waterfall model with Agile methods, focusing on Scrum, values, principles, and team roles.
Property-Based Testing: QuickChick
Log in to Mediaspace to watch this video
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Software Correctness: Testing and Verification
Log in to Mediaspace to watch this video
Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.
Software Engineering: Development Steps and Error Management
Log in to Mediaspace to watch this video
Covers the essential aspects of software engineering, focusing on understanding the steps of program development and error management.
Project Management: Portfolio Management
Log in to Mediaspace to watch this video
Focuses on project planning, execution, and key user involvement for effective project management.
Previous
Page 1 of 2
Next
