OPAMP Opamp Technical Books
1033 N. Sycamore Ave.
Los Angeles, CA 90038
WWW.OPAMP.COM
1 - 800 - 468 - 4322

8:00am-4:30pm M-F
9:00am-5:30pm Sat
  • DISCOUNTS APPLY TO SHIPPED ORDERS ONLY!
  • Price and Availability subject to change.
  • We confirm your order status by e-mail.
 

Keywords: software engineering
Your search found 192 books
Now viewing Books 1 - 25
In stock items ship IMMEDIATELY.
Other titles usually ship within 2-3 days.

A Concise Introduction to Software Engineering
JALOTE2008

Software engineering is an integral part of studies in computer science and consequently foundational knowledge is critical to all students in the field. This text focuses on the essential elements, providing readers with the basic skills and introduct,

SPRINGER VERLAGSISBN-10: 1848003019
ISBN-13: 9781848003019
  PGS: N/AList: 39.95     YOUR PRICE: 37.95

A Handbook of Software and Systems Engineering: Empirical Observations, Laws and Theories
Endres, Albert
Rombach, Dieter
2003
Addison Wesley - PEARSONISBN-10: 0321154207
ISBN-13: 9780321154200
  PGS: N/AList: 93.60     YOUR PRICE: 88.92

Advanced Software Engineering: Expanding the Frontiers of Software Technology
OCHOA2006

This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The proceedings of the World Computer Congress are a product of the gathering of 2,000 delegates from more than 70 countries to discuss a myriad of topics i, Not available.

SPRINGER VERLAGHISBN-10: 0387348285
ISBN-13: 9780387348285
  PGS: N/AList: 129.00     YOUR PRICE: 122.55

Aerospace Software Engineering: A Collection of Concepts
Christine Anderson, Merlin Dorfman1991
Aerospace Software Engineering brings you the knowledge of some of the finest software engineers in the world-in a single volume. This text is an essential guide for the aerospace program manager who must deal with software as part of the overall system and a valuable update for the practicing software engineer.
AIAAHISBN-10: 1563470055
ISBN-13: 9781563470059
  PGS: 630List: 101.95     YOUR PRICE: 96.85

Agent-Oriented Software Engineering VII
PADGHAM2007
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent oriented modelling techniques ar,
SPRINGER VERLAGSISBN-10: 3540709442
ISBN-13: 9783540709442
  PGS: N/AList: 79.95     YOUR PRICE: 75.95

Agent-Oriented Software Engineering VIII
LUCK2008

Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are i,

SPRINGER VERLAGSISBN-10: 3540794875
ISBN-13: 9783540794875
  PGS: N/AList: 69.95     YOUR PRICE: 66.45

Agile Management for Software Engineering: Applying the Theory of Constraints for Business Results, 1st Ed.
Anderson, David J.2004


Foreword.


Introduction.


Acknowledgements.

SECTION I. AGILE MANAGEMENT.

1. Theories for Agile Management.

The Theory of Constraints. Just-in-Time Inventory. Quality. Lean Production. Six Sigma. Comparison of Theories. Scientific Proof for Agile Management. Empirical Versus Defined Processes. Convergent Versus Divergent Processes. Chaos Theory and Uncertainty. Systems Thinking and Learning Organizations. Emergence. Summary.

2. Management Accounting for Systems.

A General System. Detail Complexity Versus Systems Complexity. Throughput Accounting for General Systems. A System of Software Development. A More Complex Software Development System. The System Goal. Financial Metrics for General Business Systems. Financial Metrics for Software Development Systems. Predicting the Future. Framing the Problem. Understanding Software Production in the Value Chain. Throughput Accounting Versus Cost Accounting. Summary.

3. TOC in Software Production.

TOC's Five Basic Steps. Identify and Exploit Constraints. Perishable Requirements. Idleness Might Breed Contempt. Elevating a Constraint. Focus of Investment. Is the 8-Hour Day the Best Choice of System Constraint? Summary.

