Recently Updated
Category
Cancel
Software Modelling and Design 16
- Software Modelling and Design Oct 11, 2023
- Unified Modelling Language (UML) Oct 17, 2023
- Use Case Diagrams in UML Oct 17, 2023
- Class Diagrams in UML Oct 17, 2023
- State Machine Diagrams in UML Oct 21, 2023
- Sequence Diagrams in UML Oct 22, 2023
- Activity Diagrams in UML Oct 22, 2023
- Architectural Design Oct 28, 2023
- Design Patterns Nov 2, 2023
- Data Modelling Nov 3, 2023
- Introduction to Formal Methods & Event-B Nov 19, 2023
- Introduction to Event-B Nov 19, 2023
- Relations and Functions in Event-B Nov 19, 2023
- Extension Refinement in Event-B Nov 28, 2023
- Proof-Based Verification in Event-B Dec 7, 2023
- Lists and Collections in Event-B Dec 7, 2023