Software Engineering Beyond our Planning Horizon: Automation for Computer-Based Systems
MetadataShow full item record
Software development capabilities lag far behind society’s demands for better, cheaper, more reliablesoftware.Software engineering being originally very much restricted to the idea of programming develops more and more into a universal discipline of systems engineering. We give a general introduction to a software engineering workshop dealing with mathematics and formal methods that help solve practical problems in the engineering of computer based systems and engineering automation. Some of its papers detail the circumstances under which such gains can be realized using currently known techniques,thus providing a snapshot of the current state of the art in the area.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Riehle, Richard D. (Monterey, California. Naval Postgraduate School, 2008-09);New engineering disciplines are emerging in the late Twentieth and early Twenty-first Century. One such emerging discipline is software engineering. The engineering community at large has long harbored a sense of skepticism ...
Agrawal, B.N. (2005);This paper presents a review of the spacecraft design program at the Naval Postgraduate School. This program is part of the space systems engineering curriculum. In this curriculum, the students take at least one course ...
Baker, Adam; Pepe, Kara; Hutchison, Nicole; Tao, Hoong Yan See; Peak, Russell; Blackburn, Mark; Khan, Rabia; Whitcomb, Clifford (IEEE, 2021-09-14);This paper describes the goals, approaches, initial results, and preliminary implementation of WRT-1006, a multiphase research task within the Systems Engineering Research Center (SERC). Evidence across the Services and ...