Rob Wojcik is a member of the technical staff in the Product Line Systems Program at the Carnegie Mellon University’s Software Engineering Institute (SEI), a position he has held since 2004. In his current position, he performs training and consulting in software architecture technology and software architecture evaluations. Prior to his position at the SEI, over twenty years of his career were...

Most aircraft companies develop onboard systems software for civilian aircraft based on the guidelines RTCA DO-178B/ED-12B "Software Considerations in Airborne Systems and Equipment Certification". This, apart from ensuring the reliability of the software, also addresses the issues involved in certification of the onboard system. SEI-CMM is used to measure organization's capability in software ...

8 A . LUNDEN, Z . Natur fo r s ch . 2 1 a , 1 5 1 0 [ 1 9 6 6 ] . 9 H. KANNO, J. Nucl. Sei. Technology 7, 428 [1970]. 10 I. OKADA, Thesis, Tokyo 1966. 11 J. E. FREUND, Mathematic. Statistics, Prentice-Hall, Englewood Cliffs, N. J. 1962. 12 It is quite likely that we underestimated the temperature in the separation tube somewhat for our old experiments with pure rubidium nitrate 8, but that we o...

This paper discusses a plan that addresses how the Software Engineering Institute (SEI) may assist the Department of Defense (DoD) in reengineering its large software-intensive systems. This plan is based on a view of reengineering as an engineering problem to improve the cost-effective evolution of large software-intensive systems. This view of reengineering, which takes the whole software eng...

Computational screening of battery electrolyte components is an extremely challenging task because very complex features like solid-electrolyte-interphase (SEI) formation and graphite exfoliation need to be taken into account at least in the final screening stage. We present estimators for both SEI formation and graphite exfoliation based on a combinatorial approach using quantum chemistry calc...

The ultimate challenge for any software organization is to build a Quality Management system that can guarantee performance on key deliverables of quality, cost and schedule. A balanced approach of utilizing the three dimensions of process, people and technology is essential. This can be achieved by leveraging on the existing frameworks of ISO, SEI and Six Sigma. This keynote speech brings forw...

1. P. R. Halmos, Introduction to Hubert space. New York, Chelsea, 1951. 2. M. Schreiber, On functions of contractions, to appear. 3. -, On absolutely continuous operators, to appear. 4. -, Unitary dilations of operators in Hubert space, Duke Math. J. vol. 23 (1956) pp. 579-594. 5. B. Sz.-Nagy, Sur les contractions de l'espace de Hubert, Seta Sei. Math. Szeged vol. 15 (1953) pp. 87-92. 6. B. Sz....

SummaryBackground Until broad vaccination coverage is reached and effective therapeutics are available, controlling population mobility (ie, changes in the spatial location of a that affect spread distribution pathogens) one major interventions used to reduce transmission SARS-CoV-2. However, differs across locations, which could effectiveness pandemic control measures. Here w...

In this paper, a simple proof is given for the following theorem due to Blair [7], Blair-Hager [8] and Hager-Johnson [12]: A Tychonoff space X is z-embedded in every larger Tychonoff space if and only if X is almost compact or Lindelöf. We also give a simple proof of a recent theorem of Bella-Yaschenko [6] on absolute embeddings.