Items where Author is "Hoang, Son"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type
Jump to: Resource
Number of items: 84.

Resource

  1. [img] [img]
    COMP2214 - Coursework (AY2024-25)
    MULTI elevator coursework

    Shared with the University by
    Dr Son Hoang
  2. [img] [img]
    COMP1216 - AY2023-24 - Coursework 2
    Event-B Model for a Dentist Appointment System

    Shared with the University by
    Dr Son Hoang
  3. [img] [img]
    COMP2214 - Coursework AY2023-24
    MULTI elevator coursework

    Shared with the University by
    Dr Son Hoang
  4. [img] [img]
    COMP1202 Programming I Coursework AY2023-24
    ECS Sim Coursework for AY2023-24

    Shared with the University by
    Dr Son Hoang
  5. [img] [img]
    COMP1216 Coursework 2 (AY2022-23)
    Coursework 2: Event-B modelling of an auction system

    Shared with the University by
    Dr Son Hoang
  6. [img] [img]
    COMP2214 - Coursework AY2022-23
    Shared with the University by
    Dr Son Hoang
  7. [img] [img]
    COMP1216 - Coursework 1 (AY2022-23)
    Coursework 1 for AY2022-23. UML Modelling for "An Online Auction Service".

    Shared with the University by
    Dr Son Hoang
  8. [img] [img]
    COMP1202 Programming I Coursework AY2022-23
    ECS Orchestra Coursework for AY2022-23

    Shared with the University by
    Dr Son Hoang
  9. [img] [img]
    COMP1216 Coursework 2 (AY2021-22)
    Shared with the University by
    Dr Son Hoang
  10. [img] [img]
    COMP2214 - Coursework descriptions AY2021-22
    Coursework descriptions for MULTI elevator system.

    Shared with the University by
    Dr Son Hoang
  11. [img] [img]
    COMP1216 - Coursework 1 (AY2021-22)
    Coursework 1. Requirements Analysis, Specification, and Design of a COVID vaccination tracking system

    Shared with the University by
    Dr Son Hoang
  12. [img] [img]
    COMP1202 - Ground Controllers 9 - File Reader
    Ground Controllers 9 - File Reader

    Shared with the University by
    Dr Son Hoang
  13. [img] [img]
    COMP1202 - Ground Controllers 8 - Assessment
    Ground Controllers 8 - Inheritance.

    Shared with the University by
    Dr Son Hoang
  14. [img] [img]
    COMP1202 Programming I Coursework AY2020-21 Sample Solutions
    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.

    Shared with the University by
    Dr Son Hoang
  15. [img] [img]
    COMP1202 Programming I Coursework AY2021-22
    ECS Building Defence Coursework description for COMP1202 - Programming I (AY2021-22).

    Shared with the University by
    Dr Son Hoang
  16. [img] [img]
    COMP1202 - Ground Controllers 7 - Tax Calculator
    Ground Controllers 7 - Testing a Tax Calculator

    Shared with the University by
    Dr Son Hoang
  17. [img] [img]
    COMP1202 - Ground Controllers 6 - Module Management
    Ground Controllers 6 - An exercise on inheritance.

    Shared with the University by
    Dr Son Hoang
  18. [img] [img]
    COMP1202 - Ground Controllers 5 - Phone Book
    Ground Controllers 5 - An exercise with HashMap and String.

    Shared with the University by
    Dr Son Hoang
  19. [img] [img]
    COMP1202 - Ground Controllers 4 - Loops and Arrays
    Ground Controllers 4 - Exercises about loops and arrays

    Shared with the University by
    Dr Son Hoang
  20. [img] [img]
    COMP1202 - Ground Controllers 3 - Text Book
    Ground Controllers 3 - Text Book with title and ISBN

    Shared with the University by
    Dr Son Hoang
  21. [img] [img]
    COMP1202 - Ground Controllers 2 - ECS Course
    Ground Controllers 2 - ECS Course (with code, title, and semester).

    Shared with the University by
    Dr Son Hoang
  22. [img] [img]
    COMP1202 - Ground Controllers 1 - Odd Time
    Ground Controllers 1. Solving Parson's problem entitled Odd Time.

    Shared with the University by
    Dr Son Hoang
  23. [img] [img]
    COMP1216 - What Next? ... How about Program Verification?
    Shared with the University by
    Dr Son Hoang
  24. [img] [img]
    COMP2214 - Problem Class 08 - Elevator System in SPARK
    Exercise using the Elevator System in SPARK

    Shared with the University by
    Dr Son Hoang
  25. [img]
    COMP2214 - Problem Class 07 - Hoare Logic in SPARK
    Exercises on Hoare Logic in SPARK - Flow analysis - Pre-/Post-conditions - Loops: Invariants, Variants

    Shared with the University by
    Dr Son Hoang
  26. [img] [img]
    COMP2214 - Problem Class 06 - Hoare Logic
    Exercises on Hoare Logic

    Shared with the University by
    Dr Son Hoang
  27. [img] [img]
    COMP2214 - Problem Class 03 - Model a Routing System
    Model a Routing System using transitive closure

    Shared with the University by
    Dr Son Hoang
  28. [img] [img]
    COMP2214 - Problem Class 02 - Deductive Proof (Predicate Logic and Set Theory)
    Exercises for Predicate Logic and Set Theory Proof in Rodin Platform

    Shared with the University by
    Dr Son Hoang
  29. [img] [img]
    COMP2214 - Problem Class 01 - Deductive Proof (Propositional Logic)
    Exercises for Propositional Logic Proof in Rodin Platform

    Shared with the University by
    Dr Son Hoang
  30. [img]
    COMP2214 - Problem Class 00 - Introduction to the Rodin Platform
    Shared with the University by
    Dr Son Hoang
  31. [img] [img]
    COMP1202 - Lecture 09 - IDEs
    We discuss different features of IDEs and review IDEs such as BlueJ and IntelliJ

    Shared with the University by
    Dr Son Hoang
  32. [img] [img]
    COMP1202 Programming I Coursework AY2020-21
    This is the coursework description for Programming I.

    Shared with the University by
    Dr Son Hoang
  33. [img]
    COMP1216 - Coursework 2 (2020-21)
    Description of Coursework 2 for COMP1216 (2020-21)

    Shared with the University by
    Dr Son Hoang
  34. [img] [img]
    Modelling Dojo: The SmarTaxi Case Study
    We illustrate the modelling activities using the SmarTaxi Case Study

    Shared with the University by
    Dr Son Hoang
  35. [img] [img]
    COMP2214 Lecture - Event-B to SPARK
    This lecture about data refinement from Event-B models and generating SPARK/Ada from the model

    Shared with the University by
    Dr Son Hoang
  36. [img] [img]
    COMP2214 - Lecture 16 - Introduction to SPARK
    Introductory slides on SPARK

    Shared with the University by
    Dr Son Hoang
  37. [img] [img]
    COMP2214 - Lecture 15 - Introduction to Ada
    Introduction to Ada programming language

    Shared with the University by
    Dr Son Hoang
  38. [img]
    COMP1216 - Coursework 1 (2020-21)
    COMP1216 Coursework 1 for the academic year 2020-21.

    Shared with the University by
    Dr Son Hoang
  39. [img] [img]
    16 & 17 - Code Dojo: RPG Simulator
    We developed a simple RPG Simulator

    Shared with the University by
    Dr Son Hoang
  40. [img] [img]
    COMP1202 - Coursework 2019
    Material for Programming I Coursework 2019

    Shared with the University by
    Dr Son Hoang
  41. [img] [img]
    COMP1216 - Revision
    Revision

    Shared with the University by
    Dr Son Hoang
  42. [img] [img]
    COMP2214 - Lecture 21 - Revision
    Revision lecture

    Shared with the University by
    Dr Son Hoang
  43. [img] [img]
    COMP1216 - Design Patterns
    Shared with the University by
    Dr Son Hoang
  44. [img] [img]
    COMP1216 - Test Design
    Shared with the University by
    Dr Son Hoang
  45. [img] [img]
    COMP1216 - Solving Puzzles with Invariants
    - "Chameleons of three colours" riddle

    Shared with the University by
    Dr Son Hoang
  46. [img]
    COMP1216 - Proof-based Verification in Event-B
    Shared with the University by
    Dr Son Hoang
  47. [img] [img]
    COMP1216 - Extending Event-B Model
    Shared with the University by
    Dr Son Hoang
  48. [img] [img]
    COMP2214 - Tutorial 7 - Verification with Dafny (part 2)
    Shared with the University by
    Dr Son Hoang
  49. [img] [img]
    COMP2214 - Tutorial 6 - Verification with Dafny (part 1)
    Shared with the University by
    Dr Son Hoang
  50. [img] [img]
    COMP2214 - Lecture 15 - Verification in Dafny
    Verification in Dafny

    Shared with the University by
    Dr Son Hoang
  51. [img]
    COMP2214 - Lecture 14 - Loops
    Reasoning about looping programs

    Shared with the University by
    Dr Son Hoang
  52. [img] [img]
    COMP1216 - Lab 7 - A Hotel Reception System in Event-B
    Model a hotel reception system in Event-B

    Shared with the University by
    Dr Son Hoang
  53. [img] [img]
    COMP1216 - An Exercise in Modelling using Relations
    Shared with the University by
    Dr Son Hoang
  54. [img] [img]
    COMP1216 - Modelling Classes and Associations
    Shared with the University by
    Dr Son Hoang
  55. [img] [img]
    COMP1216 - Lab 6 - Modelling with Relations in Event-B
    Modelling using Relations in Event-B

    Shared with the University by
    Dr Son Hoang
  56. [img]
    COMP2214 - Lecture 13 - Contracts
    Slides from Prof Michael Butler

    Shared with the University by
    Dr Son Hoang
  57. [img] [img]
    COMP2214 - Lecture 11- Convergence and Deadlock-freeness
    Shared with the University by
    Dr Son Hoang
  58. [img] [img]
    COMP2214 - Lecture 12 - An Elevator System
    Shared with the University by
    Dr Son Hoang
  59. [img] [img]
    COMP2214 - Problem Class 05 - Extension Refinement with Guard Modification
    Shared with the University by
    Dr Son Hoang
  60. [img] [img]
    COMP1216 - Lab 05 - Modelling with Sets in Event-B
    Modelling with Sets in Event-B

    Shared with the University by
    Dr Son Hoang
  61. [img] [img]
    COMP1216 - Coursework - An Auction System
    Shared with the University by
    Dr Son Hoang
  62. [img] [img]
    COMP1216 - Lab 04 - Dynamic Modelling in UML
    Dynamic Modelling with UML

    Shared with the University by
    Dr Son Hoang
  63. [img] [img]
    COMP2214 - Lecture 10 - Data Refinement
    Shared with the University by
    Dr Son Hoang
  64. [img] [img]
    COMP2214 - Lecture 09 - Extension Refinement with Guard Modification
    Shared with the University by
    Dr Son Hoang
  65. [img] [img]
    COMP2214 - Problem Class 04 - Fixing models using failing proofs
    Fixing models using failing proofs

    Shared with the University by
    Dr Son Hoang
  66. [img] [img]
    COMP2214 - Lecture 08 - Extension Refinement
    - Abstraction & Refinement - Extension Refinement

    Shared with the University by
    Dr Son Hoang
  67. [img] [img]
    COMP2214 - Coursework descriptions 2020-21
    Shared with the University by
    Dr Son Hoang
  68. [img] [img]
    COMP2214 - Lecture 07 - Debugging Models with Proof and Judgement
    Debugging Models with Proof and Judgement - Strengthen Guards - Modify Actions - Strengthen Invariants - Weaken Invariants

    Shared with the University by
    Dr Son Hoang
  69. [img] [img]
    COMP2214 - Lecture 06 - Reachability in Transition System
    Shared with the University by
    Dr Son Hoang
  70. [img] [img]
    COMP1216 - Activity and Sequence Diagrams Revisited
    Revisit Activity and Sequence Diagrams

    Shared with the University by
    Dr Son Hoang
  71. [img] [img]
    COMP1216 - A Case Study on Class Diagrams
    We take a look at the OOtumlia airlines case study on class diagrams

    Shared with the University by
    Dr Son Hoang
  72. [img] [img]
    COMP1216 - Lab 03 - Object Modelling in UML
    Object modelling with UML

    Shared with the University by
    Dr Son Hoang
  73. [img] [img]
    COMP2214 - Lecture 04 - Set Theory
    A refresher on Set Theory

    Shared with the University by
    Dr Son Hoang
  74. [img] [img]
    COMP2214 - Lecture 05 - Tree File
    - Tree file system - Transitive Closure

    Shared with the University by
    Dr Son Hoang
  75. [img] [img]
    COMP1216 - Lab 01 - Requirements Analysis
    Requirement Analysis

    Shared with the University by
    Dr Son Hoang
  76. [img]
    COMP2214 - Proof rules
    Some useful proof rules

    Shared with the University by
    Dr Son Hoang
  77. [img] [img]
    COMP2214 - Lecture 03 - Deductive Proof (First-Order Logic and Set Theory)
    Shared with the University by
    Dr Son Hoang
  78. [img] [img]
    COMP2214 - Lecture 02 - Deductive Proof (Propositional Logic)
    - Constructing Proof Trees - Inference Rules - Applying inference rules backwardly to construct proof trees

    Shared with the University by
    Dr Son Hoang
  79. [img] [img]
    COMP2214 - Lecture 01 - Proof-based verification in Event-B
    Proof-based Verification in Event-B

    Shared with the University by
    Dr Son Hoang
  80. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introduction to Advanced Software Modelling & Design

    Shared with the University by
    Dr Son Hoang
  81. [img] [img]
    Preview
    08 - Programming Principles: The Java Library
    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).

    Shared with the World by
    Prof David Millard
  82. [img] [img]
    Preview
    07 - Programming Principles: Collections and Iterators
    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.

    Shared with the World by
    Prof David Millard
  83. [img] [img]
    Preview
    06 - Programming Principles: Loops and Arrays
    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.

    Shared with the World by
    Prof David Millard
  84. [img]
    Preview
    [img]
    Preview
    Programming I - Starting Out
    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.

    Shared with the World by
    Prof David Millard
This list was generated on Wed Mar 12 16:09:00 2025 UTC.