Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Front Cover
Springer Science & Business Media, Mar 9, 2009 - Computers - 456 pages
ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING),fourtutorials,andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences received 532 submissions (including 30 tool demonstration papers), 141 of which were accepted (10 tool demos), giving an overall acceptance rate of about 26%, with most of the c- ferences at around 25%. Congratulations therefore to all the authors who made it to the ?nal programme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that youwill allcontinue submitting to ETAPS and contributing towards making it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
16
III
31
IV
46
V
50
VI
54
VII
58
VIII
62
XX
201
XXI
215
XXII
230
XXIII
246
XXIV
262
XXV
277
XXVI
292
XXVII
307

IX
77
X
92
XI
107
XII
124
XIII
139
XIV
155
XV
170
XVI
174
XVII
178
XVIII
182
XIX
186
XXVIII
322
XXIX
337
XXX
352
XXXI
368
XXXII
383
XXXIII
398
XXXIV
413
XXXV
428
XXXVI
443
XXXVII
454
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information