Contents What is Modelling/Design? Why Do We Model Software? The design/modelling process What is Good Design? Design Principles Design Principle 1: Modularisation ...
Chang Wan
Cancel
Software Modelling and Design
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? ...
Computer Science Terminology in English and Chinese
In many specialised fields, there are specialised technical terminologies. People use specific terminologies to mean specific things. This blog shows some common computer terminology in English an...
What is Software Engineering?
Contents Some definitions of Software Engineering What is Software Engineering? What is it different from other forms of engineering? Importance of software engineering Essential...
《万历十五年》摘录——李贽篇
李贽是儒家的信徒，也是“离经叛道”的异类，看到了种种的不足，但是又找不到出路。他不信佛教，却剃发为僧，跟那个时代显得格格不入。 目录 独特的思想家 “离经叛道”的异类 与时代格格不入的历史观 狱中自刎 从个人的角度来讲，李贽的不幸，在于他活的时间太长。如果他在 1587 年即万历十五年，也就是在他剃度为僧的前一年离开人世，四百年以后，很...
Graph Traversal: Breadth-First Search and Depth-First Search
Graph traversal is a fundamental aspect of working with graph data structures, involving the process of visiting all vertices in a graph in a systematic manner. Two of the most widely used traversa...
Graphs: Modelling Pairwise Relations
Graphs are a fundamental data structure in computer science and mathematics, used to model pairwise relations between objects. They are widely applicable in various fields such as network analysis,...