4. Dealing with Uncertainty.

The Five Constraints of Software Development. Aggregation Reduces Uncertainty. Summary.

5. Software Production Metrics.

Choosing Metrics. Agile Software Production Metrics. Traditional Software Production Metrics. Measuring Inventory in the Software Production System. Expressions of Inventory. Measuring Production Quantity. Lead Time. OE per Unit. Summary.

6. Agile Project Management.

Traditional Versus RAD Model for Project Management. Task Planning and Effort Tracking. The Project Manager's New Work. Summary.

7. Agile Project Planning.

The Project Buffer. Logical Collections of Inventory. The Critical Path and Parallel Paths. Early Start. Late Start. Feeding Buffers. Buffer Usage. Agile Project Tracking Metrics. Resource Constraints. Critical Chain Versus Critical Path. Summary.

8. The Agile Manager's New Work.

New Roles for Agile Managers. Development Manager Role. The Program or Release Manager Role. Product Manager Role. Project Manager Role. Roles Versus Positions.

9. Agile Development Management.

The Role of the Development Manager. Identifying Flow. Identifying a Bottleneck. The True Cost of a Bottleneck. Recovering and Stretching Software Production Constraints. The True Cost of Poor Quality. Regression Effects. Improve Quality in Front of a Bottleneck. How Batch Sizes Affect Flow. Monitoring Cumulative Flow. Visual Control. Summary.

10. Software Resource Planning.

Manufacturing Resource Planning (MRP). Drum Beat. Planning Release of Requirements into the System. Summary.

11. An Agile Maturity Model.

A New Maturity Model. Summary.

12. Setting the Governing Rules.

Allow Adaptive Behavior to Emerge. The Role of the Agile Executive. Reinertsen's Three Tiers of Control. The Process Improvement Problem. The Problem with Production Rate Metrics. Governing Rules as Maturity Increases. Governing Rules for Managers. Governing Rules for Engineers. Team Measurements.

13. Staffing Decisions.

Turnover. Loss of Throughput on a Constraint. Understanding the System Constraint is Essential. Outsource Decisions.

14. Operations Review.

Purpose. Attendees. Timing. Information Rather Than Data. Summary.

15. Agile Management in the IT Department.

Corporate IT's Value-Added Contribution. Learning from Financial Metrics. A More Profitable Corporate IT Department. Summary.

16. Agile Product Management.

Sales and Throughput. Learning Is Not Restricted to Engineering. Management Accounting for Product Development. Throughput Accounting for Software Product Development. Appropriateness of the Time-Based Throughput Model. Cost Accounting for Software Product Development. Throughput Versus Cost Models. Making On-Going Investment. Product Mix. Managing the Scope Constraint. Product Mix When Revenue Is the Goal. Product Mix and the Effect on Investment. Product Mix, Risk, and Delay and the Effect on Operating Expense. Summary.

17. Financial Metrics for Software Services.

Defining a Software Service. Service Business Economics. Determining Throughput for Software Services. Operating Expense for Services. Net Profit for Services. Return on Investment for Services. Attributing a Value to a Release. Profit and ROI by Service Release. Product Mix. Dealing with Uncertainty.

18. The Business Benefit of Agile Methods.

The Principles of Agile Methods. More Than Agility. Making Profitable Development Happen.

SECTION II. A SURVEY OF METHODS.

19. Production Metrics for Traditional Methods.

SDLC. Unified Development Process.

20. Financial Metrics in Traditional Methods.

Inventory. Investment. Operating Expense. Throughput. Net Profit in Structured Methods. Return on Investment in Structured Methods. Accounting for Change.

21. Production Metrics in FDD.

Overview of Feature Driven Development (FDD). Feature Definition. Agile Management Theory and FDD. Process Steps and FDD. Estimating OE for an FDD Project. The Modeling Rule of Thumb. Level of Effort Estimation in FDD. Formulae for Success.

