Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4--7, 2004. Proceedings. (Q1884195)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0992.00052). Indexed articles: \textit{Woodcock, Jim; Cavalcanti, Ana}, A tutorial introduction to designs in unifying theories of programming, 40-66 [Zbl 1196.68031] \textit{Schneider, Steve; Treharne, Helen}, Verifying controlled components, 87-107 [Zbl 1196.68143] \textit{Farias, Adalberto; Mota, Alexandre; Sampaio, Augusto}, Efficient CSP\(_{Z }\) data abstraction, 108-127 [Zbl 1196.68132] \textit{Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant}, State/event-based software model checking, 128-147 [Zbl 1196.68129] \textit{Beckert, Bernhard; Schlager, Steffen}, Software verification with integrated data type refinement for integer arithmetic, 207-226 [Zbl 1196.68126] \textit{Wang, Xu; Roscoe, A. W.; Lazić, R. S.}, Relating data independent trace checks in CSP with UNITY reachability under a normality assumption, 247-266 [Zbl 1196.68145] \textit{Thanh, Cécile Bui; Klaudel, Hanna}, Object-oriented modelling with high-level modular Petri nets, 287-306 [Zbl 1196.68041] \textit{Ciobanu, Gabriel; Lucanu, Dorel}, Specification and verification of synchronizing concurrent objects, 307-327 [Zbl 1196.68130] \textit{Willemse, Tim A. C.}, Embeddings of hybrid automata in process algebra, 343-362 [Zbl 1196.68122] \textit{Geguang, Pu; Hung, Dang Van; Jifeng, He; Yi, Wang}, An optimal approach to hardware/software partitioning for synchronous model, 363-381 [Zbl 1196.68136] \textit{Fernández Vilas, Ana; Pazos Arias, José J.; Díaz Redondo, Rebeca P.; Gil Solla, Alberto; García Duque, Jorge}, A many-valued logic with imperative semantics for incremental specification of timed models, 382-401 [Zbl 1196.68133] \textit{Chen, Yifeng; Liu, Zhiming}, Integrating temporal logics, 402-420 [Zbl 1196.03028] \textit{Bujorianu, Marius C.}, Integration of specification languages using viewpoints, 421-440 [Zbl 1196.68128] \textit{Morillo, F. J. Galán; Valdeón, J. M. Cañete}, A method for compiling and executing expressive assertions, 521-540 [Zbl 1196.68051]