Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Stefan Kowalewski, Anna Philippou

ISBN 10: 3642007678 / ISBN 13: 9783642007675

Editore: Springer 2009-03-09, 2009

Riguardo questo articolo

Codice articolo 6666-IUK-9783642007675

Dati bibliografici

Titolo: Tools and Algorithms for the Construction ...

Casa editrice: Springer 2009-03-09

Data di pubblicazione: 2009

Legatura: Paperback

Condizione: New

Descrizione articolo

Riassunto:

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.

Dalla quarta di copertina:

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.