22. Project Management with FDD.

Self-Organizing Construction within Planned Assembly. Feature Sets. Build Batches. User Interface Feature Sets. Subject Areas. The Feature Lifecycle. Process Control in FDD. Estimates Versus Agreed Function. Scheduling an FDD Project. Scheduling Subject Areas and Feature Sets. FDD Workflow. FDD Knowledge Management System and Visual Control. Executive Management Metrics in FDD.

23. FDD Process Elements Explained.

Exploiting Engineering Resources. The File Access Constraint—Class Ownership. The Developer Resource Constraint—Feature Teams and the Surgical Team. The Setup Time Constraint—Chief Programmer Work Packages. Batch Size. The Scope Constraint—Prioritized Feature Lists. The Time Constraint and Buffers. The Budget Constraint—Inventory Cap and Buffer. The Test Bottleneck. Advanced Modeling Techniques. Inventory Management in FDD. Morning Roll Call. How FDD Improves the S-Curve Effect. The Time Constraint Revisited. The Local Safety Problem. Exploiting Heroic Effort.

24. Financial Metrics in FDD.

Inventory in FDD. Investment in FDD. Operating Expense in FDD. Throughput in FDD. Value-Added in FDD. Return on Investment in FDD. Accounting for Change. Accounting for Rework. Avoid Double-Counting.

25. Production Metrics in Extreme Programming.

Metrics in XP. Raw Material. Inventory. Tasks. Throughput. Production Rate. Inventory Tracking. Lead Time. Process Step Time. Inventory Cap. Investment. Risk Philosophy. Testing. Pipelining. Refactoring. Metrics for Up-Management in XP.

26. XP Process Elements Explained.

Assessing User Stories. Prioritizing Stories. Option Theory. The Planning Game. Continuous Integration. Integration Testing. Pair Programming. Stand-Up Meeting. Unit Testing. Collective Ownership. Refactoring. 40-Hour Week. On-Site Customer. Generalists. Elimination Versus Protection, Subordination, and Elevation.

27. Financial Metrics in XP.

Inventory in XP. Investment in XP. Operating Expense in XP. Throughput in XP. Net Profit in XP. Return on Investment in XP. Accounting for Change. Accounting for Rework. The Cost of Change Curve.

28. Production Metrics in Scrum.

Background. Raw Material. Inventory. Throughput. Production Rate. Metrics. Sprint Planning and Project Management. Inventory Tracking. Lead Time. Process Step Time. No Expediting. Inventory Cap. Investment. Risk Philosophy. Testing. Pipelining. Refactoring. Metrics for Up-Management in Scrum.

29. Scrum Process Elements Explained.

The Scrum Master. The Product Backlog. The 30-Day Sprint. Release. The Sprint Goal Commitment. The Scrum Meeting. Team Size. Team Composition. Working Environment. The Sprint Review. Engineering Practices.

30. RAD Process Elements Explained.

Principles of RAD. Inventory Cap. Lead Time. Operating Expense. Limits of RAD Methods.

SECTION III. COMPARISON OF METHODS.

31. Devil's Advocacy.

Traditional Metrics Versus Agile Principles. Specialists Versus Generalists. Adding More People Makes Projects Later.

32. States of Control and Reducing Variation.

The Ideal State. The Threshold State. The Edge of Chaos State. Chaos. Comprehending the Known Universe. Improving Analysis and Modeling Maturity. Improving the Process Maturity. FDD Focuses on Variance as Well as Quality and Inventory. XP Focuses on Quality and Short Lead Times. Comparison of Method Focus. Seek Process Maturity.

33. Comparison of Production Metrics.

FDD. Extreme Programming. Scrum. Traditional Methods—Function Points. Traditional Methods—UDP. Summary.

34. Applicability of Agile Methods.

Dividing up the Process Space. What is Agility? Scale Versus Ability to Expedite. Statistical Process Control and Agile Methods. What Does This Mean? Transferable Quality Improvement. Summary.

