Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780133056990 | 0133056996
- Cover: Paperback
- Copyright: 9/19/2002
This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other books which are based on the lifecycle model of software development, the authors emphasize identifying and applying fundamental principles that are applicable throughout the software lifecycle. This emphasis enables readers to respond to the rapid changes in technology that are common today. Principles and techniques are emphasized rather than specific toolsusers learn why particular techniques should or should not be used. Understanding the principles and techniques on which tools are based makes mastering a variety of specific tools easier.The authors discuss principles such as design, specification, verification, production, management and tools. Now coverage includes: more detailed analysis and explanation of object-oriented techniques; the use of Unified Modeling Language (UML); requirements analysis and software architecture; Model checkinga technique that provides automatic support to the human activity of software verification; GQMused to evaluate software quality and help improve the software process; Z specification language.For software engineers.
Carlo Ghezzi is a professor of computer science at the Politecnico di Milano, where he holds the chair of software engineering. He was named a Fellow of the Association for Computing Machinery in 2000 for his contributions to software engineering research Mehdi Jazayeri is a professor of computer science at the Technische Universitat Wien, where he holds the chair of distributed systems. He spent many years in software development at several Silicon Valley companies, including 10 years at Hewlett-Packard Laboratories, Palo Alto, CA Dino Mandrioli is a professor of computer science at the Politecnico di Milano, where he holds the chair of theoretical computer science. His research interests are centered on the application of formal methods in the practice of software engineering
Preface to the Second Edition | xiii | ||||
The Role of Object Orientation | xiv | ||||
The Purpose of Case Studies | xiv | ||||
Instructor Resources | xv | ||||
Preface to the First Edition | xvii | ||||
Audience | xviii | ||||
Prerequisites | xviii | ||||
Organization and Content | xviii | ||||
Exercises | xix | ||||
Case Studies | xix | ||||
Laboratory Course | xix | ||||
Reading Graph | x | ||||
Acknowledgments | x | ||||
|
1 | (14) | |||
|
2 | (1) | |||
|
3 | (2) | |||
|
5 | (1) | |||
|
6 | (2) | |||
|
8 | (4) | |||
|
9 | (1) | |||
|
10 | (1) | |||
|
10 | (1) | |||
|
11 | (1) | |||
|
12 | (1) | |||
|
12 | (1) | |||
|
13 | (1) | |||
|
13 | (1) | |||
|
13 | (2) | |||
|
14 | (1) | |||
|
15 | (26) | |||
|
16 | (1) | |||
|
16 | (1) | |||
|
16 | (1) | |||
|
17 | (16) | |||
|
17 | (3) | |||
|
20 | (2) | |||
|
22 | (1) | |||
|
23 | (1) | |||
|
23 | (3) | |||
|
26 | (2) | |||
|
28 | (1) | |||
|
28 | (1) | |||
|
29 | (1) | |||
|
30 | (1) | |||
|
30 | (2) | |||
|
32 | (1) | |||
|
33 | (4) | |||
|
33 | (1) | |||
|
34 | (2) | |||
|
36 | (1) | |||
|
36 | (1) | |||
|
37 | (1) | |||
|
38 | (3) | |||
|
38 | (1) | |||
|
39 | (1) | |||
|
39 | (2) | |||
|
41 | (26) | |||
|
42 | (2) | |||
|
44 | (3) | |||
|
47 | (2) | |||
|
49 | (1) | |||
|
50 | (2) | |||
|
52 | (1) | |||
|
53 | (1) | |||
|
54 | (10) | |||
|
54 | (5) | |||
|
59 | (5) | |||
|
64 | (3) | |||
|
65 | (1) | |||
|
65 | (1) | |||
|
66 | (1) | |||
|
67 | (94) | |||
|
70 | (8) | |||
|
72 | (4) | |||
|
76 | (2) | |||
|
78 | (40) | |||
|
79 | (7) | |||
|
86 | (7) | |||
|
93 | (7) | |||
|
100 | (8) | |||
|
108 | (3) | |||
|
111 | (6) | |||
|
117 | (1) | |||
|
118 | (3) | |||
|
121 | (3) | |||
|
124 | (15) | |||
|
124 | (8) | |||
|
132 | (2) | |||
|
134 | (5) | |||
|
139 | (7) | |||
|
140 | (3) | |||
|
143 | (2) | |||
|
145 | (1) | |||
|
146 | (1) | |||
|
146 | (8) | |||
|
147 | (2) | |||
|
149 | (3) | |||
|
152 | (1) | |||
|
153 | (1) | |||
|
154 | (7) | |||
|
156 | (2) | |||
|
158 | (1) | |||
|
159 | (2) | |||
|
161 | (108) | |||
|
162 | (3) | |||
|
165 | (2) | |||
|
167 | (3) | |||
|
170 | (1) | |||
|
171 | (39) | |||
|
171 | (6) | |||
|
177 | (2) | |||
|
179 | (6) | |||
|
185 | (25) | |||
|
210 | (26) | |||
|
210 | (3) | |||
|
213 | (16) | |||
|
229 | (7) | |||
|
236 | (33) | |||
|
236 | (4) | |||
|
240 | (17) | |||
|
257 | (1) | |||
|
258 | (1) | |||
|
259 | (3) | |||
|
262 | (4) | |||
|
266 | (3) | |||
|
269 | (116) | |||
|
270 | (4) | |||
|
271 | (1) | |||
|
271 | (1) | |||
|
272 | (1) | |||
|
273 | (1) | |||
|
274 | (1) | |||
|
274 | (42) | |||
|
275 | (2) | |||
|
277 | (3) | |||
|
280 | (2) | |||
|
282 | (20) | |||
|
302 | (10) | |||
|
312 | (1) | |||
|
313 | (3) | |||
|
316 | (21) | |||
|
317 | (3) | |||
|
320 | (17) | |||
|
337 | (10) | |||
|
339 | (3) | |||
|
342 | (3) | |||
|
345 | (2) | |||
|
347 | (2) | |||
|
349 | (2) | |||
|
351 | (4) | |||
|
355 | (1) | |||
|
356 | (1) | |||
|
356 | (4) | |||
|
360 | (25) | |||
|
371 | (1) | |||
|
372 | (6) | |||
|
378 | (3) | |||
|
381 | (4) | |||
|
385 | (72) | |||
|
386 | (2) | |||
|
388 | (3) | |||
|
391 | (12) | |||
|
391 | (1) | |||
|
392 | (7) | |||
|
399 | (1) | |||
|
399 | (1) | |||
|
400 | (1) | |||
|
400 | (1) | |||
|
401 | (2) | |||
|
403 | (17) | |||
|
403 | (7) | |||
|
410 | (3) | |||
|
413 | (3) | |||
|
416 | (1) | |||
|
417 | (3) | |||
|
420 | (1) | |||
|
421 | (12) | |||
|
421 | (5) | |||
|
426 | (4) | |||
|
430 | (1) | |||
|
431 | (2) | |||
|
433 | (14) | |||
|
434 | (5) | |||
|
439 | (5) | |||
|
444 | (3) | |||
|
447 | (4) | |||
|
451 | (1) | |||
|
451 | (6) | |||
|
452 | (1) | |||
|
453 | (1) | |||
|
454 | (3) | |||
|
457 | (44) | |||
|
459 | (1) | |||
|
460 | (16) | |||
|
462 | (7) | |||
|
469 | (1) | |||
|
469 | (7) | |||
|
476 | (7) | |||
|
477 | (1) | |||
|
478 | (1) | |||
|
479 | (3) | |||
|
482 | (1) | |||
|
483 | (7) | |||
|
486 | (1) | |||
|
487 | (1) | |||
|
488 | (1) | |||
|
489 | (1) | |||
|
490 | (2) | |||
|
491 | (1) | |||
|
492 | (3) | |||
|
495 | (6) | |||
|
497 | (1) | |||
|
498 | (1) | |||
|
499 | (2) | |||
|
501 | (28) | |||
|
502 | (1) | |||
|
503 | (4) | |||
|
507 | (16) | |||
|
507 | (1) | |||
|
508 | (1) | |||
|
508 | (1) | |||
|
509 | (1) | |||
|
510 | (1) | |||
|
511 | (1) | |||
|
512 | (2) | |||
|
514 | (2) | |||
|
516 | (4) | |||
|
520 | (1) | |||
|
521 | (1) | |||
|
522 | (1) | |||
|
522 | (1) | |||
|
523 | (1) | |||
|
524 | (1) | |||
|
525 | (4) | |||
|
525 | (1) | |||
|
526 | (1) | |||
|
526 | (3) | |||
|
529 | (7) | |||
|
529 | (3) | |||
|
532 | (1) | |||
|
533 | (1) | |||
|
534 | (2) | |||
|
534 | (2) | |||
Appendix | 536 | (24) | |||
Case Studies | |||||
|
536 | (5) | |||
|
538 | (1) | |||
|
538 | (2) | |||
|
540 | (1) | |||
|
540 | (1) | |||
|
541 | (1) | |||
|
541 | (8) | |||
|
541 | (1) | |||
|
542 | (1) | |||
|
542 | (1) | |||
|
543 | (1) | |||
|
543 | (1) | |||
|
544 | (1) | |||
|
545 | (1) | |||
|
546 | (1) | |||
|
546 | (1) | |||
|
546 | (3) | |||
|
549 | (1) | |||
|
550 | (10) | |||
|
551 | (1) | |||
|
552 | (1) | |||
|
553 | (2) | |||
|
555 | (1) | |||
|
555 | (2) | |||
|
557 | (1) | |||
|
558 | (1) | |||
|
559 | (1) | |||
Bibliography | 560 | (29) | |||
Index | 589 |
What is included with this book?
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.