Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey workshop on Engineering Automation for Computer Based Systems
Loading...
Authors
Luqi
Subjects
Mathematical models.
Advisors
Date of Issue
1999-04-01
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
The "Engineering Automation for Computer Based Systems" Workshop is the 6th in a series of Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. Previous workshops have been devoted to "Real-Time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", and "Requirements Targeting Software". A major goal for this series of workshops is to help focus the software engineering community on issues that are vital to improving the state of software engineering practice. This focus promotes consistency among diverse research directions that address different aspects of the same problem to facilitate future integration efforts. The workshop represents a bridge between industry and academia. The material in these proceedings presents a balanced view of academic and industrial developments. Formalization is fundamental to the development of software engineering as an engineering discipline. The critical importance of formal models and form al methods is painfully clear when one considers the escalating demands for larger, more complex, reliable software Systems.
Type
Technical Report
Description
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
NPS-CS-99-002
Sponsors
Funder
Format
Citation
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.