Index.

Prentice Hall - PEARSONISBN-10: 0131424602
ISBN-13: 9780131424609
  PGS: N/AList: 69.99     YOUR PRICE: 66.49

Agile Processes in Software Engineering and Extreme Programming
ABRAHAMSSON2008

This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008.

Out of 54 submitted papers, 16 were accepted,

SPRINGER VERLAGSISBN-10: 3540682547
ISBN-13: 9783540682547
  PGS: N/AList: 69.95     YOUR PRICE: 66.45

Agile Processes in Software Engineering and Extreme Programming
CONCAS2007

This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007.

The 10 revised full papers and 16 revised short pap,

SPRINGER VERLAGSISBN-10: 3540731009
ISBN-13: 9783540731009
  PGS: N/AList: 64.95     YOUR PRICE: 61.70

Agile Software Engineering
HAZZAN2008

This concise easy-to-follow textbook presents the crucial issues in software engineering using the agile approach to software development - one of the mainstream paradigms for the management of software projects and one that is being applied more and m,

Introduction to Agile Software Development.- Teamwork.- Customer and Users.- Time.- Measures.- Quality.- Learning.- Abstraction.- Trust.- Globalization.- Reflection.- Change.- Leadership.- Delivery and Cyclicality.- Epilogue

SPRINGER VERLAGSISBN-10: 1848001985
ISBN-13: 9781848001985
  PGS: N/AList: 39.95     YOUR PRICE: 37.95

Agile Software Engineering with Visual Studio: From Concept to Continuous Feedback, 2nd Ed.
Guckenheimer, Sam
Loje, Neno
2012
Addison-Wesley Professional - PEARSONISBN-10: 0321685857
ISBN-13: 9780321685858
  PGS: N/AList: 44.99     YOUR PRICE: 42.74

An Integrated Approach to Software Engineering
JALOTE2005

 

This textbook introduces software engineering to advanced undergraduates and graduates of computer science. It emphasizes a case-study approach whereby a project is developed through the course of the book, illustrating the different activiti,

 

* Introduction * Software processes * Software requirements analysis and specification * Planning a software project * Function-oriented design * Architecture * Object-oriented design * Detailed design * Coding * Testing * References * Index
SPRINGER VERLAGHISBN-10: 0387208817
ISBN-13: 9780387208817
  PGS: N/AList: 89.95     YOUR PRICE: 85.45

An Introduction to Combustion: Concepts and Applications w/Software, 2nd Ed.
Turns, Stephen R
McGraw-Hill Science/Engineering/MathHISBN-10: 007235044X
ISBN-13: 9780072350449
  PGS: N/AList: 193.75     YOUR PRICE: 184.06

