Autore	Schneidewind Norman
Pubbl/distr/stampa	New York, NY : , : Institute of Electrical and Electronics Engineers, , 2009
Descrizione fisica	1 PDF (xix, 443 pages) : illustrations
Disciplina	005.3
Soggetto topico	Computer software - Reliability Software engineering Systems engineering Engineering & Applied Sciences Computer Science
ISBN	1-118-12810-9 1-118-09892-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Preface xix -- Part 1 : Systems and Software Engineering Models, Methods, Tools, and Standards -- Chapter 1: Quantitative Methods to Ensure the Reliability, Maintainability, and Availability of Computer Hardware and Software 1 -- Chapter 2: Overview of Software Reliability Engineering 45 -- Chapter 3: Statistical Quality Control 63 -- Chapter 4: Risk, Reliability, and Testing Case Study 77 -- Chapter 5: Models for Systems and Software Engineering 103 -- Chapter 6: Software Reliability Metrics 129 -- Chapter 7: Software Reliability and Metrics Tools 153 -- Chapter 8: Integrating Testing with Reliability 187 -- Chapter 9: Architecture, Performance, Reliability, and Availability 211 -- Chapter 10: Internet Fault Tree Analysis for Reliability Estimation 227 -- Chapter 11 : Standard for Software Reliability 245 -- Part 2: Applications of Systems and Software Engineering -- Chapter 12: Simulation and Analytical Models: A Comparison 263 -- Chapter 13: Object-Oriented Methods for Modeling Software Reliability 289 -- Chapter 14: Cyber Security Prediction Models 305 -- Part 3: Systems and Software Engineering in the Workplace -- Chapter 15: Ergonomics and Safety in the Workplace 333 -- Chapter 16: Facility Layout and Location Models 345 -- Chapter 17: Inventory Control 375 -- Part 4: Scheduling and Cost Control in Systems and Software -- Chapter 18: Scheduling 389 -- Chapter 19: Forecasting Models 405 -- Chapter 20: Cost Analysis 415 -- Index 431
Record Nr.	UNISA-996206400903316

Edizione	[1st ed. 2008.]
Pubbl/distr/stampa	Berlin, Germany ; ; New York, New York : , : Springer, , [2008]
Descrizione fisica	1 online resource (X, 193 p.)
Disciplina	005.1/4
Collana	Programming and Software Engineering
Soggetto topico	Computer software - Testing Computer software - Reliability Computer software - Quality control
ISBN	3-540-79124-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Talks -- The First Thirty Years: Experience with Software Verification -- Vacuity in Testing -- What Can Fault Prediction Do for YOU? -- Research Papers -- Equivalence Checking for a Finite Higher Order ?-Calculus -- Finding Counter Examples in Induction Proofs -- A Logic-Based Approach to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational Analysis of Free Data Types -- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs -- Tutorials -- Parameterized Unit Testing with Pex -- Integrating Verification and Testing of Object-Oriented Software.
Record Nr.	UNINA-9910484766803321

