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