Analysis and Software of Cylindrical Members A recipe for success in offshore structural engineering design and performa
Toma; Shouji Chen; Wai-Fah 1996
INTRODUCTION, S. Toma and W.-F. Chen General Circular Cylindrical Members Analytical Approach Organization of the Book Computer Software CENTRALLY AND ECCENTRICALLY COMPRESSED COLUMNS, S. Toma and W.-F. Chen Introduction Behavior and Strength of Short Columns Moment-Curvature Relation Tangent Stiffness Method Initial Imperfections Effect of Hydrostatic Pressure Computer Implementation Numerical Results Behavior and Strength of Long Columns Newmark's Method Out-of-Straightness Computer Implementation Numerical Results Effect of Hydrostatic Pressure User's Manual of the Program NEWMARK Sample Calculations Short-Column Analysis Long-Column Analysis References APPROXIMATE ANALYSIS OF BEAM-COLUMNS, S. Toma and W.-F. Chen Notations Introduction Load-Deflection Relation Assumed Deflection Method Deflection Functions Moment-Thrust-Curvature Relationships Load-Shortening Relation Elastic Analysis Basic Concept Load-Deflection Relation Load-Shortening Relation Plastic Hinge Method Basic Concept Load-Deflection Relation Load-Shortening Relation Modified Plastic Hinge Method Basic Concept Load-Deflection Relation Load-Shortening Relation Exact Moment-Curvature Method Basic Concept Closed-Form Expressions of M-P-F Relation Load-Deflection Relation Load-Shortening Relation Average Flow Moment Method Basic Concept Average Flow Moment Load-Deflection Relation Load-Shortening Relation Computer Implementation User's Manual of the Program ADMCOL Sample Calculations Numerical Results Plastic Hinge and Modified Plastic Hinge Methods Exact-Moment Curvature Method Average Flow Moment Method Conclusions References CYCLIC BEHAVIOR AND MODELING, S. Toma and W.-F. Chen Notations Introduction Cyclic Behavior of Short Tube Basic Concept Stress-Strain Relation Exact M-P-F and P-M-e0 Relations Computer Implementation User's Manual for the Program MPCYCL Numerical Results Closed Form Expressions of M-P-F Curves Closed Form Expressions of P-M-e0 Curves Cyclic Analysis of Pin-Ended Columns Basic Concept-Newmark's Method Computer Implementation User's Manual of the Program BMCYCL User's Manual of the Program APCYCL Numerical Results Cyclic Analysis of Fixed-Ended Columns Basic Concept-Hinge-by-Hinge Method Compressive Axial Force (Stages 1 to 4) Tensile Axial Force (Stages 5 to 9) Load-Shortening Relation Computer Implementation User's Manual of the Program FIXCYCL Numerical Results References ANALYSIS CONSIDERING LOCAL BUCKLING EFFECTS, I.S. Sohal and W.-F. Chen Introduction Kinematic Model for Cross Sectional Distortion M-P-F Analysis of Section Pre-Local Buckling Analysis Post-Local Buckling Analysis Reversed Loading Analysis Closed Form Expressions for a Complete Cycle of Loading Load-Deflection Analysis of Members Modified Assumed Deflection Method Relation for Elastic Regime Relation for Primary Yield Regime Relation for Secondary Yield Regime Relation for Post-Local Buckling Regime Relation for Reversed Loading Regime Load-Shortening Analysis of Member Computer Implementation User's Manual of the Program BRACE Solution of Sample Examples Effects of Local Buckling on Pin-Ended Column Effects of Diameter-to-Thickness Ratio on Fixed-Ended Column Effects of End Moment on Pin-Ended Beam-Column Effects of Lateral Loads on Pin-Ended Beam-Column References ANALYSIS CONSIDERING DENT DAMAGE EFFECTS, L. Duan and W.-F. Chen Introduction M-P-F Relationships for Dented Cylindrical Sections Undented Cylindrical Sections Dented Cylindrical Sections M-P-e0 Expressions Member Analysis Considering Dent Damage Effect General Description Numerical Procedure Load-Shortening Relations Computer Implementation Program BCDENT Structure of Program BCDENT User's Manual for BCDENT Input Data Organization Input Data Formats Operation of BCDENT on an IBM-PC Examples Solutions of Undented Cylindrical Member Behavior Undented Columns without Local Buckling Undented Columns with Local Buckling Solutions of Dented Cylindrical Member Pin-Ended Dented Columns Dented Beam-Columns References ANALYSIS OF INTERNALLY GROUT-REPAIRED DAMAGED MEMBERS, J.M. Ricles Introduction M-P-F Analysis Member Analysis Computer Implementation User's Manual Solutions for Member Behavior References Index
CRC - TAYLOR & FRANCISHISBN-10: 0849382823
ISBN-13: 9780849382826
  PGS: 320List: 229.95     YOUR PRICE: 218.45

