Browse by Tags: software engineering

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 102.
  1. [img]
    Preview
    [img]
    Preview
    04 - Programming Principles: Computational Thinking
    In this session we look at how to think systematically about a problem and create a solution. We look at the definition and characteristics of an algorithm, and see how through modularisation and decomposition we can then choose a set of methods to create. We also compare this somewhat procedural approach, with the way that design works in Object Oriented Systems. We also have a brief look at codings style in Java, with the help of the Google Java Style Guide: https://google.github.io/styleguide/javaguide.html

    Shared with the World by
    Prof David Millard
  2. [img]
    11 - Programming Principles: Polymorphism
    In this session we build on inheritance and look at overriding methods and dynamic binding. Together these give us Polymorphism - the third pillar of Object Oriented Programming - and a very powerful feature that allows us to build methods that deal with superclasses, but whose calls get redirected when we pass in sub-classes.

    Shared with the World by
    Prof David Millard
  3. [img] [img]
    12 - Programming Principles: Testing and Debugging
    In this session we look at the sorts of errors that occur in programs, and how we can use different testing and debugging strategies (such as unit testing and inspection) to track them down. We also look at error handling within the program and at how we can use Exceptions to manage errors in a more sophisticated way. These slides are based on Chapter 6 of the Book 'Objects First with BlueJ'

    Shared with the University by
    Prof David Millard
  4. [img] [img]
    13 - Programming Principles: Software Design
    In this session we look at some of the basics of good code design, including avoiding duplication and designing for loose coupling and high cohesion.

    Shared with the University by
    Prof David Millard
  5. [img] [img]
    Preview
    15 - Programming Principles: Designing Applications
    In this session we look at the how to use noun verb parsing to try and identify the building blocks of a problem, so that we can start to create object oriented solutions. We also look at some of the challenges of software engineering, and the processes that software engineers use to meet them, and finally we take a look at some more Design Patterns that may help us reuse well known and effective solutions in our own designs.

    Shared with the World by
    Prof David Millard
  6. [img]
    Preview
    18 - Programming Principles: Balloon Debate
    These are slides that support the balloon debate session for Programming 1. In it we discuss the pros and cons of different languages, and discuss the current popularity of different languages and approaches

    Shared with the World by
    Prof David Millard
  7. collection
    COMP1004 Programming Principles
    These are the resources used for the Computer Science course Programming Principles, designed to teach students the fundamentals of computer programming and object orientation via learning the Java language. We also touch on some software engineering basics, such as patterns, software design and testing. The course assumes no previous knowledge of programming, but there is a fairly steep learning curve, and students are encouraged to practice, practice, practice!

    Shared with the World by
    Prof David Millard
  8. [img] [img]
    COMP1202 - Coursework 2019
    Material for Programming I Coursework 2019

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

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

    Shared with the University by
    Dr Son Hoang
  11. [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
  12. [img] [img]
    COMP1202 - Space Cadets - 00 - Introduction
    Introduction slides to the Space Cadets optional stream for COMP1202 (Programming I)

    Shared with the University by
    Dr Son Hoang
  13. [img] [img]
    COMP1202 - Space Cadets - 01 - Challenge 1 Review
    Space Cadets Challenge 1 Report

    Shared with the University by
    Dr Son Hoang
  14. [img] [img]
    COMP1202 - Space Cadets - 02 - Challenge 2 Review
    Space Cadets Challenge 2 Review

    Shared with the University by
    Dr Son Hoang
  15. [img] [img]
    COMP1202 - Space Cadets - 03 - Challenge 3 Review
    Space Cadets Challenge 3 Review

    Shared with the University by
    Dr Son Hoang
  16. [img] [img]
    COMP1202 - Space Cadets - 04 - Challenge 4 Review
    Space Cadets Challenge 4 Review (Use Acrobat Reader for animation)

    Shared with the University by
    Dr Son Hoang
  17. [img] [img]
    COMP1202 - Space Cadets - 05 - Challenge 5 Review
    Space Cadets Challenge 5 Review

    Shared with the University by
    Dr Son Hoang
  18. [img] [img]
    COMP1202 - Space Cadets - 06 - Challenge 6 Review
    Space Cadets Challenge 6 Review

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

    Shared with the University by
    Dr Son Hoang
  20. [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
  21. [img] [img]
    COMP1216 - AY2023-24 - Coursework 2
    Event-B Model for a Dentist Appointment System

    Shared with the University by
    Dr Son Hoang
  22. [img] [img]
    COMP1216 - Activity and Sequence Diagrams Revisited
    Revisit Activity and Sequence Diagrams

    Shared with the University by
    Dr Son Hoang
  23. [img] [img]
    COMP1216 - An Exercise in Modelling using Relations
    Shared with the University by
    Dr Son Hoang
  24. [img] [img]
    COMP1216 - Coursework - An Auction System
    Shared with the University by
    Dr Son Hoang
  25. [img]
    COMP1216 - Coursework 1 (2020-21)
    COMP1216 Coursework 1 for the academic year 2020-21.

    Shared with the University by
    Dr Son Hoang
  26. [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
  27. [img]
    COMP1216 - Coursework 2 (2020-21)
    Description of Coursework 2 for COMP1216 (2020-21)

    Shared with the University by
    Dr Son Hoang
  28. [img] [img]
    COMP1216 - Design Patterns
    Shared with the University by
    Dr Son Hoang
  29. [img] [img]
    COMP1216 - Extending Access Control Model with Tokens and Time
    Shared with the University by
    Dr Son Hoang
  30. [img] [img]
    COMP1216 - Extending Event-B Model
    Shared with the University by
    Dr Son Hoang
  31. [img] [img]
    COMP1216 - Lab 01 - Requirements Analysis
    Requirement Analysis

    Shared with the University by
    Dr Son Hoang
  32. [img] [img]
    COMP1216 - Lab 02 - Functional Modelling in UML
    Functional Modelling with UML Use Cases and Use Case Diagrams.

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

    Shared with the University by
    Dr Son Hoang
  34. [img] [img]
    COMP1216 - Lab 04 - Dynamic Modelling in UML
    Dynamic Modelling with UML

    Shared with the University by
    Dr Son Hoang
  35. [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
  36. [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
  37. [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
  38. [img] [img]
    COMP1216 - Lab 8 - Multiple Hotel System in Event-B
    Managing room allocation in multiple hotels in Event-B

    Shared with the University by
    Dr Son Hoang
  39. [img] [img]
    COMP1216 - Lab 9 - Port Management System in Event-B
    Port Management system in Event-B

    Shared with the University by
    Dr Son Hoang
  40. [img]
    COMP1216 - Lecture 07 - Introducing Event-B
    Introducing Event-B (Contexts, machines)

    Shared with the University by
    Dr Son Hoang
  41. [img] [img]
    COMP1216 - Modelling Classes and Associations
    Shared with the University by
    Dr Son Hoang
  42. [img]
    COMP1216 - Proof-based Verification in Event-B
    Shared with the University by
    Dr Son Hoang
  43. [img]
    COMP1216 - Relations in Event-B
    Modelling using Relations in Event-B - Order Pairs - Cartesian Product - Relations - Domain/Range of relations - Relational Image

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

    Shared with the University by
    Dr Son Hoang
  45. collection
    COMP1216 - Software Modelling & Design (AY2021-22)
    Material for COMP1216 Software Modelling & Design (AY2021-22)

    Shared with the University by
    Dr Son Hoang
  46. [img] [img]
    COMP1216 - Solving Puzzles with Invariants
    - "Chameleons of three colours" riddle

    Shared with the University by
    Dr Son Hoang
  47. [img] [img]
    COMP1216 - Test Design
    Shared with the University by
    Dr Son Hoang
  48. [img] [img]
    COMP1216 - What Next? ... How about Program Verification?
    Shared with the University by
    Dr Son Hoang
  49. [img] [img]
    COMP1216 Coursework 2 (AY2022-23)
    Coursework 2: Event-B modelling of an auction system

    Shared with the University by
    Dr Son Hoang
  50. collection
    COMP1216 Software Modelling and Design (AY2020-21)
    Shared with the University by
    Dr Son Hoang
  51. [img] [img]
    COMP2214 - Coursework AY2022-23
    Shared with the University by
    Dr Son Hoang
  52. [img] [img]
    COMP2214 - Coursework AY2023-24
    MULTI elevator coursework

    Shared with the University by
    Dr Son Hoang
  53. [img] [img]
    COMP2214 - Coursework descriptions 2020-21
    Shared with the University by
    Dr Son Hoang
  54. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introduction to Advanced Software Modelling & Design

    Shared with the University by
    Dr Son Hoang
  55. [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
  56. [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
  57. [img] [img]
  58. [img] [img]
    COMP2214 - Lecture 04 - Set Theory
    A refresher on Set Theory

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

    Shared with the University by
    Dr Son Hoang
  60. [img] [img]
    COMP2214 - Lecture 06 - Reachability in Transition System
    Shared with the University by
    Dr Son Hoang
  61. [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
  62. [img] [img]
    COMP2214 - Lecture 08 - Extension Refinement
    - Abstraction & Refinement - Extension Refinement

    Shared with the University by
    Dr Son Hoang
  63. [img] [img]
  64. [img] [img]
    COMP2214 - Lecture 10 - Data Refinement
    Shared with the University by
    Dr Son Hoang
  65. [img] [img]
    COMP2214 - Lecture 11 - An Elevator System
    Shared with the University by
    Dr Son Hoang
  66. [img]
    COMP2214 - Lecture 13 - Contracts
    Slides from Prof Michael Butler

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

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

    Shared with the University by
    Dr Son Hoang
  69. [img] [img]
    COMP2214 - Lecture 15 - Verification in Dafny
    Verification in Dafny

    Shared with the University by
    Dr Son Hoang
  70. [img] [img]
    COMP2214 - Lecture 16 - Event-B to Dafny
    Shared with the University by
    Dr Son Hoang
  71. [img] [img]
    COMP2214 - Lecture 16 - Introduction to SPARK
    Introductory slides on SPARK

    Shared with the University by
    Dr Son Hoang
  72. [img]
    COMP2214 - Lecture 17 - System Theoretic Process Analysis
    Shared with the University by
    Dr Son Hoang
  73. [img]
    COMP2214 - Lecture 18 - Requirements Engineering
    Shared with the University by
    Dr Son Hoang
  74. [img]
    COMP2214 - Lecture 19 - Safety-Critical Systems
    Shared with the University by
    Dr Son Hoang
  75. [img]
    COMP2214 - Lecture 20 - Security Engineering
    Shared with the University by
    Dr Son Hoang
  76. [img] [img]
    COMP2214 - Lecture 21 - Revision
    Revision lecture

    Shared with the University by
    Dr Son Hoang
  77. [img]
    COMP2214 - Problem Class 00 - Introduction to the Rodin Platform
    Shared with the University by
    Dr Son Hoang
  78. [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
  79. [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
  80. [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
  81. [img] [img]
    COMP2214 - Problem Class 04 - Fixing models using failing proofs
    Fixing models using failing proofs

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

    Shared with the University by
    Dr Son Hoang
  84. [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
  85. [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
  86. [img]
    COMP2214 - Proof rules
    Some useful proof rules

    Shared with the University by
    Dr Son Hoang
  87. [img] [img]
    COMP2214 - Tutorial 6 - Verification with Dafny (part 1)
    Shared with the University by
    Dr Son Hoang
  88. [img] [img]
    COMP2214 - Tutorial 7 - Verification with Dafny (part 2)
    Shared with the University by
    Dr Son Hoang
  89. collection
    COMP2214 Advanced Software Modelling and Design
    Shared with the University by
    Dr Son Hoang
  90. [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
  91. [img] [img]
    Increment 1 - Computer Applications Team Project
    Shared with the University by
    Mr Rikki Prince
  92. [img] [img]
    Introduction to Soft Systems Modelling
    Two lectures that introduce the idea of modelling in the large, and contrasts hard system and soft system modelling. The second lecture goes into detail on a number of specific methods for analysing a system (CATWOE and CSH) and on modelling a system (Systems Diagrams and Personas).

    Shared with the World by
    Prof David Millard
  93. [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
  94. [img]
    Preview
    Programming Principles: Conclusions
    This is the revision session for our Programming Principles course. We remind ourselves of the three pillars of object oriented programming, look ahead to the exam, and share some parting advice.

    Shared with the World by
    Prof David Millard
  95. [img]
    Preview
    Requirements Capture: Using UML Use Cases
    This is a presentation for our year one INFO1008 course of Computational Systems. It covers the need for requirements capture and the difficulty of building a specification based on user information. We present UML Use Cases and Use Case diagrams as a way of capturing requirements from the users point of view in a semi-structured way.

    Shared with the World by
    Prof David Millard
  96. [img]
    Preview
    Software Development Life Cycles and Process Models
    This presentation describes the evolution of Software Development Lifecycles (SDLCs) from the first formally proposed linear models including, the Waterfall (Royce 1970) through to iterative prototyping models (Spiral and Win-Win Spiral) and incremental, iterative models used in Agile Methods. We discuss the problems iinherent in each prpoosal and how successive models attempt to solve them.

    Shared with the World by
    Prof David Millard
  97. [img]
    Software Modelling & UML - Use Case Diagrams and Class Diagrams
    Shared with the University by
    Dr Son Hoang
  98. [img]
    Preview
    System Design: UML Activity and Sequence Diagrams
    In this session we look at how to model flow of control and interactions between components using UML Activity and Sequence Diagrams. This is an introductory session and so for Activity Diagrams we only cover branching, forks and joins and swim lanes, and for Sequence we cover lifelines, messages and returns, and alt, par and opt frames.

    Shared with the World by
    Prof David Millard
  99. [img]
    Preview
    System Design: UML Class Diagrams
    In this session we look at UML Class Diagrams and how they fit into both the family of UML models, and also the software engineering process. We look at some basic features of class diagrams including properties, operations, associations, generalisation, aggregation and composition.

    Shared with the World by
    Prof David Millard
  100. [img]
    System Design: Using UML Use Cases
    In this lecture we cover how UML Use Cases can be used for requirements capture. We look at the anatomy of a Use Case Description, and the way in which use cases can be brought together in a use case diagram. We also look at the way that use cases can be derived from problems using noun verb analysis.

    Shared with the World by
    Prof David Millard
  101. [img]
    Preview
    [img]
    TIDT's Development Process
    This presentation gives an overview of TIDT's development process at time of writitng in March 2016. We were and still are developing our process. It is an agile process based on DSDM and Scrum.

    Shared with the World by
    Mr Patrick Mcsweeney
  102. [img]
    Preview
    The Web 2.0 Development Survival Guide
    Building software for Web 2.0 and the Social Media world is non-trivial. It requires understanding how to create infrastructure that will survive at Web scale, meaning that it may have to deal with tens of millions of individual items of data, and cope with hits from hundreds of thousands of users every minute. It also requires you to build tools that will be part of a much larger ecosystem of software and application families. In this lecture we will look at how traditional relational database systems have tried to cope with the scale of Web 2.0, and explore the NoSQL movement that seeks to simplify data-storage and create ultra-swift data systems at the expense of immediate consistency. We will also look at the range of APIs, libraries and interoperability standards that are trying to make sense of the Social Media world, and ask what trends we might be seeing emerge.

    Shared with the World by
    Prof David Millard
This list was generated on Mon Oct 7 23:17:32 2024 UTC.