1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
1
00:00:00,180 --> 00:00:01,780
Since we just discussed application
2
00:00:01,780 --> 00:00:04,770
domain, machine domain, and the specificiation,
3
00:00:04,770 --> 00:00:07,760
let's make sure that these concepts are well understood. To do that,
4
00:00:07,760 --> 00:00:09,740
I'm going to use a quiz, and I would like for you
5
00:00:09,740 --> 00:00:12,590
to refer to the figure that we just discussed that I'm also
6
00:00:12,590 --> 00:00:16,050
reproducing here on a small scale on the right. And then
7
00:00:16,050 --> 00:00:19,080
referring to the figure, you should indicate for each of the items
8
00:00:19,080 --> 00:00:22,140
that I'm going to show you here shortly. Whether they belong to
9
00:00:22,140 --> 00:00:25,360
the machine domain. In this case, we're going to put a one next
10
00:00:25,360 --> 00:00:28,150
to the icon. The application domain, in this case you should
11
00:00:28,150 --> 00:00:31,410
put two. Or their intersection, and in this case you should
12
00:00:31,410 --> 00:00:34,100
put three. So this is the lists of items. So let
13
00:00:34,100 --> 00:00:37,750
me read it. An algorithm sorts a list of books in alphabetical
14
00:00:37,750 --> 00:00:41,070
order by the first author's name. A notification of the arrival
15
00:00:41,070 --> 00:00:44,380
of a message appears on a smart watch. An employee wants to
16
00:00:44,380 --> 00:00:47,150
organize a meeting with a set of colleagues. And finally, a
17
00:00:47,150 --> 00:00:50,690
user clicks a link on a web page. So again, put 1,
18
00:00:50,690 --> 00:00:55,740
2, or 3 here in these lots, depending on whether you think that these items
19
00:00:55,740 --> 00:00:57,840
belong to the machine domain, the application
20
00:00:57,840 --> 00:01:00,910
domain, or their intersection. So, their specification, here.
|
