Each year, the Software Engineering Institute (SEI) undertakes several independent research and d... more Each year, the Software Engineering Institute (SEI) undertakes several independent research and development (IRAD) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential benefit and (2) support further exploratory work to determine whether there is sufficient value in eventually funding the feasibility study work as an SEI initiative. Projects are chosen based on their potential to mature and/or transition software engineering practices, develop information that will help in deciding whether further work is worth funding, and set new directions for SEI work. This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
The ideas and findings in this report should not be construed as an official DoD position. It is ... more The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
The ideas and findings in this report should not be construed as an official DoD position. It is ... more The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
The method developed by van Orstrand is applied to the calculation of coefficients of a reversed ... more The method developed by van Orstrand is applied to the calculation of coefficients of a reversed power series. A FORMAC program which performs this calculation and sample output is given.
... »Afficher votre panier«. Notice. Imprimer la notice. Managing Software Acquisition : Open Sys... more ... »Afficher votre panier«. Notice. Imprimer la notice. Managing Software Acquisition : Open Systems and COTS Products. ... Commentaire de Managing Software Acquisition : Open Systems and COTS... : Résumé de Managing Software Acquisition : Open Systems and COTS... : ...
Abstract This paper presents a case study in carrying out an audit of a large, software-intensive... more Abstract This paper presents a case study in carrying out an audit of a large, software-intensive system. We discuss our experience in structuring the team for obtaining maximum effectiveness under a short deadline. We also discuss the goals of an audit, the methods of gathering ...
Proceedings of IEEE International Conference on Requirements Engineering, 1994
We demonstrate the utility of formal methods in the development of requirements for standards. We... more We demonstrate the utility of formal methods in the development of requirements for standards. We describe the results of an exercise to generate a formal specifrcation of the forthcoming POSIX .21 standard "Real-Time Distributed Systems Communications." This exercise was conducted by a relative novice in formal methods who did not have signifrcant POSIX domain knowledge. With the assistance of both formal methods experts and domain specialists, the formal specifrcation activity raised a number of issues early in the evolution of the standard. Resolution of these issues by the domain specialists will lead to an improved standard, whether or not the formal specifrcation is included in the standard. In this paper, we present a classifrcation and analysis of the types of issues raised using our formal approach. Our experience establishes more clearly the benefits of a formal approach to requirements engineering.
This technical report documents the findings of an internal research and development effort on sy... more This technical report documents the findings of an internal research and development effort on system of systems interoperability (SOSI). The study was based on the belief that interoperability must occur at multiple levels within and across programs, and not solely in ...
The ideas and findings in this report should not be construed as an official DoD position. It is ... more The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
Each year, the Software Engineering Institute (SEI) undertakes several independent research and d... more Each year, the Software Engineering Institute (SEI) undertakes several independent research and development (IRAD) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential benefit and (2) support further exploratory work to determine whether there is sufficient value in eventually funding the feasibility study work as an SEI initiative. Projects are chosen based on their potential to mature and/or transition software engineering practices, develop information that will help in deciding whether further work is worth funding, and set new directions for SEI work. This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
The ideas and findings in this report should not be construed as an official DoD position. It is ... more The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
The ideas and findings in this report should not be construed as an official DoD position. It is ... more The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
The method developed by van Orstrand is applied to the calculation of coefficients of a reversed ... more The method developed by van Orstrand is applied to the calculation of coefficients of a reversed power series. A FORMAC program which performs this calculation and sample output is given.
... »Afficher votre panier«. Notice. Imprimer la notice. Managing Software Acquisition : Open Sys... more ... »Afficher votre panier«. Notice. Imprimer la notice. Managing Software Acquisition : Open Systems and COTS Products. ... Commentaire de Managing Software Acquisition : Open Systems and COTS... : Résumé de Managing Software Acquisition : Open Systems and COTS... : ...
Abstract This paper presents a case study in carrying out an audit of a large, software-intensive... more Abstract This paper presents a case study in carrying out an audit of a large, software-intensive system. We discuss our experience in structuring the team for obtaining maximum effectiveness under a short deadline. We also discuss the goals of an audit, the methods of gathering ...
Proceedings of IEEE International Conference on Requirements Engineering, 1994
We demonstrate the utility of formal methods in the development of requirements for standards. We... more We demonstrate the utility of formal methods in the development of requirements for standards. We describe the results of an exercise to generate a formal specifrcation of the forthcoming POSIX .21 standard "Real-Time Distributed Systems Communications." This exercise was conducted by a relative novice in formal methods who did not have signifrcant POSIX domain knowledge. With the assistance of both formal methods experts and domain specialists, the formal specifrcation activity raised a number of issues early in the evolution of the standard. Resolution of these issues by the domain specialists will lead to an improved standard, whether or not the formal specifrcation is included in the standard. In this paper, we present a classifrcation and analysis of the types of issues raised using our formal approach. Our experience establishes more clearly the benefits of a formal approach to requirements engineering.
This technical report documents the findings of an internal research and development effort on sy... more This technical report documents the findings of an internal research and development effort on system of systems interoperability (SOSI). The study was based on the belief that interoperability must occur at multiple levels within and across programs, and not solely in ...
The ideas and findings in this report should not be construed as an official DoD position. It is ... more The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.
Uploads
Papers by Craig Meyers