By Arie van Deursen, Paul Klint, Chris Verhoef (auth.), Jean-Pierre Finance (eds.)
ETAPS’99 is the second one example of the eu Joint meetings on idea and perform of software program. ETAPS is an annual federated convention that used to be validated in 1998 by way of combining a couple of present and new meetings. This 12 months it contains ?ve meetings (FOSSACS, FASE, ESOP, CC, TACAS), 4 satellite tv for pc workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, invited tutorials, and 6 contributed tutorials. The occasions that include ETAPS handle a variety of elements of the process - velopment method, together with speci?cation, layout, implementation, research and development. The languages, methodologies and instruments which help those - tivities are all good inside its scope. Di?erent blends of idea and perform are represented, with a bent in the direction of conception with a realistic motivation on one hand and soundly-based perform at the different. a number of the matters serious about software program layout observe to platforms usually, together with platforms, and the emphasis on software program isn't meant to be exclusive.