Software Engineering Beyond our Planning Horizon: Automation for Computer-Based Systems

Simple item page
dc.contributor.authorLuqi
dc.contributor.authorBroy, Manfred
dc.contributor.departmentComputer Science (CS)
dc.dateJan-02en_US
dc.date.accessioned2017-03-31T22:55:02Z
dc.date.available2017-03-31T22:55:02Z
dc.date.issued2002-02
dc.description.abstractSoftware 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.en_US
dc.identifier.citationSoftware 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.
dc.identifier.urihttps://hdl.handle.net/10945/52461
dc.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.en_US
dc.titleSoftware Engineering Beyond our Planning Horizon: Automation for Computer-Based Systemsen_US
dc.typeArticleen_US
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Luqi_Broy_Software_engineering_beyond.pdf
Size:
70.94 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Publications
Load more