Special issue of the journal "Software Tools for Technology Transfer"

A special section of the International Journal on Software Tools for Technology Transfer was published.

Prepared by Jaco van de Pol, this special issue is dedicated to the FMICS workshops of 2001 and 2002, from which papers have been selected.

International Journal on Software Tools for Technology Transfer

Table of Contents
Volume 5, Number 2-3, pp. 105-246, Springer-Verlag, March 2004

Introductory paper
Jaco van de Pol
pp. 105 - 106
Lightweight coarse-grained coordination: a scalable system-level approach
Tiziana Margaria and Bernhard Steffen
pp. 107 - 123
Validation and automatic test generation on UML models: the AGATHA approach
David Lugato, Céline Bigot, Yannick Valot, et al.
pp. 124 - 139
Model-based testing for real: The inhouse card case study
A. Pretschner, O. Slotosch, E. Aiglstorfer, et al.
pp. 140 - 157
Counter-example generation in symbolic abstract model-checking
Gordon Pace, Nicolas Halbwachs, Pascal Raymond
pp. 158 - 164
aSPIN: A tool for abstract model checking
María del Mar Gallardo, Jesús Martínez, Pedro Merino, et al.
pp. 165 - 184
Efficient reduction of finite state model checking to reachability analysis
Viktor Schuppan and Armin Biere
pp. 185 - 204
Development of a verified Erlang program for resource locking
Thomas Arts, Clara Benac Earle, John Derrick
pp. 205 - 220
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
Conrado Daws, Marta Kwiatkowska, Gethin Norman
pp. 221 - 236
Properties of two's complement floating point notations
Sylvie Boldo and Marc Daumas
pp. 237 - 246