By Bran Selic (auth.), Heinrich Hussmann (eds.)
ETAPS 2001 is the fourth example of the ecu Joint meetings on thought and perform of software program. ETAPS is an annual federated convention that was once proven in 1998 via combining a couple of current and new meetings. This 12 months it contains 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 include ETAPS deal with a variety of features of the process - velopment method, together with speci cation, layout, implementation, research and development. The languages, methodologies and instruments which aid those - tivities are all good inside its scope. Di erent blends of concept and perform are represented, with a bent in the direction of concept with a realistic motivation on one hand and soundly-based perform at the different. the various matters interested in software program layout practice to structures ordinarily, together with structures, and the emphasis on software program isn't really meant to be exclusive.