Relating Specification and Design
Class1Class 2
d:P Person
l:seq Person
# d <= Max
# l <= Max
d = ran l
Recall that when modelling a set U as a sequence ?, we said that
U = ret ?. Here ret ? = ran ?.
Hence d = ran l in included in Class1Class2.
Previous slide
Next slide
Back to first slide
View graphic version