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: 82.

Resource

  1. [img] [img]
    COMP1216 - AY2023-24 - Coursework 2
    Event-B Model for a Dentist Appointment System

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

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

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

    Shared with the University by
    Dr Son Hoang
  5. [img] [img]
    COMP2214 - Coursework AY2022-23
    Shared with the University by
    Dr Son Hoang
  6. [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
  7. [img] [img]
    COMP1202 Programming I Coursework AY2022-23
    ECS Orchestra Coursework for AY2022-23

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

    Shared with the University by
    Dr Son Hoang
  10. [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
  11. [img] [img]
    COMP1202 - Ground Controllers 9 - File Reader
    Ground Controllers 9 - File Reader

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

    Shared with the University by
    Dr Son Hoang
  13. [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
  14. [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
  15. [img] [img]
    COMP1202 - Ground Controllers 7 - Tax Calculator
    Ground Controllers 7 - Testing a Tax Calculator

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

    Shared with the University by
    Dr Son Hoang
  17. [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
  18. [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
  19. [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
  20. [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
  21. [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
  22. [img] [img]
    COMP1216 - What Next? ... How about Program Verification?
    Shared with the University by
    Dr Son Hoang
  23. [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
  24. [img] [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
  25. [img] [img]
    COMP2214 - Problem Class 06 - Hoare Logic
    Exercises on Hoare Logic

    Shared with the University by
    Dr Son Hoang
  26. [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
  27. [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
  28. [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
  29. [img]
    COMP2214 - Problem Class 00 - Introduction to the Rodin Platform
    Shared with the University by
    Dr Son Hoang
  30. [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
  31. [img] [img]
    COMP1202 Programming I Coursework AY2020-21
    This is the coursework description for Programming I.

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

    Shared with the University by
    Dr Son Hoang
  33. [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
  34. [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
  35. [img] [img]
    COMP2214 - Lecture 16 - Introduction to SPARK
    Introductory slides on SPARK

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

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

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

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

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

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

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

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

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

    Shared with the University by
    Dr Son Hoang
  51. [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
  52. [img] [img]
    COMP1216 - An Exercise in Modelling using Relations
    Shared with the University by
    Dr Son Hoang
  53. [img] [img]
    COMP1216 - Modelling Classes and Associations
    Shared with the University by
    Dr Son Hoang
  54. [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
  55. [img]
    COMP2214 - Lecture 13 - Contracts
    Slides from Prof Michael Butler

    Shared with the University by
    Dr Son Hoang
  56. [img] [img]
    COMP2214 - Lecture 11 - An Elevator System
    Shared with the University by
    Dr Son Hoang
  57. [img] [img]
    COMP2214 - Problem Class 05 - Extension Refinement with Guard Modification
    Shared with the University by
    Dr Son Hoang
  58. [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
  59. [img] [img]
    COMP1216 - Coursework - An Auction System
    Shared with the University by
    Dr Son Hoang
  60. [img] [img]
    COMP1216 - Lab 04 - Dynamic Modelling in UML
    Dynamic Modelling with UML

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

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

    Shared with the University by
    Dr Son Hoang
  65. [img] [img]
    COMP2214 - Coursework descriptions 2020-21
    Shared with the University by
    Dr Son Hoang
  66. [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
  67. [img] [img]
    COMP2214 - Lecture 06 - Reachability in Transition System
    Shared with the University by
    Dr Son Hoang
  68. [img] [img]
    COMP1216 - Activity and Sequence Diagrams Revisited
    Revisit Activity and Sequence Diagrams

    Shared with the University by
    Dr Son Hoang
  69. [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
  70. [img] [img]
    COMP1216 - Lab 03 - Object Modelling in UML
    Object modelling with UML

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

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

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

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

    Shared with the University by
    Dr Son Hoang
  75. [img] [img]
    COMP2214 - Lecture 03 - Deductive Proof (First-Order Logic and Set Theory)
    Shared with the University by
    Dr Son Hoang
  76. [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
  77. [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
  78. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introduction to Advanced Software Modelling & Design

    Shared with the University by
    Dr Son Hoang
  79. [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
  80. [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
  81. [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
  82. [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 Thu Nov 21 15:11:06 2024 UTC.