Software Engineering An Engineering Approach

by Peters, James F.; Pedrycz, Witold

• ISBN13: 9780471189640
• ISBN10: 0471189642
• Edition: 1st
• Format: Hardcover
• Copyright: 1999-12-15
• Publisher: Wiley

Summary

* Students are given the opportunity to expand their horizons through frequent references to related web pages.

Author Biography

<b>James F. Peters</b> is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Manitoba (Canada). He has published numerous papers on formal methods in the design of real-time systems, application of fuzzy sets, rough sets, Petri nets and software engineering. He serves as Associate Editor of Control Engineering Practice and is an IEEE distinguished lecturer on formal methods in system design. <b>Witold Pedrycz</b> is a Professor and Associate Head in the Department of Electrical and Computer Engineering at the University of Alberta (Canada). He has published numerous papers and is an author of a research monograph on fuzzy control and fuzzy systems, one on fuzzy sets engineering, and a co-author of a monograph on fuzzy relational equations. He serves as Associate Editor for the Transactions on Fuzzy Systems, Transactions on Neural Networks, and is a member of the editorial board.

Table of Contents

Software Engineering Landscape	1	(32)
Introduction	2	(1)
The Nuggets of Software Engineering Components	3	(2)
An Engineering Approach	5	(1)
Software Development Problems	6	(5)
Measuring Software Quality	11	(5)
Buy, Don't Build	16	(1)
Incremental Development	16	(5)
Capability Maturity Model	21	(5)
Software Standards	26	(1)
Summary	26	(2)
Problems	28	(1)
References	29	(4)
Software Process	33	(46)
Introduction	33	(2)
ETVXM Architecture	35	(3)
Profiles of a Software Process	38	(5)
Predevelopment Process	43	(2)
Software Development Process	45	(1)
Software Life-Cycle Models	46	(14)
Synchronize and Stabilize Model	60	(1)
Cleanroom Process Model	61	(5)
Specializing Universal Software Process Models	66	(2)
Example: Worldly and Atomic Models	68	(3)
Summary	71	(1)
Problems	72	(3)
References	75	(4)
Software Configuration Management	79	(18)
Introduction	80	(1)
Software Configuration Identification	81	(1)
Software Configuration Control	82	(2)
Software Configuration Auditing	84	(1)
Software Configuration Status Accounting	84	(1)
Dynamics of SCM	85	(1)
Tools of SCM	86	(5)
Tools for SCM Auditing	91	(3)
Summary	94	(1)
Problems	95	(1)
References	96	(1)
Software Project: Planning	97	(20)
Introduction	98	(1)
Getting Started	99	(4)
Cast Study: tATC Project	103	(4)
Atomic-Level Models for ATC	107	(6)
Summary	113	(1)
Problems	113	(3)
References	116	(1)
Requirements Engineering	117	(68)
Introduction	117	(2)
Problem Analysis	119	(1)
Software Requirements Specification	120	(5)
Example: Vehicle Navigation System	125	(2)
Object-Oriented Requirements Analysis	127	(5)
Function-Oriented Analysis	132	(4)
Process Specification	136	(1)
Jackson System Development Method	137	(2)
SDL	139	(1)
SADT	140	(2)
DARTS	142	(2)
CODARTS	144	(1)
State-Oriented Approach to Behavioral Specification	145	(8)
Formal Methods Approach to Specification	153	(14)
Nonbehavioral Features of SRS	167	(6)
Measuring the Quality of the Requirements	173	(1)
Two-Way Traceability Requirements	174	(1)
Summary	175	(1)
Problems	176	(4)
References	180	(5)
Software Project: Requirements	185	(20)
Introduction	185	(2)
Cast Study: SRS for Air Traffic Control Assistant	187	(12)
SRS-3 State-Based Version	199	(3)
Summary	202	(1)
Problems	203	(1)
References	204	(1)
Software Design: Architectures	205	(48)
Introduction	205	(3)
Software Architectures	208	(1)
Architectural Styles	209	(1)
Data Flow Architectures	210	(4)
Call and Return Architectures	214	(5)
Independent-Process Architectures	219	(8)
Virtual Machine Architectures	227	(7)
Repository Architectures	234	(4)
Domain-Specific Architectures	238	(6)
Summary	244	(1)
Problems	244	(5)
References	249	(4)
Design Elaboration	253	(50)
Introduction	254	(2)
Incremental Approach to Design Elaboration	256	(9)
Design Elaboration with Object Structures	265	(15)
Example: Robot Control System	280	(12)
Summary	292	(1)
Problems	292	(9)
References	301	(2)
Design Elaboration: Mobile Computing	303	(48)
Introduction	304	(1)
Design Elaboration: Mobile Computing	305	(12)
Example: Design Elaboration in Java	317	(19)
Summary	336	(1)
Problems	336	(13)
References	349	(2)
Software Project: Design	351	(40)
Introduction	352	(1)
Getting Started	352	(11)
Incremental Design of Aircraft Scanner	363	(1)
Prototyping Aircraft Displays	364	(9)
Implementing Architectural Designs	373	(1)
Designing with Maintenance in Mind	374	(1)
Increment with Partial Pipeline Architecture	374	(11)
Summary	385	(1)
Problems	386	(3)
References	389	(2)
Software Design: Validation and Risk Analysis	391	(46)
Introduction	392	(1)
Validating Software Design	392	(11)
Basis for SDD Evaluation	403	(3)
Risk Engineering: Management and Analysis	406	(3)
Describing Software Interfaces	409	(3)
Algorithms	412	(7)
Detailed Software Design	419	(5)
Summary	424	(1)
Problems	424	(10)
References	434	(3)
Software Testing	437	(64)
Introduction	437	(2)
Taxonomy of Software Testing	439	(4)
Levels of Software Testing	443	(2)
Test Activities	445	(2)
Type of Software Tests	447	(1)
Black Box Testing	448	(11)
Testing Boundary Conditions	459	(1)
Exhaustive Testing	460	(1)
Structural Testing	461	(15)
Test Coverage Criteria Based on Data Flow Mechanisms	476	(5)
Guidelines in Applying Coverage Techniques	481	(1)
Regression Testing	481	(1)
Static Software Testing	482	(3)
Formal Techniques	485	(1)
Testing in the Large	485	(7)
Summary	492	(1)
Problems	493	(6)
References	499	(2)
Software Measures	501	(60)
Introduction	502	(1)
Software Measure and Software Measurement	503	(2)
Size, Data, and Logic-Based Software Complexity Measures	505	(2)
Software Science Measures	507	(10)
Size Measure Based on Zipf's Law	517	(3)
Data Structure Measure	520	(1)
Logic Structure Measure	520	(14)
Entropy-Based Software Measure	534	(4)
Information Flow Software Measure	538	(3)
Software Measures for Object-Oriented Systems	541	(11)
Software Quality Improvement Paradigm	552	(1)
Summary	552	(1)
Problems	553	(6)
References	559	(2)
Software Cost Estimation	561	(24)
Introduction	562	(2)
Function Points Models	564	(6)
The COCOMO Model	570	(7)
Delphi Method of Cost Estimation	577	(4)
Summary	581	(1)
Problems	581	(2)
References	583	(2)
Software Reliability	585	(50)
Introduction	586	(1)
Basic Ideas of Software Reliability	586	(5)
Computation of System Reliability	591	(4)
Classes of Software Reliability Models	595	(2)
Time-Dependent Software Reliability Models	597	(9)
Time-Independent Software Reliability Models	606	(11)
Orthogonal Defect Classification	617	(1)
Software Availability Models	618	(6)
Software Reliability Modeling: A General Procedure	624	(3)
Summary	627	(1)
Problems	628	(4)
References	632	(3)
Human Factors	635	(20)
Introduction	635	(3)
Human Factors in Software Development	638	(5)
Cognitive Science and Programming	643	(3)
Personal Software Process Model	646	(1)
Human--Computer Interaction	647	(3)
Summary	650	(1)
Problems	650	(3)
References	653	(2)
Software Reengineering	655	(8)
Introduction	655	(2)
Reengineering Method	657	(1)
Reengineering Economics	658	(2)
Why Reengineer?	660	(1)
Reverse Engineering Newsletter	661	(1)
Summary	661	(1)
Problems	661	(1)
References	662	(1)
Software Maintenance	663	(20)
Introduction	664	(1)
Maintenance Activities	664	(1)
Maintenance Models	665	(4)
Maintainability	669	(4)
Software Reuse	673	(2)
Reverse Engineering	675	(1)
Design for Maintainability	676	(1)
Summary	677	(1)
Problems	677	(3)
References	680	(3)
Glossary	683	(14)
Index	697