Contents What is a Use Case Diagram? Key Concepts in Use Case Diagrams How to Draw a Use Case Diagram Example Possible Mistakes with Use Case Diagrams What is a Use Case Dia...
Use Case Diagrams in UML
Unified Modelling Language (UML)
UML, or Unified Modeling Language, is a standardized visual language designed to model and document software systems. It plays a pivotal role in software engineering, bridging the gap between conce...
Büchi Automaton
Büchi automaton is a type of ω-automaton (omega automaton) that accepts infinite strings. Named after its creator, Julius Richard Büchi, this automaton is fundamental to many areas in formal verifi...
Excerpts from "Clean Code"
You are reading this book for two reasons. First, you are a programmer. Second, you want to be a better programmer. Good. We need better programmers. Remember that code is really the langua...
What is Clean Code?
Yes, we’re a bunch of Code Monkeys, jumping up and down, thinking we’ve learnt the true meaning of coding. Unfortunately, whenever we grab a few sour peaches and sit proudly on a branch, we’re o...
Software Modelling and Design
Contents What is Modelling/Design? Why Do We Model Software? The design/modelling process What is Good Design? Design Principles Design Principle 1: Modularisation ...
Modelling Programs with Transition Systems
In the realm of theoretical computer science and formal methods, understanding system behavior is crucial. One of the foundational models used for this purpose is the Transition System. Content...
Introduction To Agile Project Management
Contents What is Agile? When to use Agile? Traditional approaches Characteristics of traditional approaches Issues with the Traditional Approaches Agile Ch...
Automated Software Verification
This module aims is to give an understanding of Automated Software Verification: key principles and techniques use of a range of verification tools both formal verification and testing cover...
Introduction to Project Management
Contents What Is a Project? Project Attributes Project Constraints Project Vs. Operation Examples of Projects What is Project Management? ...