Professional Documents
Culture Documents
Degrees:
Professional Career
Research Interests
Component-based software
Structured
Source Code
(Black Box)
Abstraction
techniques/
manual process
Co
Model
e?
c
an
m
or
f
n
Model
Checker
M S?
(System Requirements)
Is it an accurate model?
(via conformance testing)
4
Specification
(System Property)
Answer:
Yes, if model satisfies
the specification
Counterexample, otherwise
Research Topics
At design level
satisfies p
Requirements
Design
A M2
satisfies p?
M1
A M2
Evolution
satisfies p
A set of implementations C
1
of components
How to update
inaccurate model M2
M1
How to recheck the
evolved CBS C1||C2
systematically?
Design Models
M1
Reuse?
satisfies p?
C2
Modeling
C1
C2
M1
A M2
Evolution
A M2
Update?
Implementations
Coding
Reuse?
Testing
Deployment
Thng tin mn hc
thuyt: 24 tit
Bi tp: 6 tit
Ti liu
Ti liu chnh
Ti liu c thm
Website mn hc
a ch
http://www.coltech.vnu.edu.vn/~hungpn/class/FM
Ni dung:
Bi
Mc tiu
Hiu v cc phng php hnh thc v
ng dng ca chng
Nm vng mt phng php hnh thc
qua vic tm hiu cng c kim chng
CafeOBJ
S dng CafeOBJ c t v kim
chng cc v d n gin
Ni dung
10
Thc hnh
Bi tp ln:
02 bi (u thng 6 v u thng 7)
Ni dung v thi hn s c thng bo chi tit sau
11
nh gi kt qu hc tp
Thi hc k: 60%
Thi vit
Gii hn trong slide bi ging
Khng s dng ti liu
12
Mt s qui nh
ng gi
Khuyn khch trao i, hi p trong gi hc
n mun|V sm = vng hc
Vng c l do phi c bo trc
Vng qu 20% s bui hc -> b cm thi
Bt c khi no
13
14