Software Engineering Beyond our Planning Horizon: Automation for Computer-Based Systems
Loading...
Authors
Luqi
Broy, Manfred
Subjects
Advisors
Date of Issue
2002-02
Date
Jan-02
Publisher
Language
Abstract
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.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Software Engineering Beyond our Planning Horizon: Automation for Computer-Based Systems, Luqi, with M. Broy, Science of Computer Programming, Special Issue on Methods of Software Design: Techniques and Applications. Vol. 42, No. 1: pp. 1-10.
Distribution Statement
Rights
This 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.