61,615 research outputs found
Fiscal year 1979 scientific and technical reports, articles, papers and presentations
This bibliography lists approximately 590 formal NASA technical reports, papers published in technical journals, presentations by MSFC personnel, and reports of MSFC contractors introduced into the NASA scientific and technical information system in 1979
The structured phase of concurrency
This extended abstract summarizes the state-of-the-art solution to the structuring problem for models that describe existing real world or envisioned processes. Special attention is devoted to models that allow for the true concurrency semantics. Given a model of a process, the structuring problem deals with answering the question of whether there exists another model that describes the process and is solely composed of structured patterns, such as sequence, selection, option for simultaneous execution, and iteration. Methods and techniques for structuring developed by academia as well as products and standards proposed by industry are discussed. Expectations and recommendations on the future advancements of the structuring problem are suggested
Heterogeneity and Disorder: Contributions of Rolf Landauer
Rolf Landauer made important contributions to many branches of science.
Within the broad area of transport in disordered media, he wrote seminal papers
on electrical conduction in macroscopically inhomogeneous materials, as well as
fundamental analyses of electron transport in quantum mechanical systems with
disorder on the atomic scale. We review here some of these contributions. We
also briefly describe some main events in his personal and scientific life.Comment: 10 pages, 3 figures; presented on the occasion when Rolf Landauer was
awarded, posthumously, the inaugural ETOPIM Medal at the ETOPIM 8 Conference,
which took place during 7--12 June, 2009 in Rethymnon, Cret
Fiscal year 1981 scientific and technical reports, articles, papers, and presentations
This bibliography lists approximately 503 formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY-1981. It also includes papers of MSFC contractors. Citations announced in the NASA scientific and technical information system are noted
A study of the portability of an Ada system in the software engineering laboratory (SEL)
A particular porting effort is discussed, and various statistics on analyzing the portability of Ada and the total staff months (overall and by phase) required to accomplish the rehost, are given. This effort is compared to past experiments on the rehosting of FORTRAN systems. The discussion includes an analysis of the types of errors encountered during the rehosting, the changes required to rehost the system, experiences with the Alsys IBM Ada compiler, the impediments encountered, and the lessons learned during this study
The cleanroom case study in the Software Engineering Laboratory: Project description and early analysis
This case study analyzes the application of the cleanroom software development methodology to the development of production software at the NASA/Goddard Space Flight Center. The cleanroom methodology emphasizes human discipline in program verification to produce reliable software products that are right the first time. Preliminary analysis of the cleanroom case study shows that the method can be applied successfully in the FDD environment and may increase staff productivity and product quality. Compared to typical Software Engineering Laboratory (SEL) activities, there is evidence of lower failure rates, a more complete and consistent set of inline code documentation, a different distribution of phase effort activity, and a different growth profile in terms of lines of code developed. The major goals of the study were to: (1) assess the process used in the SEL cleanroom model with respect to team structure, team activities, and effort distribution; (2) analyze the products of the SEL cleanroom model and determine the impact on measures of interest, including reliability, productivity, overall life-cycle cost, and software quality; and (3) analyze the residual products in the application of the SEL cleanroom model, such as fault distribution, error characteristics, system growth, and computer usage
- …