Items where Author is "Hoang, Son"

Event-B Model for a Dentist Appointment System

MULTI elevator coursework

ECS Sim Coursework for AY2023-24

Coursework 2: Event-B modelling of an auction system

Coursework 1 for AY2022-23. UML Modelling for "An Online Auction Service".

ECS Orchestra Coursework for AY2022-23

Coursework descriptions for MULTI elevator system.

Coursework 1. Requirements Analysis, Specification, and Design of a COVID vaccination tracking system

Ground Controllers 9 - File Reader

Ground Controllers 8 - Inheritance.

This repository contains some sample solutions for the Coursework "Tower of Monsters". The solutions are from Michael Richards and Andrei Vasile showing some creative interface for the game.

ECS Building Defence Coursework description for COMP1202 - Programming I (AY2021-22).

Ground Controllers 7 - Testing a Tax Calculator

Ground Controllers 6 - An exercise on inheritance.

Ground Controllers 5 - An exercise with HashMap and String.

Ground Controllers 4 - Exercises about loops and arrays

Ground Controllers 3 - Text Book with title and ISBN

Ground Controllers 2 - ECS Course (with code, title, and semester).

Ground Controllers 1. Solving Parson's problem entitled Odd Time.

Exercise using the Elevator System in SPARK

Exercises on Hoare Logic in SPARK - Flow analysis - Pre-/Post-conditions - Loops: Invariants, Variants

Exercises on Hoare Logic

Model a Routing System using transitive closure

Exercises for Predicate Logic and Set Theory Proof in Rodin Platform

Exercises for Propositional Logic Proof in Rodin Platform

We discuss different features of IDEs and review IDEs such as BlueJ and IntelliJ

This is the coursework description for Programming I.

Description of Coursework 2 for COMP1216 (2020-21)

We illustrate the modelling activities using the SmarTaxi Case Study

This lecture about data refinement from Event-B models and generating SPARK/Ada from the model

Introductory slides on SPARK

Introduction to Ada programming language

COMP1216 Coursework 1 for the academic year 2020-21.

We developed a simple RPG Simulator

Material for Programming I Coursework 2019

Revision

Revision lecture

- "Chameleons of three colours" riddle

Verification in Dafny

Reasoning about looping programs

Model a hotel reception system in Event-B

Modelling using Relations in Event-B

Slides from Prof Michael Butler

Modelling with Sets in Event-B

Dynamic Modelling with UML

Fixing models using failing proofs

- Abstraction & Refinement - Extension Refinement

Debugging Models with Proof and Judgement - Strengthen Guards - Modify Actions - Strengthen Invariants - Weaken Invariants

Revisit Activity and Sequence Diagrams

We take a look at the OOtumlia airlines case study on class diagrams

Object modelling with UML

A refresher on Set Theory

- Tree file system - Transitive Closure

Requirement Analysis

Some useful proof rules

- Constructing Proof Trees - Inference Rules - Applying inference rules backwardly to construct proof trees

Proof-based Verification in Event-B

Introduction to Advanced Software Modelling & Design

In this session we point you at the Java Library, and go into some more details on how Strings work. We also introduce the HashMap class (a very useful type of collection).

In this session we look at how we can use collection objects like ArrayList as a more advanced type of array. We also introduce the idea of generics (forcing a collection to hold a particular type) and see how Java handles the autoboxing and unboxing of primitives. Finally we look at Iterators, a common design pattern for dealing with iteration over a collection.

In this session we look at the different types of loop in the Java language, and see how they can be used to iterate over Arrays.

In this lecture we describe the structure of the Programming I module at the University of Southampton, look at the definitions and paradigms of programming, and take a look ahead to the key things that we will be covering in the weeks ahead.