zbMATH — the first resource for mathematics

Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. (English) Zbl 1155.68012
Lecture Notes in Computer Science 5382. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). x, 313 p. (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1143.68011).
Indexed articles:
Beringer, Lennart; Hofmann, Martin; Pavlova, Mariela, Certification using the Mobius base logic, 25-51 [Zbl 1209.68121]
Aspinall, David; Maier, Patrick; Stark, Ian, Safety guarantees from explicit resource management, 52-71 [Zbl 1209.68119]
Cunningham, Dave; Dietl, Werner; Drossopoulou, Sophia; Francalanza, Adrian; Müller, Peter; Summers, Alexander J., Universe types for topology and encapsulation, 72-112 [Zbl 1209.68125]
Bliudze, Simon; Sifakis, Joseph, Causal semantics for the algebra of connectors (extended abstract), 179-199 [Zbl 1209.68123]
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos, Multiple viewpoint contract-based specification and design, 200-225 [Zbl 1209.68120]
Clarke, Dave, Coordination: Reo, nets, and logic, 226-256 [Zbl 1209.68335]
Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel, An object-oriented component model for heterogeneous nets, 257-279 [Zbl 1209.68339]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI