Comments are not like Schindler’s List. They are not “pure good.” Indeed, comments are, at best, a necessary evil. If our programming languages were expressive enough, or if we had the talent to...
Clean Code: Comments
Clean Code: Functions
Functions form the building blocks of our software. Their importance cannot be overstated. Master programmers think of systems as stories to be told rather than programs to be written. They use...
Class Diagrams in UML
Contents What is a Class Diagram? Main Components of a Class Diagram Relationships in Detail of a Class Diagram How to Draw a Class Diagram? Example: How to Draw a Class...
Use Case Diagrams in UML
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...
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...