By Ole Lehrmann Madsen (auth.), Reinhard Wilhelm (eds.)
ETAPS 2001 used to be the fourth example of the eu Joint meetings on conception and perform of software program. ETAPS is an annual federated convention that used to be confirmed in 1998 through combining a few current and new meetings. This 12 months it comprised ve meetings (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite tv for pc workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The occasions that contain ETAPS tackle a number of points of the procedure de- lopment procedure, together with speci cation, layout, implementation, research, and development. The languages, methodologies, and instruments which aid those - tivities are all good inside of its scope. Di erent blends of concept and perform are represented, with a tendency in the direction of thought with a pragmatic motivation on one hand and soundly-based perform at the different. a number of the matters interested in software program layout follow to platforms generally, together with structures, and the emphasis on software program isn't meant to be exclusive.