Download E-books Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings PDF

By Bruno Courcelle (auth.), Mogens Nielsen, Uffe Engberg (eds.)

ETAPS 2002 is the ?fth example of the eu Joint meetings on conception and perform of software program. ETAPS is an annual federated convention that was once proven in 1998by combining a few current and new meetings. This 12 months it contains ?ve meetings (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite tv for pc workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), 8 invited lectures (not together with those who are speci?c to the satellite tv for pc events), and a number of other tutorials. The occasions that contain ETAPS handle quite a few facets of the method - velopment technique, together with speci?cation, layout, implementation, research and development. The languages, methodologies and instruments which help those - tivities are all good inside of its scope. Di?erent blends of conception and perform are represented, with a tendency in the direction of thought with a realistic motivation on one hand and soundly-based perform at the different. a number of the concerns all for software program layout practice to platforms normally, together with platforms, and the emphasis on software program isn't meant to be exclusive.

Show description

Read or Download Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings PDF

Similar Software books

Extra resources for Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Show sample text content

Rated 4.91 of 5 – based on 46 votes