ENGLISH

Cleanroom software engineering : technology and process

By Stacy J. Prowell

Book information

Publisher
Addison-Wesley
Year
1999
ISBN
0201854805, 0302010099
Language
english
Format
PDF
Filesize
1 MB (1462376 bytes)
Pages
\407
Time added
2020-04-08 17:41:22

Description

Contents Preface Introduction Part I: Cleanroom Software Engineering Fundamentals 1 Cleanroom Overview 1.1 Economic Production of High-Quality Software 1.2 Cleanroom Foundations 1.3 Cleanroom Technologies 1.4 The Cleanroom Process 1.5 Relationship of Cleanroom to Other Practices 1.6 Cleanroom Project Experience 1.7 References 1.8 Suggested Reading 2 Cleanroom Management by Incremental Development 2.1 Benefits of Incremental Development 2.2 Theoretical Foundations of Incremental Development 2.3 Increment Planning in Practice 2.4 Incremental Development in Practice 2.5 References 3 Cleanroom Software Specification 3.1 Box Structures for Cleanroom Specification and Design 3.2 The Sequence-Based Specification Process 3.3 Example: Specification of a Security Alarm 3.4 References 4 Cleanroom Software Development 4.1 Box Structure Development 4.2 Clear Box Development 4.3 Clear Box Verification 4.4 Example: The Security Alarm Clear Box 4.5 References 5 Cleanroom Software Certification 5.1 Benefits of Statistical Testing Based on a Usage Model 5.2 Theoretical Foundations of Statistical Testing 5.3 Statistical Usage Testing in Practice 5.4 Example: Security Alarm 5.5 References Part II: The Cleanroom Software Engineering Reference Model 6 The Cleanroom Reference Model 6.1 An Introduction to the CRM 6.2 Cleanroom Process Definition Format 6.3 Common Cleanroom Process Elements 6.4 References 7 Cleanroom Management Processes 7.1 Project Planning Process 7.2 Project Management Process 7.3 Performance Improvement Process 7.4 Engineering Change Process 8 Cleanroom Specification Processes 8.1 Requirements Analysis Process 8.2 Function Specification Process 8.3 Usage Specification Process 8.4 Architecture Specification Process 8.5 Increment Planning Process 8.6 References 9 Cleanroom Development Processes 9.1 Software Reengineering Process 9.2 Increment Design Process 9.3 Correctness Verification Process 9.4 References 10 Cleanroom Certification Processes 10.1 Usage Modeling and Test Planning Process 10.2 Statistical Testing and Certification Process 10.3 References 11 Cleanroom and the Capability Maturity Model for Software 11.1 The CMM for Software 11.2 Cleanroom Process Mappings to CMM KPAs 11.3 Integrating CRM Technology and CMM Management 11.4 References Part III: A Case Study in Cleanroom Software Engineering 12 Satellite Control System Requirements 12.1 The Satellite Control System Case Study 12.2 Satellite Operations Software Requirements 12.3 Reference 13 Satellite Control System Black Box Specification 13.1 Black Box Sequence-Based Specification 13.2 Step 1: Define the System Boundary 13.3 Step 2: Enumerate Stimulus Sequences 13.4 Step 3: Analyze Canonical Sequences 13.5 Step 4: Define Specification Functions 13.6 Step 5: Construct the Black Box Tables 13.7 Removing Abstractions 13.8 Common Sequence Abstraction Techniques 14 Satellite Control System State Box Specification 14.1 State Box Specification 14.2 Step 1: Invent the State Data 14.3 Step 2: Construct the State Box Tables 15 Satellite Control System Clear Box Design 15.1 Clear Box Implementation 15.2 Step 1: Select a High-Level Software Architecture 15.3 Step 2: Select an Implementation for Stimulus Gathering 15.4 Step 3: Select an Implementation for Response Generation 15.5 Step 4: Select an Implementation for the State Data Items 15.6 Step 5: Select an Implementation for Each Entry in the State Box Table 15.7 Step 6: Reorganize the Implementations into Executable Code 16 Satellite Control System Testing and Certification 16.1 Statistical Testing 16.2 Step 1: Define Certification Plan 16.3 Step 2: Build Model Structure 16.4 Step 3: Determine State Transition Probabilities 16.5 Step 4: Validate the Usage Model 16.6 Step 5: Generate Test Cases, and Execute and Evaluate Results Index A B C D E F G H I K L M N O P Q R S T U V W

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF

THE BRITISH ARMY IN INDIA: ITS PRESERVATION BY AN APPROPRIATE CLOTHING, HOUSING, LOCATING, RECREATIVE EMPLOYMENT, AND HOPEFUL ENCOURAGEMENT OF THE TROOPS. with AN APPENDIX ON INDIA : THE CLIMATE OP ITS HILLS ; THE DEVELOPMENT OF ITS RESODRCBS, INDUSTRY, AND ARTS ; THE ADMINISTRATION OF JUSTICE ; THE BLACK ACT ; THE PROGRESS OF CHRISTIANITY ; THE TRAFFIC IN OPIUM ; THE VALUE OF INDIA ; PERMANENT CAUSES OF DISAFFECTION, AND OF THE RECENT REBELLION ; THE TRADITIONARY POLICY; MISGOVERNMENT BY NATIVE RULERS ; ANNEXATIONS OF THEIR TERRITORY, ETC.