ANTENNA ENGINEERING USING PHYSICAL OPTICS: PRACTICAL CAD TECHNIQUES AND SOFTWARE
LEO J. DIAZ, THOMAS MILLIGAN1996
Overview: Introduction. Physical Optics and Dyadic Green Function. MATLABr Organization. FORTRAN Organization. Near and Far Field with Vector Propagators. Relation Between Gain and Radiated Field Strength. Assumed Currents on Antenna Elements. Diffraction-Excitation of Currents on Nearby Ground Planes. Parabolic Reflectors. Radar Cross Section. Propagation: Green's Function Formulation. Scalar Green's Function. Dyadic Green's Function. Near and Far Field Regions. Vector Propagator. Radiated Power. Appendix 2.1 -- Useful Mathematical Identities. Appendix 2.2 -- Notes on the Derivation of the Dyadic Green's Functions. Appendix 2.3 -- FORTRAN Subroutines. Arrays and Small Antenna Elements: Introduction. Gain Related to Field Strength. Antenna Arrays. Dipole. Active Pattern, Active Impedance, and Gain of Array. Slots. Microstrip Patch Antennas. Pattern Approximations. Coordinate Rotations. Input from Measured Patterns. Apertures: Equivalence Principle. Equivalent Currents. Aperture Antennas. Pyramidal Horn. Conical Horn. Diffraction: Edge Diffraction. Planar Impedance-Surface Ground Plane. Coated Ground Plane. Direct Currents Method. Hemisphere Diffraction Method for Finite Circular Disks. Diffraction Calculations Using Pyramid Approach. Other Antenna Diffraction Effects. Reflector Antennas: Equivalent Surface at Reflector Surface. Simple Reflector Analysis. Spillover. Blockage. Strut Scattering. Multiple Reflectors. Array Feeding of Reflector. Appendix 6.1 -- MATLAB Coordinate Rotations. Appendix 6.2 -- FORTRAN Subroutines for Arbitrary Rim Shapes. Appendix 6.3 -- FORTRAN Routines for Feeds Using Pattern Approximations. Appendix 6.4 -- FORTRAN Routines Using Measured Feed Pattern. Radar
ARTECH HOUSEHISBN-10: 0890067325
ISBN-13: 9780890067321
  PGS: 342List: 149.00     YOUR PRICE: 141.55

Applied Software Product-Line Engineering, 1st Ed.
Kang, Kyo C.2009
Auerbach Publication - TAYLOR & FRANCISHISBN-10: 1420068415
ISBN-13: 9781420068412
  PGS: 416List: 99.95     YOUR PRICE: 94.95

Artificial Intelligence and Software Engineering, 1st Ed.
PARTRIDGE, D.1998
Routledge - TAYLOR & FRANCISHISBN-10: 1579580629
ISBN-13: 9781579580629
  PGS: N/AList: 152.00     YOUR PRICE: 144.40

Balancing Agility and Formalism in Software Engineering
MEYER2008

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.

The 21 revised full papers p,

SPRINGER VERLAGSISBN-10: 3540852780
ISBN-13: 9783540852780
  PGS: N/AList: 69.95     YOUR PRICE: 66.45

Bioinformatics Software Engineering: Delivering Effective Applications
Paul Weston (HGMP, UK)2004
Preface List of figures. Acknowledgements. PART 1: INTRODUCTION. 1. What You Need to Know. 2. What Is Software Engineering? PART 2: BEFORE BEGINNING. 3. Project Definition. 4. Requirements Capture. 5. Separating Function, Interface and Implementation. 6. Implementation Considerations. 7. Proof of Concept, Prototyping and Buy-in. PART 3: GETTING IT DONE. 8. Data in, Data out and Data Transformation. 9. Where to Start? 10. Functional, then Optimized. 11. Coding Style. PART 4: FOR SOME VALUES OF DONE. 12. Writing the Friendly Manual. 13. Testing – What and When. 14. Rollout and Delivery. 15. Support and Feedback. 16. Planned and Unplanned Enhancements. 17 Project Signoff. Index.
JOHN WILEY & SONSSISBN-10: 0470857722
ISBN-13: 9780470857724
  PGS: 140List: 79.95     YOUR PRICE: 75.95

