Skip to main content
Under DoD sponsorship, the Software Engineering Institute has initiated a research project on system of systems (SoS) software assurance. The project’s overall goal is to provide appropriate methods and tools to meet the assurance... more
Under DoD sponsorship, the Software Engineering Institute has initiated a research project on system of systems (SoS) software assurance. The project’s overall goal is to provide appropriate methods and tools to meet the assurance challenges of systems of systems. To focus the research, the project is specifically addressing SoS assurance issues that arise in large-scale adaptive information management and command/control systems of systems. The key research question is determining what types of evidence (and associated argumentation) are needed to achieve justified confidence that SoS behavior (with respect to quality attributes such as reliability, availability, performance, or 1 security) will be acceptable when the SoS is used in its actual and evolving usage environments.
ABSTRACT
This report contains data and conclusions that were used in selecting JOVIAL J73I as a base language for modifications that would result in a language suitable for programming communications applications. Volume I of this report contains... more
This report contains data and conclusions that were used in selecting JOVIAL J73I as a base language for modifications that would result in a language suitable for programming communications applications. Volume I of this report contains a description of the process used to develop hypotheses on what features are required of a language suitable for programming communications applications. This volume
This report contains data and conclusions that were used in selecting JOVIAL J73I as a base language for modifications that would result in a language suitable for programming communications applications. Volume 1 of this report contains... more
This report contains data and conclusions that were used in selecting JOVIAL J73I as a base language for modifications that would result in a language suitable for programming communications applications. Volume 1 of this report contains a description of the process used to develop hypotheses on what features are required of a language suitable for programming communications applications. Volume 2
Abstract: This report discusses program structuring concepts and language features that enhance reusability, modifiability, and reliability. The authors have studied these issues by analyzing and restructuring an existing (and well-used)... more
Abstract: This report discusses program structuring concepts and language features that enhance reusability, modifiability, and reliability. The authors have studied these issues by analyzing and restructuring an existing (and well-used) set of reusable subroutines for ...
ABSTRACT
Abstract: The'Ada Adoption Handbook provides program managers with information about how best to tap Ada's strengths and manage the transition to fully using this software technology. Although the issues are complex, they are... more
Abstract: The'Ada Adoption Handbook provides program managers with information about how best to tap Ada's strengths and manage the transition to fully using this software technology. Although the issues are complex, they are not all unique to Ada. Indeed, many of the issues addressed in this handbook must be addressed when developing any software-intensive system in any programming language. The handbook addresses the advantages and risks in adopting Ada. Significant emphasis has been placed on providing information ...
Abstract. The Ada Adoption Handbook provides program managers with information about how best to tap Ada's strengths and manage the transition to fully using this software technology. Although the issues are complex, they are not all... more
Abstract. The Ada Adoption Handbook provides program managers with information about how best to tap Ada's strengths and manage the transition to fully using this software technology. Although the issues are complex, they are not all unique to Ada. Indeed, many of the issues addressed in this handbook must be addressed when developing any software-intensive system in any programming language. The handbook addresses the advantages and risks in adopting Ada. Significant emphasis has been placed on providing information ...
Page 1. American Institute of Aeronautics and Astronautics 1 Evaluating Hazard Mitigations with Dependability Cases John B. Goodenough, Ph.D.1 Software Engineering Institute, Pittsburgh, PA, 15123 Matthew R. Barry, Ph ...
... Personal Author(s) : Ausnit,Christine ; Braun,Christine ; Eanes,Sterling ; Goodenough,John ; Simpson,Richard. ... Reusability also has implications for managers -- the additional cost of developing reusable software must be understood... more
... Personal Author(s) : Ausnit,Christine ; Braun,Christine ; Eanes,Sterling ; Goodenough,John ; Simpson,Richard. ... Reusability also has implications for managers -- the additional cost of developing reusable software must be understood and developers must not be penalized. ...
ABSTRACT
Research Interests:
ABSTRACT
ABSTRACT
Research Interests:
Research Interests:
... 17% China. 17% Germany. Related Research. 7. Ultra-Large-Scale Systems - The Software Challenge of the Future. L Northrop, P Feiler, Richard P Gabriel, et al. (2006 ... Systems. RHJ Begent, J Michael Brady, Anthony Finkelstein, et al.... more
... 17% China. 17% Germany. Related Research. 7. Ultra-Large-Scale Systems - The Software Challenge of the Future. L Northrop, P Feiler, Richard P Gabriel, et al. (2006 ... Systems. RHJ Begent, J Michael Brady, Anthony Finkelstein, et al. ...
Research Interests:
ABSTRACT
ABSTRACT

And 34 more