Volume 25, 1999
The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems
Carmel (California, USA), October 23 - October 26, 1998
- Luqi:
Engineering Automation for Computer Based Systems.
1-9
- Daniel M. Berry:
Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work.
10-22
- Daniel E. Cooke, Vladik Kreinovich:
Automatic Concurrency in SequenceL.
23-34
- John Drummond:
Dynamic Task Monitoring.
35-37
- Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
38-49
- Piotr Kosiuczenko, Martin Wirsing:
Formalizing and Executing Message Sequence Charts via Timed Rewriting.
50-61
- Wolfgang Polak:
Formal Methods in Practice.
62-72
- Vered Gafni, Yishai A. Feldman, Amiram Yehudai:
Real-Time Systems Development with MASS.
73-86
- Du Zhang, Vo Lee, Joseph Friedel, Robert Keyser:
Automated Facts Generation From Raw Data: A Perspective From The ANDES Project.
87-96
- Norbert Völker, Bernd J. Krämer:
Automated Verification of Function Block Based Industrial Control Systems.
97-110
- Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes:
The Story of Re-engineering 350,000 Lines of FORTRAN Code.
111-120
- Michael Gelfond, Richard Watson:
On Methodology of Representing Knowledge in Dynamic Domains.
121-132
- Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer:
The role of observations in probabilistic open systems.
133-144
- Luqi, Manfred Broy:
Preface - Software Engineering to our Planning Horizon.
145-146
Last update Sat May 18 20:24:25 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
