The following HTML text is provided to enhance online
readability. Many aspects of typography translate only awkwardly to HTML.
Please use the page image
as the authoritative form to ensure accuracy.
Critical Code: Software Producibility for Defense
Behler’s leadership, the Precision Engagement organization turned new and emerging technologies into transformational operational capabilities. Mr. Behler retired from the Air Force as a major general in 2003. During his distinguished 31-year career, he accumulated extensive experience managing and developing advanced command, control, communications, computers, intelligence, surveillance, and reconnaissance (C4ISR) technologies at all levels. Before retiring, Mr. Behler was commander of the Air Force C2ISR Center at Langley Air Force Base, where he was principal C2ISR advisor to the secretary and chief of staff of the Air Force. Prior to that, he served as deputy commander of NATO Joint Headquarters North in Stavanger, Norway, and was the senior U.S. military officer in Scandinavia. He has also served as director of command, control, communication, computers, and intelligence at the U.S. Strategic Command at Offutt Air Force Base and as chief of the U.S. Air Force Senate Liaison Office. Mr. Behler entered the Air Force in 1972 as a distinguished graduate of the Air Force Reserve Officer Training Corps program at the University of Oklahoma. Mr. Behler received his bachelor’s and master’s degrees in aerospace engineering from the University of Oklahoma in 1970 and 1972, respectively. He is a graduate of the U.S. Air Force Test Pilot School at Edwards Air Force Base and was a National Security Fellow at Harvard University’s John F. Kennedy School of Government in 1990. He received a master’s degree in business administration from Marymount University in 1991. He is an associate fellow of the Society of Experimental Test Pilots and a member of the Armed Forces Communications and Electronics Association.
Barry W. Boehm is TRW Professor of Software Engineering and founding Director Emeritus of the Center for Systems and Software Engineering at the University of Southern California. He is also director of research of the DoD-Stevens-USC Systems Engineering Research Center and co-director of the USC-Chinese Academy of Sciences Joint Laboratory for Software Engineering. His contributions to the field include the Constructive Cost Model (COCOMO); the Spiral Model of the software process; the Theory W (win-win) approach to and tools for software management and requirements determination. Between 1989 and 1992, he served within the U.S. Department of Defense as director of the DARPA Information Science and Technology Office and as director of the DDR&E Software and Computer Technology Office. He worked at TRW from 1973 to 1989, culminating as chief scientist of the Defense Systems Group, and at the Rand Corporation from 1959 to 1973, culminating as head of the Information Sciences Department. He was a programmer-analyst at General Dynamics between 1955 and 1959. He has served on the board of several scientific journals, including the IEEE Transactions on Software Engineering, IEEEComputer, IEEE Software, ACM Computing Reviews, Automated Software Engineering, Software Process, and Information and Software Technology. He has served as chair of the AIAA Technical Committee on Computer Systems, chair of the IEEE Technical Committee on Software Engineering, and as a member of the Governing Board of the IEEE Computer Society. He has served as chair of the Air Force Scientific Advisory Board’s Information Technology Panel and chair of the Board of Visitors for the CMU Software Engineering Institute. He is a fellow of the leading professional societies in computing (ACM), aerospace (AIAA), electronics (IEEE), and systems engineering (INCOSE), and a member of the National Academy of Engineering. Dr. Boehm received his B.A. degree from Harvard in 1957; his M.S. and Ph.D. degrees from the University of California, Los Angeles, in 1961 and 1964, all in mathematics; and an honorary SC.D. degree from the University of Massachusetts in 2000 in computer science.
Lori A. Clarke is a professor of computer science at the University of Massachusetts, Amherst, and co-director of the Laboratory for Advanced Software Engineering Research. She is an ACM Fellow and a board member of CRA-W. She is a former IEEE Distinguished Visitor, ACM National Lecturer, IEEE Publication Board member, associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF advisory board, ACM SIGSOFT secretary/treasurer, vice-chair and chair, vice-chair of CRA, and co-chair of CRA-W, as well as a 1990 recipient of the University of Massachusetts Chancellor’s Medal and a 1993 recipient of a University Faculty Fellowship. Dr. Clarke has worked in the area of software engineering, particularly on software analysis and testing for many years. She was one of the primary developers of symbolic execution, a technique used to reason about the behavior of software systems and