|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910451106603321 |
|
|
Titolo |
Aerospace software engineering [[electronic resource] ] : a collection of concepts / / edited by Christine Anderson, Merlin Dorfman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : American Institute of Aeronautics and Astronautics, c1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-60086-609-3 |
1-60086-390-6 |
1-60119-253-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (636 p.) |
|
|
|
|
|
|
Collana |
|
Progress in astronautics and aeronautics ; ; v. 136 |
|
|
|
|
|
|
Altri autori (Persone) |
|
AndersonChristine <1947-> |
DorfmanM (Merlin) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Aeronautics - Computer programs |
Astronautics - Computer programs |
Software engineering |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Cover""; ""Title""; ""Copyright""; ""Foreword""; ""Preface""; ""Table of Contents""; ""Chapter 1 Introduction""; ""1.1 Current Problems""; ""1.2 Current Practice""; ""Chapter 2 Life Cycle Models""; ""2.1 The DOD Life Cycle Mode""; ""2.2 NASA Life Cycle Model""; ""2.3 Alternative Software Life Cycle Models""; ""Chapter 3 Development Methodologies""; ""3.1 Requirements""; ""3.2 Design""; ""3.3 Testing""; ""3.4 Mathematical Forecasting""; ""3.5 Cleanroom: An Alternative Software Development Process""; ""Chapter 4 Tools and Environments""; ""4.1 Software Development Environments"" |
""4.2 Tools and Environments""""Chapter 5 Software Engineering Management""; ""5.1 Management Principles""; ""5.2 Resource Estimation""; ""Chapter 6 Quality Assurance""; ""6.1 Reliability""; ""6.2 Safety""; ""6.3 Metrics""; ""Chapter 7 Programming Languages""; ""7.1 Programming Languages Overview""; ""7.2 Ada""; ""7.3 Artificial Intelligence Languages""; ""Chapter 8 Reuse""; ""8.1 Software Reuse: |
|
|
|
|
|
|
|
|
|
|
|
|
|
Definition and Overview""; ""8.2 Engineering and Application of Reusable Software Resources""; ""8.3 Reuse Tools""; ""Chapter 9 Legal Issues""; ""9.1 Legal Issues"" |
""Chapter 10 Emerging Technologies""""10.1 Impact of Knowledge-Based Software Engineering on Aerospace Systems""; ""10.2 Impact of Innovative Architectures""; ""10.3 Symmetric Parallel Processing""; ""Chapter 11 Non-U.S. Aerospace Software Engineering""; ""11.1 Aerospace Software Engineering in France""; ""11.2 Aerospace Software Engineering in the United Kingdom""; ""11.3 Aerospace Software in Sweden""; ""11.4 Aerospace Software Engineering in Japan""; ""Chapter 12 Conclusion/Vision""; ""12.1 Software Engineering of Tomorrow""; ""12.2 Coping with the Crisis""; ""Author Index for Volume 136"" |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910786286303321 |
|
|
Autore |
Deutscher Max <1937-> |
|
|
Titolo |
In sensible judgement [[electronic resource] /] / Max Deutscher |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Farnham, Surrey, England ; ; Burlington, Vt., : Ashgate, 2013 |
|
|
|
|
|
|
|
ISBN |
|
1-315-58817-X |
1-317-11782-4 |
1-317-11781-6 |
1-299-05643-1 |
1-4094-5448-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (243 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Judgment (Logic) |
Judgment |
Thought and thinking |
Will |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Achieving judgment -- In sensible judgment -- Sentencing -- Dissenting -- Making judgments -- Judging as right -- Living on the premises -- Inferring, judging, arguing -- Questioning critique -- Sting of reason -- Critique's mystique -- Enigma absolute -- Moving |
|
|
|
|