THE BRITISH ARMY IN INDIA: ITS PRESERVATION BY AN APPROPRIATE CLOTHING, HOUSING, LOCATING, RECREATIVE EMPLOYMENT, AND HOPEFUL ENCOURAGEMENT OF THE TROOPS. with AN APPENDIX ON INDIA : THE CLIMATE OP ITS HILLS ; THE DEVELOPMENT OF ITS RESODRCBS, INDUSTRY, AND ARTS ; THE ADMINISTRATION OF JUSTICE ; THE BLACK ACT ; THE PROGRESS OF CHRISTIANITY ; THE TRAFFIC IN OPIUM ; THE VALUE OF INDIA ; PERMANENT CAUSES OF DISAFFECTION, AND OF THE RECENT REBELLION ; THE TRADITIONARY POLICY; MISGOVERNMENT BY NATIVE RULERS ; ANNEXATIONS OF THEIR TERRITORY, ETC.

1858 · PDF

Idries Shah 27 Books Collection : A Perfumed Scorpion, A Veiled Gazelle, Caravan of Dreams, Darkest England, Destination Mecca, Evenings with Idries Shah, Knowing How to Know, Learning How to Learn, Letters and Lectures of Idries Shah, Neglected aspects of Sufi study, Observations, Oriental Magic, Reflections, Seeker after Truth, Special Illumination, Special Problems in the study of Sufi ideas, Sufi thought and action, Tales of the Dervishes, The Dermis Probe, The Elephant in the Dark, The Englishman Handbook, Idries Shah Antology, The Magic Monastery, The natives are restless, wisdom of the Idiots PDF.

Idries Shah 27 Books Collection : A Perfumed Scorpion, A Veiled Gazelle, Caravan of Dreams, Darkest England, Destination Mecca, Evenings with Idries Shah, Knowing How to Know, Learning How to Learn, Letters and Lectures of Idries Shah, Neglected aspects of Sufi study, Observations, Oriental Magic, Reflections, Seeker after Truth, Special Illumination, Special Problems in the study of Sufi ideas, Sufi thought and action, Tales of the Dervishes, The Dermis Probe, The Elephant in the Dark, The Englishman Handbook, Idries Shah Antology, The Magic Monastery, The natives are restless, wisdom of the Idiots PDF.

2022 · PDF

The travels of Capts. Lewis and Clarke from St. Louis, by way of the Missouri and Columbia rivers, to the Pacific ocean; performed in the years 1804, 1805 & 1806, by order of the government of the United States. Containing delineations of the manners, customs, religion, &c. of the Indians, comp. from various authentic sources, and original documents, and a summary of the Statistical view of the Indian nations, from the official communication of Meriwether Lewis. Illustrated with a map of the country, inhabited by the western tribes of Indians

The travels of Capts. Lewis and Clarke from St. Louis, by way of the Missouri and Columbia rivers, to the Pacific ocean; performed in the years 1804, 1805 & 1806, by order of the government of the United States. Containing delineations of the manners, customs, religion, &c. of the Indians, comp. from various authentic sources, and original documents, and a summary of the Statistical view of the Indian nations, from the official communication of Meriwether Lewis. Illustrated with a map of the country, inhabited by the western tribes of Indians

1809 · PDF

Professional Linux kernel architecture ''Wrox programmer to programmer''--Cover. - ''What you are reading right now is the result of an evolution over more than seven years: After two years of writing, the first edition was published in German by Carl Hanser Verlag in 2003. It then described kernel 2.6.0. The test was used as a basis for the low-level design documentation for the EAL4+ security evaluation of Red Hat Enterprise Linux 5, requiring to update it to kernel 2.6.18 (if the EAL acronym does not mean anything to you, then Wikipedia is once more your friend). Hewlett-Packard sponsored the translation into English and has, thankfully, granted the rights to publish the result. Updates to kernel 2.6.24 were then performed specifically for this book''--P. ix

Professional Linux kernel architecture ''Wrox programmer to programmer''--Cover. - ''What you are reading right now is the result of an evolution over more than seven years: After two years of writing, the first edition was published in German by Carl Hanser Verlag in 2003. It then described kernel 2.6.0. The test was used as a basis for the low-level design documentation for the EAL4+ security evaluation of Red Hat Enterprise Linux 5, requiring to update it to kernel 2.6.18 (if the EAL acronym does not mean anything to you, then Wikipedia is once more your friend). Hewlett-Packard sponsored the translation into English and has, thankfully, granted the rights to publish the result. Updates to kernel 2.6.24 were then performed specifically for this book''--P. ix

2008 · PDF