C: A Software Engineering Approach
DARNELL1997
This highly readable text is designed for beginning and intermediate C programmers. While focusing on the C programming language, the book empasizes stylistic issues and software engineering principles that can be applied to developing programs that are , Introduction to Programming. C Essentials. Introduction to Software Engineering. Scalar Data Types. Control Flow. Operators and Expressions. Arrays and Pointers. Storage Classes. Structures and Unions. Functions. The C Preprocessor. Input and Output. Soft
SPRINGER VERLAGSISBN-10: 0387946757
ISBN-13: 9780387946757
  PGS: N/AList: 89.95     YOUR PRICE: 85.45

Categories for Software Engineering
FIADEIRO2004

This book provides a gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, this book explores the use of categorical constructions from the point of view of the methods and techniqu,

Introduction; Part 1 - Basics: Introducing Categories; Building Categories; Universal Constructions; Functors; Part 2 - Advanced Topics: Functor-Based Constructions; Adjunctions; P

SPRINGER VERLAGHISBN-10: 3540209096
ISBN-13: 9783540209096
  PGS: N/AList: 89.95     YOUR PRICE: 85.45

Cleanroom Software Engineering: A Reader
Jesse Poore (University of Tennesse)1996
The software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable and expensive. Cleanroom Software engineering is the first practical development and certification to use statistical quality control to reduce software defects and costs. It has already distinguished itself as a complete software life cycle process with sound foundations in theory and demonstrated effectiveness in practice.

The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:

*Incremental development under statistical process review.
*Formal methods for specification, design and verification.
*Statistical reliability certification.

A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.

Wiley-BlackwellHISBN-10: 185554654X
ISBN-13: 9781855546547
  PGS: 392List: 114.95     YOUR PRICE: 109.20

Cleanroom Software Engineering: Technology and Process, 1st Ed.
Prowell, Stacy J.
Trammell, Carmen J.
1999


Preface.


Introduction.

I. CLEANROOM SOFTWARE ENGINEERING FUNDAMENTALS.

1. Cleanroom Overview.

Economic Production of High-Quality Software.

Cleanroom Foundations.

Cleanroom Technologies.

The Cleanroom Process.

Relationship of Cleanroom to Other Practices.

Cleanroom Project Experience.

References.

Suggested Reading.

2. Cleanroom Management by Incremental Development.

Benefits of Incremental Development.

Theoretical Foundations of Incremental Development.

Increment Planning in Practice.

Incremental Development in Practice.

References.

3. Cleanroom Software Specification.

Box Structures for Cleanroom Specification and Design.

The Sequence-Based Specification Process.

Example: Specification of a Security Alarm.

References.

4. Cleanroom Software Development.

Box Structure Development.

Clear Box Development.

Clear Box Verification.

Example: The Security Alarm Clear Box.

References.

5. Cleanroom Software Certification.

Benefits of Statistical Testing Based on a Usage Model.

Theoretical Foundations of Statistical Testing.

Statistical Usage Testing in Practice.

Example: Security Alarm.

References.

II. THE CLEANROOM SOFTWARE ENGINEERING REFERENCE MODEL.

6. The Cleanroom Reference Model.

An Introduction to the CRM.

Cleanroom Process Definition Format.

Common Cleanroom Process Elements.

References.

7. Cleanroom Management Processes.

Project Planning Process.

Project Management Process.

Performance Improvement Process.

Engineering Change Process.

8. Cleanroom Specification Processes.

Requirements Analysis Process.

Function Specification Process.

Usage Specification Process.

Architecture Specification Process.

Increment Planning Process.

References.

9. Cleanroom Development Processes.

Software Reengineering Process.

Increment Design Process.

Correctness Verification Process.

References.

10. Cleanroom Certification Processes.

