TY - JOUR
T1 - Software engineering beyond our planning horizon
T2 - Automation for computer-based systems
AU - Luqi,
AU - Broy, Manfred
N1 - Funding Information:
This research was supported by ARO (MIPR8GNPSAR042), NSF (CCR-9813820), ONR (N0001499WR20019), SPAWAR (N6600198WR00438). The Army Research O?ce, National Science Foundation, O?ce of Naval Research, and the Defense Advanced Research Projects Agency sponsored the 1998 Monterey Workshop on Engineering Automation for computer based systems. ∗Corresponding author. Tel.: +49-89-289-28161; fax: +49-89-289-28183. E-mail address: [email protected] (M. Broy).
PY - 2002/1
Y1 - 2002/1
N2 - Software development capabilities lag far behind society's demands for better, cheaper, more reliable software. 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.
AB - Software development capabilities lag far behind society's demands for better, cheaper, more reliable software. 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.
UR - http://www.scopus.com/inward/record.url?scp=0036131868&partnerID=8YFLogxK
U2 - 10.1016/S0167-6423(01)00023-5
DO - 10.1016/S0167-6423(01)00023-5
M3 - Article
AN - SCOPUS:0036131868
SN - 0167-6423
VL - 42
SP - 1
EP - 10
JO - Science of Computer Programming
JF - Science of Computer Programming
IS - 1
ER -