![]() |
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 |
|
|---|
![]() |
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 Handbook of Software and Systems Engineering: Empirical Observations, Laws and Theories | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Addison Wesley - PEARSON | ISBN-10: 0321154207 ISBN-13: 9780321154200 | PGS: N/A | List: 93.60 YOUR PRICE: 88.92 | ||||
| Advanced Software Engineering: Expanding the Frontiers of Software Technology | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | H | ISBN-10: 0387348285 ISBN-13: 9780387348285 | PGS: N/A | List: 129.00 YOUR PRICE: 122.55 | |||
| Aerospace Software Engineering: A Collection of Concepts | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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. | |||||||
| AIAA | H | ISBN-10: 1563470055 ISBN-13: 9781563470059 | PGS: 630 | List: 101.95 YOUR PRICE: 96.85 | |||
| Agent-Oriented Software Engineering VII | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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 VERLAG | S | ISBN-10: 3540709442 ISBN-13: 9783540709442 | PGS: N/A | List: 79.95 YOUR PRICE: 75.95 | |||
| Agent-Oriented Software Engineering VIII | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | S | ISBN-10: 3540794875 ISBN-13: 9783540794875 | PGS: N/A | List: 69.95 YOUR PRICE: 66.45 | |||
| Agile Management for Software Engineering: Applying the Theory of Constraints for Business Results, 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 - PEARSON | ISBN-10: 0131424602 ISBN-13: 9780131424609 | PGS: N/A | List: 69.99 YOUR PRICE: 66.49 | ||||
| Agile Processes in Software Engineering and Extreme Programming | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | S | ISBN-10: 3540682547 ISBN-13: 9783540682547 | PGS: N/A | List: 69.95 YOUR PRICE: 66.45 | |||
| Agile Processes in Software Engineering and Extreme Programming | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | S | ISBN-10: 3540731009 ISBN-13: 9783540731009 | PGS: N/A | List: 64.95 YOUR PRICE: 61.70 | |||
| Agile Software Engineering | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | S | ISBN-10: 1848001985 ISBN-13: 9781848001985 | PGS: N/A | List: 39.95 YOUR PRICE: 37.95 | |||
| Agile Software Engineering with Visual Studio: From Concept to Continuous Feedback, 2nd Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Addison-Wesley Professional - PEARSON | ISBN-10: 0321685857 ISBN-13: 9780321685858 | PGS: N/A | List: 44.99 YOUR PRICE: 42.74 | ||||
| An Integrated Approach to Software Engineering | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | H | ISBN-10: 0387208817 ISBN-13: 9780387208817 | PGS: N/A | List: 89.95 YOUR PRICE: 85.45 | |||
| An Introduction to Combustion: Concepts and Applications w/Software, 2nd Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| McGraw-Hill Science/Engineering/Math | H | ISBN-10: 007235044X ISBN-13: 9780072350449 | PGS: N/A | List: 193.75 YOUR PRICE: 184.06 | |||
| Analysis and Software of Cylindrical Members A recipe for success in offshore structural engineering design and performa | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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 & FRANCIS | H | ISBN-10: 0849382823 ISBN-13: 9780849382826 | PGS: 320 | List: 229.95 YOUR PRICE: 218.45 | |||
| ANTENNA ENGINEERING USING PHYSICAL OPTICS: PRACTICAL CAD TECHNIQUES AND SOFTWARE | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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 HOUSE | H | ISBN-10: 0890067325 ISBN-13: 9780890067321 | PGS: 342 | List: 149.00 YOUR PRICE: 141.55 | |||
| Applied Software Product-Line Engineering, 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Auerbach Publication - TAYLOR & FRANCIS | H | ISBN-10: 1420068415 ISBN-13: 9781420068412 | PGS: 416 | List: 99.95 YOUR PRICE: 94.95 | |||
| Artificial Intelligence and Software Engineering, 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Routledge - TAYLOR & FRANCIS | H | ISBN-10: 1579580629 ISBN-13: 9781579580629 | PGS: N/A | List: 152.00 YOUR PRICE: 144.40 | |||
| Balancing Agility and Formalism in Software Engineering | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | S | ISBN-10: 3540852780 ISBN-13: 9783540852780 | PGS: N/A | List: 69.95 YOUR PRICE: 66.45 | |||
| Bioinformatics Software Engineering: Delivering Effective Applications | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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 & SONS | S | ISBN-10: 0470857722 ISBN-13: 9780470857724 | PGS: 140 | List: 79.95 YOUR PRICE: 75.95 | |||
| C: A Software Engineering Approach | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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 VERLAG | S | ISBN-10: 0387946757 ISBN-13: 9780387946757 | PGS: N/A | List: 89.95 YOUR PRICE: 85.45 | |||
| Categories for Software Engineering | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | H | ISBN-10: 3540209096 ISBN-13: 9783540209096 | PGS: N/A | List: 89.95 YOUR PRICE: 85.45 | |||
| Cleanroom Software Engineering: A Reader | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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. 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-Blackwell | H | ISBN-10: 185554654X ISBN-13: 9781855546547 | PGS: 392 | List: 114.95 YOUR PRICE: 109.20 | |||
| Cleanroom Software Engineering: Technology and Process, 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 - PEARSON | ISBN-10: 0201854805 ISBN-13: 9780201854800 | PGS: N/A | List: 49.95 YOUR PRICE: 47.45 | ||||
| Component-Based Software Engineering | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
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 VERLAG | S | ISBN-10: 3540878902 ISBN-13: 9783540878902 | PGS: N/A | List: 79.95 YOUR PRICE: 75.95 | |||
| Component-Based Software Engineering | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| 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. PRESS | ISBN-10: 0521648211 ISBN-13: 9780521648219 | PGS: N/A | List: 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. |
![]() |
|---|
| 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 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.