Integrated formal methods. 2nd international conference, IFM 2000, Dagstuhl Castle, Germany, November 1--3, 2000. Proceedings (Q1589860)

The articles of mathematical interest will be reviewed individually. The preceding conference (1st, 1999) has been reviewed (see Zbl 0932.00061). Indexed articles: \textit{Hoare, Tony}, Assertions, 1-2 [Zbl 1043.68536] \textit{Baumeister, Hubert; Zamulin, Alexandre}, State-based extension of CASL, 3-24 [Zbl 1043.68525] \textit{Haxthausen, Anne Elisabeth; Yong, Xia}, Linking DC together with TRSL, 25-44 [Zbl 1043.68535] \textit{Fischer, Jörg; Conrad, Stefan}, Formalizing timing diagrams as causal dependencies for verification purposes, 45-60 [Zbl 1043.68533] \textit{Butler, Michael; Ferreira, Carla}, A process compensation language, 61-76 [Zbl 1043.68528] \textit{Bolton, Christie; Davies, Jim}, Activity graphs and processes, 77-96 [Zbl 1043.68526] \textit{Smith, Graeme; Hayes, Ian}, Structuring real-time Object-Z specifications, 97-115 [Zbl 1043.68545] \textit{Jonkers, Hans B. M.}, ISpec: Towards practical and sound interface specifications, 116-135 [Zbl 1043.68537] \textit{Ait-Ameur, Yamine}, Cooperation of formal methods in an engineering based software development process, 136-155 [Zbl 1043.68522] \textit{Petre, Luigia; Sere, Kaisa}, Developing control systems components, 156-175 [Zbl 1043.68541] \textit{Bryans, Jeremy; Blair, Lynne; Bowman, Howard; Derrick, John}, Specification and analysis of automata-based designs, 176-193 [Zbl 1043.68566] \textit{Derrick, John; Smith, Graeme}, Structural refinement in Object-Z / CSP, 194-213 [Zbl 1043.68531] \textit{Dingel, Jürgen}, Towards a unified development methodology for shared-variable parallel and distributed programs, 214-234 [Zbl 1043.68532] \textit{Bert, Didier; Cave, Francis}, Construction of finite labelled transition systems from B abstract systems, 235-254 [Zbl 1043.68586] \textit{Reeve, Greg; Reeves, Steve}, \(\mu\)-charts and Z: Hows, whys, and wherefores, 255-276 [Zbl 1043.68542] \textit{Bowen, Jonathan P.}, Combining operational semantics, logic programming and literate programming in the specification and animation of the Verilog hardware description language, 277-296 [Zbl 1043.68564] \textit{Schulte, Wolfram}, Why doesn't anyone use formal methods?, 297-298 [Zbl 1043.68544] \textit{Chen, Yifeng}, How to write a healthiness condition, 299-317 [Zbl 1043.68529] \textit{Klaudel, Hanna; Pommereau, Franck}, A concurrent and compositional Petri net semantics of preemption, 318-337 [Zbl 1043.68595] \textit{Rusu, Vlad; du Bousquet, Lydie; Jéron, Thierry}, An approach to symbolic test generation, 338-357 [Zbl 1043.68543] \textit{Meyer, Eric; Santen, Thomas}, Behavioral conformance verification in an integrated approach using UML and B, 358-379 [Zbl 1043.68540] \textit{Cansell, Dominique; Méry, Dominique; Merz, Stephan}, Predicate diagrams for the verification of reactive systems, 380-397 [Zbl 1043.68568] \textit{Masson, Pierre-Alain; Mountassir, Hassan; Julliand, Jacques}, Modular verification for a class of PLTL properties, 398-419 [Zbl 1043.68578] \textit{Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus}, Towards model checking stochastic process algebra, 420-439 [Zbl 1043.68594]