CSIS8601: Probabilistic Method & Randomized Algorithms
Homework 2
Due Date: 7 Oct 2009
Rules: Discussion of the problems is permitted, but writing the assignment together is not (i.e. you
are not allowed to see the actual pages of another student).
1. (20
The University of Hong Kong
Department of Computer Science
COMP7201 Analysis and Design of Enterprise Applications in UML
Assignment 2
Dynamic Modeling
Background
As the static modeling is finished, the next step is to complete the dynamic modeling of the
Timing and
Activity Models
Prof. T.H. Tse
Department of Computer Science
Email: [email protected]
Web: hku.hk/thtse
Timing Diagrams
A new feature since UML 2.0
They show
time constraints
how time constraints affect interactions between lifelines
Very usefu
Dynamic Modeling
COMP 7201 Analysis and Design of Enterprise Applications in UML
Outline
Use Case Diagram and Class Diagram
Object-Oriented Analysis Exercises
Create a Sequence Diagram in Architect
Create a State Machine in Architect
2
Exercise 1
Draw the
Dynamic Modelling
with Sequence Diagrams
Prof. T.H. Tse
Department of Computer Science
Email: [email protected]
Web: hku.hk/thtse
Dynamic Model
Specify the behaviour of objects by describing the
sequentiality control of their operations
Can also be regarded
O tli
Outline
Object-Oriented
A l i
Analysis
Prof T
Prof.
T.H.
H Tse
Department of Computer Science
Email: [email protected][email protected] hku hk
Web: hku.hk/thtse
Introduce use case modelling and object modelling
Introduce the Unified Modelling Language (UML)
i
Formal Methods
and Beyond
Prof. T.H. Tse
Department of Computer Science
Email: [email protected]
Web: hku.hk/thtse
Problems with Industrial Practices
Craft and not engineering
Learn from experience
Trial and error
No quality assurance
The profession is now
Tutorial 1: Using IBM Rational Software
Architect for OOA
COMP7201 Analysis and Design of Enterprise Applications in UML
Sept 27, 2016
Outline
Introduction to IBM Rational Software Architect
Using Architect to Create Use Case Diagram
Using Architect to Cr
Object-Oriented
Design
Prof. T.H. Tse
Department of Computer Science
Email: [email protected]
Web: hku.hk/thtse
Object-Oriented Design
Communication
Diagrams
Use Case
Document
Use Case
Realization
Document
Sequence
Diagrams
Class
Diagrams.
Object-Oriented D
Dynamic Modelling
with State Machines
Prof. T.H. Tse
Department of Computer Science
Email: [email protected]
Web: hku.hk/thtse
Recall
Recall
States
We Learn from Mistakes
Objects of some classes have only one possible
state.
Bennett et al. (2005)
4
Example
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 10: Lovasz Local Lemma (2): Asymptotically Optimal Job Shop Scheduling
Lecturer: Hubert Chan
Date: 25 Nov 2009
These lecture notes are supplementary materials for the lectures. They are by no
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 8: -Nets, -Samples, VC-dimension (Part 2)
Lecturer: Hubert Chan
Date: 11 Nov 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes
for attendi
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 9: Lovasz Local Lemma, Job Shop Scheduling
Lecturer: Hubert Chan
Date: 18 Nov 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes
for attend
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 1: Probabilistic Method, Markovs Inequality, Chebyshevs Inequality
Lecturer: Hubert Chan
Date: 2 Sept 2009
These lecture notes are supplementary materials for the lectures. They are by no mean
CSIS8601: Probabilistic Method & Randomized Algorithms
Homework 1
Due Date: 16 Sept 2009
Rules: Discussion of the problems is permitted, but writing the assignment together is not (i.e. you
are not allowed to see the actual pages of another student).
Plea
CSIS8601: Probabilistic Method & Randomized Algorithms
Homeworks 3 & 4
Due Date: 25 Nov 2009
Rules: Discussion of the problems is permitted, but writing the assignment together is not
(i.e. you are not allowed to see the actual pages of another student).
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 3: Cherno Bound: Measure Concentration
Lecturer: Hubert Chan
Date: 16 Sept 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes
for attending
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 2: Derandomization, More on Probabilistic Method
Lecturer: Hubert Chan
Date: 9 Sept 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes
for
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 5: Johnson-Lindenstrauss Lemma: Dimension Reduction
Date: 30 Sept 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes
for attending lectures
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 7: -Nets, VC-dimension
Lecturer: Hubert Chan
Date: 4 Nov 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes
for attending lectures or repla
CSIS8601: Probabilistic Method & Randomized Algorithms
Lecture 6: Locality Sensitive Hashing: Nearest Neighbor Search
Lecturer: Hubert Chan
Date: 7 Oct 2009
These lecture notes are supplementary materials for the lectures. They are by no means substitutes