Skip to Main Content
Essentials of Software Engineering, 2nd Edition
book

Essentials of Software Engineering, 2nd Edition

by Frank Tsui, Orlando Karam
April 2010
Intermediate to advanced content levelIntermediate to advanced
400 pages
12h 44m
English
Jones & Bartlett Learning
Content preview from Essentials of Software Engineering, 2nd Edition
290 CHAPTER 10 Testing and Quality Assurance
They are not usually applicable to all aspects of software develop-
ment. For example, they would be very hard to apply to user-inter-
face design.
In spite of their drawbacks, formal methods are useful and have been
applied with success to some special real-world problems in industries such
as aerospace or federal government. Learning formal methods can give
much useful insight to a software engineer, and they can be applied to par-
ticular modules that need extremely high reliability. Even if specifications
are not completely formal, the mental discipline of formal methods can be
extremely useful. They can ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Essentials of Software Engineering, 4th Edition

Essentials of Software Engineering, 4th Edition

Frank Tsui, Orlando Karam, Barbara Bernal
Essentials of Software Engineering, 3rd Edition

Essentials of Software Engineering, 3rd Edition

Frank Tsui, Orlando Karam, Barbara Bernal
Essentials of Software Engineering, 5th Edition

Essentials of Software Engineering, 5th Edition

Frank Tsui, Orlando Karam, Barbara Bernal

Publisher Resources

ISBN: 9780763785345