Usage Modeling and Test Planning Process.

Statistical Testing and Certification Process.

References.

11. Cleanroom and the Capability Maturity Model for Software.

The CMM for Software.

Cleanroom Process Mappings to CMM KPAs.

Integrating CRM Technology and CMM Management.

References.

III. A CASE STUDY IN CLEANROOM SOFTWARE ENGINEERING.

12. Satellite Control System Requirements.

The Satellite Control System Case Study.

Satellite Operations Software Requirements.

Reference.

13. Satellite Control System Black Box Specification.

Black Box Sequence-Based Specification.

Step 1: Define the System Boundary.

Step 2: Enumerate Stimulus Sequences.

Step 3: Analyze Canonical Sequences.

Step 4: Define Specification Functions.

Step 5: Construct the Black Box Tables.

Removing Abstractions.

Common Sequence Abstraction Techniques.

14. Satellite Control System State Box Specification.

State Box Specification.

Step 1: Invent the State Data.

Step 2: Construct the State Box Tables.

15. Satellite Control System Clear Box Design.

Clear Box Implementation.

Step 1: Select a High-Level Software Architecture.

Step 2: Select an Implementation for Stimulus Gathering.

Step 3: Select an Implementation for Response Generation.

Step 4: Select an Implementation for the State Data Items.

Step 5: Select an Implementation for Each Entry in the State Box Table.

Step 6: Reorganize the Implementations into Executable Code.

16. Satellite Control System Testing and Certification.

Statistical Testing.

Step 1: Define Certification Plan.

Step 2: Build Model Structure.

Step 3: Determine State Transition Probabilities.

Step 4: Validate the Usage Model.

Step 5: Generate Test Cases, and Execute and Evaluate Results.

Index. 0201854805T04062001

Addison-Wesley Professional - PEARSONISBN-10: 0201854805
ISBN-13: 9780201854800
  PGS: N/AList: 49.95     YOUR PRICE: 47.45

Component-Based Software Engineering
CHAUDRON2008

This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.

The 20 revised full papers and 3 short papers presente,

SPRINGER VERLAGSISBN-10: 3540878902
ISBN-13: 9783540878902
  PGS: N/AList: 79.95     YOUR PRICE: 75.95

Component-Based Software Engineering
Edited by Thomas Jell1998
This book includes coverage of the most important and current topics in Componentware® technology, based in large part on the first Component Users Conference. It addresses such issues as componentware platforms, component design and architecture, distributed object computing, componentware languages, patterns and frameworks, interoperability, and debugging and testing.
CAMBRIDGE UNIV. PRESSISBN-10: 0521648211
ISBN-13: 9780521648219
  PGS: N/AList: 60.00     YOUR PRICE: 60.00

Your search found 192 books
Now viewing Books 1 - 25
In stock items ship IMMEDIATELY.
Other titles usually ship within 2-3 days.

ALTERNATE SEARCHES
Browse Subject         ISBN Search         Table of Contents Search    
Title and/or Author Search       Publisher Search       Advanced Search  

Only a Partial Listing of Our Stock!
2 Week Return Policy (disks must be unopened)


Location/Hours/General Info. Ordering & Shipping Search Techniques/Examples
Corporate Accounts Government Buyers Librarians
Universities & Colleges Training Accounts International Orders
Technical Books on these areas & more:
Computer Business Electronics
Engineering Uniform & Code Construction
Film & TV Industry Legal Medical
Recording Industry Math & Science Classic & Out-Of-Print Titles

Opamp Technical has one of the largest selections of technical books in the country. Our bookstore was started over 20 years ago. We supply all types of professional & educational technical books to individuals, government agencies, schools, corporate libraries, & many industries.
 

OPAMP Technical Books
1033 N. Sycamore Avenue
Los Angeles, California    90038   USA
800-468-4322 / 323-464-4322     FAX 323-464-0977
Copyright © 1997-2007 Opamp Technical Books, Inc.