The 1998 ARO/ONR/NSF/DARPA Monterey workshop on engineering automation for computer based systems. Carmel, CA, USA, October 23--26, 1998 (Q1574780)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Zhang, Du; Lee, Vo; Friedel, Joseph; Keyser, Robert}, Automated facts generation from raw data: A perspective from the ANDES project, 10 p., electronic only [Zbl 0958.68170] \textit{Polak, Wolfgang}, Formal methods in practice, 10 p., electronic only [Zbl 0958.68105] \textit{Narasimha, Murali; Cleaveland, Rance; Iyer, Purushothaman}, The role of observations in probabilistic open systems, 12 p., electronic only [Zbl 0958.68013] \textit{Gelfond, Michael; Watson, Richard}, On methodology of representing knowledge in dynamic domains, 12 p., electronic only [Zbl 0958.68164] \textit{Kwak, Hee-Hwan; Lee, Insup; Sokolsky, Oleg}, Parametric approach to the specification and analysis of real-time system designs based on ACSR-VP, 12 p., electronic only [Zbl 0958.68017] \textit{Cooke, Daniel E.; Kreinovich, Vladik}, Automatic concurrency in SequenceL, 12 p., electronic only [Zbl 0958.68023] \textit{Berry, Daniel M.}, Formal methods: The very idea, some thoughts about why they work when they work, 13 p., electronic only [Zbl 0958.68106] \textit{Shing, M.; Luqi; Berzins, V.; Saluto, M.; Williams, J.; Guo, J.; Shultes, B.}, The story of re-engineering 350,000 lines of FORTRAN code, 14 p., electronic only [Zbl 0958.68051] \textit{Völker, Norbert; Krämer, Bernd J.}, Automated verification of function block based industrial control systems, 14 p., electronic only [Zbl 0958.68186] \textit{Gafni, Vered; Feldman, Yishai; Yehudai, Amiram}, Real-time systems development with MASS, 14 p., electronic only [Zbl 0958.68187] \textit{Drummond, John}, Dynamic task monitoring, 1 p., electronic only [Zbl 0958.68016]