Electronic Notes in Theoretical Computer Science, Volume 25

Volume 25, 1999

• Luqi, Manfred Broy:
  Preface - Software Engineering to our Planning Horizon.
  
• Luqi:
  Engineering Automation for Computer Based Systems.
  
• Daniel M. Berry:
  Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work.
  
• Daniel E. Cooke, Vladik Kreinovich:
  Automatic Concurrency in SequenceL.
  
• John Drummond:
  Dynamic Task Monitoring.
  
• Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
  Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
  
• Piotr Kosiuczenko, Martin Wirsing:
  Formalizing and Executing Message Sequence Charts via Timed Rewriting.
  
• Wolfgang Polak:
  Formal Methods in Practice.
  
• Vered Gafni, Yishai A. Feldman, Amiram Yehudai:
  Real-Time Systems Development with MASS.
  
• Du Zhang, Vo Lee, Joseph Friedel, Robert Keyser:
  Automated Facts Generation From Raw Data: A Perspective From The ANDES Project.
  
• Norbert Völker, Bernd J. Krämer:
  Automated Verification of Function Block Based Industrial Control Systems.
  
• 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.
  
• Michael Gelfond, Richard Watson:
  On Methodology of Representing Knowledge in Dynamic Domains.
  
• Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer:
  The role of observations in probabilistic open systems.