Download or read book Foundations of Empirical Software Engineering written by Barry Boehm and published by Springer Science & Business Media. This book was released on 2005-05-13 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: Although software engineering can trace its beginnings to a NATO conf- ence in 1968, it cannot be said to have become an empirical science until the 1970s with the advent of the work of Prof. Victor Robert Basili of the University of Maryland. In addition to the need to engineer software was the need to understand software. Much like other sciences, such as physics, chemistry, and biology, software engineering needed a discipline of obs- vation, theory formation, experimentation, and feedback. By applying the scientific method to the software engineering domain, Basili developed concepts like the Goal-Question-Metric method, the Quality-Improvement- Paradigm, and the Experience Factory to help bring a sense of order to the ad hoc developments so prevalent in the software engineering field. On the occasion of Basili’s 65th birthday, we present this book c- taining reprints of 20 papers that defined much of his work. We divided the 20 papers into 6 sections, each describing a different facet of his work, and asked several individuals to write an introduction to each section. Instead of describing the scope of this book in this preface, we decided to let one of his papers, the keynote paper he gave at the International C- ference on Software Engineering in 1996 in Berlin, Germany to lead off this book. He, better than we, can best describe his views on what is - perimental software engineering.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1994 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Applying Software Metrics written by Paul Oman and published by John Wiley & Sons. This book was released on 1996-11-13 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: Features a useful collection of important and practical papers on applying software metrics and measurement. The book details the importance of planning a successful measurement program with a complete discussion of why, what, where, when, and how to measure and who should be involved. Each chapter addresses these significant questions and provides the essential answers in building an effective measurement program. The book differs from others on the market by focusing on the application of the metrics rather than the metrics themselves. The author's provide information based on actual experience with successful metrics programs. Each chapter includes a case study focusing on technology transfer and a set of recommended references. The book serves as a guide on the use and application of software metrics in industrial environments. It is specially designed for managers, product supervisors, and quality assurance personnel who want to know how to implement a metrics program.
Download or read book Software Engineering Laboratory Sel Cleanroom Process Model written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-07-10 with total page 68 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Software Engineering Laboratory (SEL) cleanroom process model is described. The term 'cleanroom' originates in the integrated circuit (IC) production process, where IC's are assembled in dust free 'clean rooms' to prevent the destructive effects of dust. When applying the clean room methodology to the development of software systems, the primary focus is on software defect prevention rather than defect removal. The model is based on data and analysis from previous cleanroom efforts within the SEL and is tailored to serve as a guideline in applying the methodology to future production software efforts. The phases that are part of the process model life cycle from the delivery of requirements to the start of acceptance testing are described. For each defined phase, a set of specific activities is discussed, and the appropriate data flow is described. Pertinent managerial issues, key similarities and differences between the SEL's cleanroom process model and the standard development approach used on SEL projects, and significant lessons learned from prior cleanroom projects are presented. It is intended that the process model described here will be further tailored as additional SEL cleanroom projects are analyzed. Green, Scott and Basili, Victor and Godfrey, Sally and Mcgarry, Frank and Pajerski, Rose and Waligora, Sharon Goddard Space Flight Center...
Download or read book Cleanroom Software Engineering written by Stacy J. Prowell and published by Pearson Education. This book was released on 1999-03-09 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the Cleanroom process answers today's call for more reliable software and provides methods for more cost-effective software development. Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and some of the most experienced developers and practitioners of Cleanroom, Cleanroom Software Engineering provides a roadmap for software management, development, and testing as disciplined engineering practices. This book serves both as an introduction for those new to Cleanroom and as a reference guide for the growing practitioner community. Readers will discover a proven way to raise both quality and productivity in their software-intensive products, while reducing costs. Highlights Explains basic Cleanroom theory Introduces the sequence-based specification method Elaborates the full management, development, and certification process in a Cleanroom Reference Model (CRM) Shows how the Cleanroom process dovetails with the SEI's Capability Maturity Model for Software (CMM) Includes a large case study to illustrate how Cleanroom methods scale up to large projects.
Download or read book Industrial Applications of Formal Methods to Model Design and Analyze Computer Systems written by Dan Craigen and published by William Andrew. This book was released on 2012-12-02 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on 1994 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Monthly Catalogue United States Public Documents written by and published by . This book was released on 1994 with total page 1284 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Process Improvement written by Eugene McGuire and published by IGI Global. This book was released on 1999-01-01 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software Process Improvement (SPI) efforts are being undertaken by organizations of all types and sizes as they attempt to deal with the challenges of quality, complexity and competitiveness. Software process improvement efforts rely on the successful integration of many technical, organizational and methodological issues. SPI has provided a rich field for both conceptual and practical research in industry and academia. Software Process Improvement: Concepts and Practices provides the opportunity for rich socio-technical and interdisciplinary studies in addition to those studies that primarily focus on process and/or enabling technology issues. This book addresses numerous aspects of SPI program development, implementation, trends, opportunities and future challenges in organizations.
Download or read book Industrial Strength Formal Methods in Practice written by Michael G. Hinchey and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.
Download or read book Third International Symposium on Space Mission Operations and Ground Data Systems Part 2 written by and published by . This book was released on 1994 with total page 760 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Third International Symposium on Space Mission Operations and Ground Data Systems written by James L. Rash and published by . This book was released on 1994 with total page 770 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Engineering written by Shari Lawrence Pfleeger and published by Prentice Hall. This book was released on 2006 with total page 737 pages. Available in PDF, EPUB and Kindle. Book excerpt: This introduction to software engineering and practice addresses both procedural and object-oriented development.Is thoroughly updated to reflect significant changes in software engineering, including modeling and agile methods. Emphasizes essential role of modeling design in software engineering. Applies concepts consistently to two common examples a typical information system and a real-time system. Combines theory with real, practical applications by providing an abundance of case studies and examples from the current literature.A useful reference for software engineers.
Download or read book Experimental Software Engineering Issues written by H.Dieter Rombach and published by Springer Science & Business Media. This book was released on 1993-08-30 with total page 294 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book was written primarily for all those DTP users and programmers who want to keep up with the rapid development of electronic publishing, particular those who wish to develop new systems for the output of typefaces. In this volume, various formats are presented, their properties discussed and production requirements analyzed. Appendices provide readers additional information, largely on digital formats for typeface storage.
Download or read book Achieving Quality in Software written by S. Bologna and published by Springer. This book was released on 2013-11-11 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software quality is a generalised statement difficult to agree or disagree with until a precise definition of the concept of "Software Quality" is reached in terms of measurable quantities. Unfortunately, for the software technology the basic question of: • what to measure; • how to measure; • when to measure; • how to deal with the data obtained are still unanswered and are also closely dependant on the field of application. In the past twenty years or more there have been a number of conferences and debates focusing on the concept of Software Quality, which produced no real industrial impact. Recently, however, the implementation of a few generic standards (ISO 9000, IEEE etc.) has produced and improved application of good practice principles at the industrial level. As a graduate in PhYSiCS, I still believe it is a long way before the concept of Software Quality can be defined exactly and measured, if ever. This is way I think the AQuIS series of conferences is important, its object begin to provide a platform for the transfer of technology and know how between Academic, Industrial and Research Institutions, in the field of Software Quality. Their objects are: • to provide a forum for the introduction and discussion of new research breakthroughs in Software Quality; • to provide professional Software Quality engineers with the necessary exposure to the results of current research; • to expose the research community to the problems of practical application of new results.
Download or read book The Cleanroom Approach to Quality Software Development written by Michael Dyer and published by . This book was released on 1992-02-07 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Describes the first practical attempt to place software development under statistical quality control and to deliver software with a known and certified meantime to failure. Shows how to improve productivity during software development using statistical design methods, and gives guidelines for writing more precise specifications, building simpler designs and avoiding error rework.
Download or read book Government Reports Annual Index written by and published by . This book was released on 1992 with total page 1144 pages. Available in PDF, EPUB and Kindle. Book excerpt:
