Browse by Tags: software engineering

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 84.
  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
    Dr David Millard
  2. [img] [img]
    Preview
    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
    Dr 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
    Dr 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
    Dr 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
    Dr 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
    Dr 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
    Dr 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 - Space Cadets - 00 - Introduction
    Introduction slides to the Space Cadets optional stream for COMP1202 (Programming I)

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

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

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

    Shared with the University by
    Dr Son Hoang
  13. [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
  14. [img] [img]
    COMP1202 - Space Cadets - 05 - Challenge 5 Review
    Space Cadets Challenge 5 Review

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

    Shared with the University by
    Dr Son Hoang
  16. [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
  17. [img] [img]
    COMP1216 - Activity and Sequence Diagrams Revisited
    Revisit Activity and Sequence Diagrams

    Shared with the University by
    Dr Son Hoang
  18. [img] [img]
    COMP1216 - An Exercise in Modelling using Relations
    Shared with the University by
    Dr Son Hoang
  19. [img] [img]
    COMP1216 - Coursework - An Auction System
    Shared with the University by
    Dr Son Hoang
  20. [img]
    COMP1216 - Coursework 1 (2019-20)
    Coursework 1 for academic year 2019-20.

    Shared with the University by
    Dr Son Hoang
  21. [img]
    COMP1216 - Coursework 2 (2019-20)
    Coursework 2 description for COMP1216 (2019-20)

    Shared with the University by
    Dr Son Hoang
  22. [img] [img]
    COMP1216 - Design Patterns
    Shared with the University by
    Dr Son Hoang
  23. [img] [img]
    COMP1216 - Extending Access Control Model with Tokens and Time
    Shared with the University by
    Dr Son Hoang
  24. [img] [img]
    COMP1216 - Extending Event-B Model
    Shared with the University by
    Dr Son Hoang
  25. [img]
    COMP1216 - Lecture 07 - Introducing Event-B
    Introducing Event-B (Contexts, machines)

    Shared with the University by
    Dr Son Hoang
  26. [img] [img]
    COMP1216 - Modelling Classes and Associations
    Shared with the University by
    Dr Son Hoang
  27. [img] [img]
    COMP1216 - Problem Class 1
    Requirement Analysis

    Shared with the University by
    Dr Son Hoang
  28. [img] [img]
    COMP1216 - Problem Class 4
    Dynamic Modelling

    Shared with the University by
    Dr Son Hoang
  29. [img] [img]
    COMP1216 - Problem Class 5
    Modelling with Sets

    Shared with the University by
    Dr Son Hoang
  30. [img] [img]
    COMP1216 - Problem Class 9
    Shared with the University by
    Dr Son Hoang
  31. [img] [img]
    COMP1216 - Problem class 2
    Functional Modelling

    Shared with the University by
    Dr Son Hoang
  32. [img] [img]
    COMP1216 - Problem class 3
    Object modelling

    Shared with the University by
    Dr Son Hoang
  33. [img] [img]
    COMP1216 - Problem class 6
    Modelling using Relations

    Shared with the University by
    Dr Son Hoang
  34. [img] [img]
    COMP1216 - Problem class 7
    Model a hotel reception system in Event-B

    Shared with the University by
    Dr Son Hoang
  35. [img] [img]
    COMP1216 - Problem class 8
    Managing room allocation in multiple hotels

    Shared with the University by
    Dr Son Hoang
  36. [img]
    COMP1216 - Proof-based Verification in Event-B
    Shared with the University by
    Dr Son Hoang
  37. [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
  38. [img] [img]
    COMP1216 - Revision
    Revision

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

    Shared with the University by
    Dr Son Hoang
  40. [img] [img]
    COMP1216 - Test Design
    Shared with the University by
    Dr Son Hoang
  41. collection
    COMP1216 Software Modelling and Design
    Shared with the University by
    Dr Son Hoang
  42. [img] [img]
    COMP2214 - Coursework descriptions 2019-20
    Shared with the University by
    Dr Son Hoang
  43. [img] [img]
    COMP2214 - Lecture 00 - Introduction
    Introductory slides

    Shared with the University by
    Dr Son Hoang
  44. [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
  45. [img]
    COMP2214 - Lecture 02 - Deductive Proof 1 (propositional)
    Shared with the University by
    Dr Son Hoang
  46. [img]
    COMP2214 - Lecture 03 - Deductive Proof 2 (Quantification and Sets)
    Shared with the University by
    Dr Son Hoang
  47. [img] [img]
    COMP2214 - Lecture 04 - Set Theory
    A refresher on Set Theory

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

    Shared with the University by
    Dr Son Hoang
  49. [img]
    COMP2214 - Lecture 06 - Reachability in Transition System
    Shared with the University by
    Dr Son Hoang
  50. [img]
    COMP2214 - Lecture 07 - Debugging Models with Proofs
    Shared with the University by
    Dr Son Hoang
  51. [img] [img]
    COMP2214 - Lecture 08 - Extension Refinement
    - Abstraction & Refinement - Extension Refinement

    Shared with the University by
    Dr Son Hoang
  52. [img] [img]
  53. [img] [img]
    COMP2214 - Lecture 10 - Data Refinement
    Shared with the University by
    Dr Son Hoang
  54. [img] [img]
    COMP2214 - Lecture 11 - An Elevator System
    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]
    COMP2214 - Lecture 14 - Loops
    Reasoning about looping programs

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

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

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

    Shared with the University by
    Dr Son Hoang
  61. [img]
    COMP2214 - Lecture 17 - System Theoretic Process Analysis
    Shared with the University by
    Dr Son Hoang
  62. [img]
    COMP2214 - Lecture 18 - Requirements Engineering
    Shared with the University by
    Dr Son Hoang
  63. [img]
    COMP2214 - Lecture 19 - Safety-Critical Systems
    Shared with the University by
    Dr Son Hoang
  64. [img]
    COMP2214 - Lecture 20 - Security Engineering
    Shared with the University by
    Dr Son Hoang
  65. [img] [img]
    COMP2214 - Lecture 21 - Revision
    Revision lecture

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

    Shared with the University by
    Dr Son Hoang
  67. [img]
    COMP2214 - Tutorial 03 - Model a routing system
    Model of a routing system

    Shared with the University by
    Dr Son Hoang
  68. [img] [img]
    COMP2214 - Tutorial 04 - Fixing models using failing proofs
    Fixing models using failing proofs

    Shared with the University by
    Dr Son Hoang
  69. [img] [img]
  70. [img] [img]
    COMP2214 - Tutorial 6 - Verification with Dafny (part 1)
    Shared with the University by
    Dr Son Hoang
  71. [img] [img]
    COMP2214 - Tutorial 7 - Verification with Dafny (part 2)
    Shared with the University by
    Dr Son Hoang
  72. collection
    COMP2214 Advanced Software Modelling and Design
    Shared with the University by
    Dr Son Hoang
  73. [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
  74. [img] [img]
    Increment 1 - Computer Applications Team Project
    Shared with the University by
    Mr Rikki Prince
  75. [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
    Dr David Millard
  76. [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
  77. [img]
    Preview
    [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
    Dr David Millard
  78. [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
    Dr David Millard
  79. [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
    Dr David Millard
  80. [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
    Dr David Millard
  81. [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
    Dr David Millard
  82. [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
    Dr David Millard
  83. [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
  84. [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
    Dr David Millard
This list was generated on Tue Jul 14 23:07:31 2020 UTC.