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.
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 ...
Frost, John Richard (Monterey, California. Naval Postgraduate School, 1984-06);The history of programming languages, operating systems and computer hardware is briefly reviewed. Then the general methodology of established engineering disciplines is examined. Software "engineering" is then examined ...