Integrated formal methods. 2nd international conference, IFM 2000, Dagstuhl Castle, Germany, November 1--3, 2000. Proceedings
type: Item
instance of: scholarly article
title: Integrated formal methods. 2nd international conference, IFM 2000, Dagstuhl Castle, Germany, November 1--3, 2000. Proceedings
zbMATH Open document ID: 0952.00047
DOI: 10.1007/3-540-40911-4
published in: Lecture Notes in Computer Science
publication date: 2000-12-12T00:00:00Z
review text: 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 …
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1542665
zbMATH Keywords: Dagstuhl Castle (Germany)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: IFM 2000
zbMATH Keywords: Integrated formal methods
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-40911-4
OpenAlex ID: W4206312500
description: scientific article; zbMATH DE number 1542665