On Page

Line

Replace

With

48

9

areoften

are often

100

9

exports A and B and

< remove the phrase>

103

-15

if the stack is empty

stating whether the stack is empty

107

21

PROC(M_A_TYPE)

PROC (A_TYPE)

116

-16

correct := true

correct := false

118

23

conscientio us

conscientious

128

-18

4.20

4.19

128

-14

4.19

4.20

130

20

4.20

4.19

143

Fig. 4.25

Arrow head

Empty triangle

143

Fig. 4.26

Arrow head

Empty triangle

143

Fig. 4.26

Line from MANAGER to PROJECT

Add normal arrow head at PROJECT

  145

  7

  4.26

  4.24

  182

 -8

  5.14

  5.15

  188

  30

  releasing

  releasing

  196

  11

 before tmax has elapsed

 within tmax

  196

  12

 Before

  within

  218

  19

  i

  j

  218

  20

  i (the first one)

  j

223

-11

[T1, T2]

[T1, T2 [

225

-11

[T1, T2]

[T1, T2 [

226

Rule R11

request (E, F, Tr) and
not (standing (E, F, Ta, Tr)) and
list (E, L, Ta, Tr) and

request (E, F, Tr) and
not exists Ta ((standing (E, F, Ta, Tr) and
list (E, L, Ta, Tr)) and

226

Rule R13

not(new_list(E, L, T2) and T1<T2<T3)

not exists L1, T2 (new_list(E, L, T2) and L1 /= L and T1<T2<T3)

230

-13

is Empty

isEmpty

234

-4

appendF(f1…  

appendF(f₁…  

268

-10

Hare

Harel

279

12

complete but not consistent

consistent but not complete

281

12

175}

175, 290}

294

-21

. date

.date

294

After –11

}

298

-13

1

I

309

9

Managers

Manager

309

Fig. 6.9

All arrowheads

empty triangles

322

23

43 <

43 >

327

Exercise 6.23b

At end of program

Add “end if;”

327

Exercise 6.23b

Last “if…else…end if;” construct

Indent whole construct 1 level

344

-14

only if

if

345

-16

considered valid

valid

346

-2 (fig caption)

6.5.3

6.3.4.1

349

2

s1

s1 (sigma)

359

-7

d hoc

ad hoc

360

Caption of fig.

(a)

360

Caption of fig.

(b)

360

Caption of fig.

At end, insert

(a) FI(AF) graph; (b) AF(t) graph

362

-12

n

h

365

16

5

3

379

9

≤

≥

379

-8

c1 or c1

c1 or c2

380

-7

M2.ok_parity)

M3.ok_parity)

432

-4

7.7

7.8

473

-5 in table 8.3

Busniess

Business

519

-21

Ld

ld

525

13

testing

verification activity

560

-14

1983

1974