Autore	Sahinoglu Mehmet <1951->
Pubbl/distr/stampa	Hoboken, N.J., : Wiley-Interscience, c2007
Descrizione fisica	1 online resource (344 p.)
Disciplina	005.8
Soggetto topico	Computer security Computer software - Reliability Computer systems - Reliability
Soggetto genere / forma	Electronic books.
ISBN	1-280-93512-X 9786610935123 0-470-12787-2 0-470-12786-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	TRUSTWORTHY COMPUTING; CONTENTS; Foreword; Preface; Acknowledgments; 1 Fundamentals of Component and System Reliability and Review of Software Reliability; 1.1 Functions of Importance in Reliability; 1.2 Hazard Rate Functions in Reliability; 1.3 Common Distributions and Random Number Generations; 1.3.1 Uniform (Rectangular) p.d.f; 1.3.2 Triangular p.d.f.; 1.3.3 Negative Exponential p.d.f., Pareto, and Power Functions; 1.3.4 Gamma, Erlang, and Chi-Square p.d.f.'s; 1.3.5 Student's t-Distribution; 1.3.6 Fisher's F-Distribution; 1.3.7 Two- and Three-Parameter (Sahinoglu-Libby) Beta p.d.f.'s 1.3.8 Poisson p.m.f.1.3.9 Bernoulli, Binomial, and Multinomial p.m.f.'s; 1.3.10 Geometric p.m.f.; 1.3.11 Negative Binomial and Pascal p.m.f.'s; 1.3.12 Weibull p.d.f.; 1.3.13 Normal p.d.f.; 1.3.14 Lognormal p.d.f.; 1.3.15 Logistic p.d.f.; 1.3.16 Cauchy p.d.f.; 1.3.17 Hypergeometric p.m.f.; 1.3.18 Extreme Value (Gumbel) p.d.f.'s; 1.3.19 Summary of the Distributions and Relationships Most Commonly Used; 1.4 Life Testing for Component Reliability; 1.4.1 Estimation Methods for Complete Data; 1.4.2 Estimation Methods for Incomplete Data; 1.5 Redundancy in System Reliability 1.5.1 Series System Reliability1.5.2 Active Parallel Redundancy; 1.5.3 Standby Redundancy; 1.5.4 Other Redundancy Limitations: Common-Mode Failures and Load Sharing; 1.6 Review of Software Reliability Growth Models; 1.6.1 Software Reliability Models in the Time Domain; 1.6.2 Classification of Reliability Growth Models; Appendix 1A: 500 Computer-Generated Random Numbers; References; Exercises; 2 Software Reliability Modeling with Clustered Failure Data and Stochastic Measures to Compare Predictive Accuracy of Failure-Count Models 2.1 Software Reliability Models Using the Compound Poisson Model2.1.1 Notation and Introduction; 2.1.2 Background and Motivation; 2.1.3 Maximum Likelihood Estimation in the Poisson^Geometric Model; 2.1.4 Nonlinear Regression Estimation in the Poisson^Geometric Model; 2.1.5 Calculation of Forecast Quality and Comparison of Methods; 2.1.6 Discussion and Conclusions; 2.2 Stochastic Measures to Compare Failure-Count Reliability Models; 2.2.1 Introduction and Motivation; 2.2.2 Definitions and Notation; 2.2.3 Model, Data, and Computational Formulas; 2.2.4 Prior Distribution Approach 2.2.5 Applications to Data Sets and Computations2.2.6 Discussion and Conclusions; References; Exercises; 3 Quantitative Modeling for Security Risk Assessment; 3.1 Decision Tree Model to Quantify Risk; 3.1.1 Motivation; 3.1.2 Risk Scenarios; 3.1.3 Quantitative Security Meter Model; 3.1.4 Model Application and Results; 3.1.5 Modifying the Quantitative Model for Qualitative Data; 3.1.6 Hybrid Security Meter Model for Both Quantitative and Qualitative Data; 3.1.7 Simulation Study and Conclusions; 3.2 Bayesian Applications for Prioritizing Software Maintenance; 3.2.1 Motivation 3.2.2 Bayesian Rule in Statistics and Applications for Software Maintenance
Record Nr.	UNINA-9910143689403321

Autore	Bernstein Lawrence <1940->
Pubbl/distr/stampa	Hoboken, New Jersey : , : Wiley, , c2005
Descrizione fisica	1 online resource (465 p.)
Disciplina	005.1
Altri autori (Persone)	YuhasC. M
Collana	Quantitative software engineering series
Soggetto topico	Software engineering Computer software - Reliability
ISBN	1-280-27834-X 9786610278343 0-470-32416-3 0-471-75033-6 0-471-75032-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Think like an engineer, especially for software -- People, process, product, project : the big four -- Software requirements -- Prototyping -- Architecture -- Estimation, planning and investment -- Design for trustworthiness -- Identifying and managing risk -- Human factors in software engineering -- Implementation details -- Testing, manufacturing and configuration management -- The final project : by students, for students.
Record Nr.	UNINA-9910143561103321

