COMP1216 Software Modelling and Design (AY2020-21)

Collection items

	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
	COMP1216 - Lab 01 - Requirements Analysis Requirement Analysis Shared with the University by Dr Son Hoang
	COMP1216 Software Modelling and Design: Introduction Introductory Lecture for COMP1216 Software Modelling and Design. Shared with the University by Dr Yvonne Howard
	COMP1216: Requirements Analysis Shared with the University by Dr Yvonne Howard
+1 more...	COMP1216 - Lab 03 - Object Modelling in UML Object modelling with UML Shared with the University by Dr Son Hoang
	COMP1216 - Activity and Sequence Diagrams Revisited Revisit Activity and Sequence Diagrams Shared with the University by Dr Son Hoang
	COMP1216 - Lab 04 - Dynamic Modelling in UML Dynamic Modelling with UML Shared with the University by Dr Son Hoang
	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
	COMP1216 - Lab 05 - Modelling with Sets in Event-B Modelling with Sets in Event-B Shared with the University by Dr Son Hoang
	COMP1216 - Lab 6 - Modelling with Relations in Event-B Modelling using Relations in Event-B Shared with the University by Dr Son Hoang
	COMP1216 - Modelling Classes and Associations Shared with the University by Dr Son Hoang
	COMP1216 - An Exercise in Modelling using Relations Shared with the University by Dr Son Hoang
	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
+1 more...	COMP1216 - Extending Event-B Model Shared with the University by Dr Son Hoang
	COMP1216 - Proof-based Verification in Event-B Shared with the University by Dr Son Hoang
	COMP1216 - Extending Access Control Model with Tokens and Time Shared with the University by Dr Son Hoang
	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
	COMP1216 - Test Design Shared with the University by Dr Son Hoang
+1 more...	COMP1216 - Lab 9 - Port Management System in Event-B Port Management system in Event-B Shared with the University by Dr Son Hoang
	COMP1216 - Design Patterns Shared with the University by Dr Son Hoang
	COMP1216 - Revision Revision Shared with the University by Dr Son Hoang
	COMP1216 - Lecture 07 - Introducing Event-B Introducing Event-B (Contexts, machines) Shared with the University by Dr Son Hoang
	COMP1216 - Coursework 1 (2020-21) COMP1216 Coursework 1 for the academic year 2020-21. Shared with the University by Dr Son Hoang
+2 more...	Modelling Dojo: The SmarTaxi Case Study We illustrate the modelling activities using the SmarTaxi Case Study Shared with the University by Dr Son Hoang
	COMP1216 - Coursework 2 (2020-21) Description of Coursework 2 for COMP1216 (2020-21) Shared with the University by Dr Son Hoang
	Software Modelling & UML - Use Case Diagrams and Class Diagrams Shared with the University by Dr Son Hoang
	COMP1216 - What Next? ... How about Program Verification? Shared with the University by Dr Son Hoang
	COMP1216 Coursework 1 LaTeX template LaTeX template for COMP1216 Coursework 1 report. Shared with the University by Dr Son Hoang

COMP1216 Software Modelling and Design (AY2020-21)

Added By:	Dr Son Hoang
Date Added:	11 Feb 2019 22:54
Tags:	software engineering, formal methods
Viewing permissions:	University
Link:	http://edshare.soton.ac.uk/id/eprint/19795
Downloads & Views

Actions (login required)

View Item

Toolbox

There are no actions available for this resource.