80 lines
1.9 KiB
Plaintext
80 lines
1.9 KiB
Plaintext
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.
|