Autore	Safonov V. O (Vladimir Olegovich)
Pubbl/distr/stampa	Hoboken, N.J., : Wiley-Interscience, c2008
Descrizione fisica	1 online resource (352 p.)
Disciplina	005.1
Collana	Quantitative Software Engineering Series
Soggetto topico	Aspect-oriented programming Computer software - Development Computer software - Reliability
ISBN	1-281-38149-7 9786611381493 0-470-28311-4 0-470-28310-6
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Using Aspect-Oriented Programming for Trustworthy Software Development; Contents; Preface; ACKNOWLEDGMENTS; 1. Introduction; 1.1 The Role of Aspect-Oriented Programming in Trustworthiness; 1.2 Historical Background and Personal Experience; 1.3 Organization of the Book; 2. Trustworthy Computing, Software Engineering, and Computer Science; 2.1 History of and Growing Need for TWC; 2.2 Microsoft's TWC Initiative; 2.3 The Four Pillars of TWC; 2.3.1 Security; 2.3.2 Privacy; 2.3.3 Reliability; 2.3.4 Business Integrity; 2.4 Software Engineering Technologies and Tools for TWC; 2.5 TWC and .NET 2.5.1 .NET Overview2.5.2 .NET Security; 2.5.3 .NET and Reliability; 2.5.4 .NET TWC Tools FxCop and Spec#; 2.6 TWC and Java; 2.6.1 Java Overview; 2.6.2 Java Security; 2.6.3 Java and Reliability; 2.6.4 Java TWC Tools; 2.7 Summary; 3. Aspect-Oriented Programming and Aspect.NET; 3.1 History of AOP; 3.2 AOP Basics; 3.3 AOP and Related Technologies and Tools; 3.3.1 AspectJ and AspectWerkz; 3.3.2 Other AOP Tools and Approaches to Separation of Concerns; 3.4. Pitfalls of AOP; 3.5 AOP for Java; 3.6 AOP for .NET; 3.7 Aspect.NET Principles and Architecture; 3.7.1 Motivation and Key Ideas 3.7.2 Basic Concepts of AOP3.7.3 Example; 3.7.4 Representing Aspects by Custom Attributes; 3.7.5 Example in Terms of Custom Attributes; 3.7.6 Summary of Our Approach to AOP; 3.7.7 Aspect.NET Architectural Principles; 3.7.8 Syntax of AOP Metalanguage (Version 1.0); 3.7.9 Another Example; 3.8 Features and Use of Aspect.NET; 3.8.1 Prerequisites for Using Aspect.NET 2.1; 3.8.2 Previous Releases of Aspect.NET and the Compatibility Mode; 3.8.3 Aspect.NET Architecture; 3.8.4 Case Study: Using the Aspect.NET Framework; 3.8.5 Aspect.NET Framework Options; 3.8.6 Aspect.NET.ML Metalanguage 3.8.7 Samples Included in the Aspect.NET 2.1 Release3.8.8 Experience of Aspect.NET Use and User Feedback; 3.9 Summary; 3.9.1 AOP; 3.9.2 Aspect.NET; 4. Principles and Application of AOP in TWC; 4.1 AOP and TWC: Cooperation Rather Than Violation; 4.2 AOP for Security; 4.3 AOP for Error Handling; 4.4 AOP for Synchronization; 4.5 AOP for Trustworthy Multithreading- and Multicore-Based Applications; 4.6 AOP for Privacy; 4.7 AOP for Reliability; 4.7.1 Using AOP to Make Implementation Reliable; 4.7.2 Using AOP for Software Testing 4.7.3 Using AOP to Support Formal Specification and Verification Methods4.8 AOP for Business Integrity; 4.9 AOP for Design by Contract; 4.10 Using AOP via Aspect.NET to Improve Productivity and Reliability; 4.10.1 Effort Estimation Using the COCOMO Model; 4.10.2 Assessment of Aspect.NET Using the ICED-T Model; 4.10.3 Assessment of Requirements of Aspect.NET Using the SQFD Model; 4.11 Application Efficiency and Performance Using AOP; 4.11.1 Performance Measurement; 4.11.2 Implementation Details and the Woven IL Code; 4.11.3 Another Performance Measurement Example 4.12 AOP and Agile Programming Approaches
Record Nr.	UNINA-9910143830903321