This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Anpindleruv MlA½n, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.Based on the formal definition of context and context calculus  we have developed a context tool kit, which can be used as a plug ... In: Formal Aspects of Component Software (FACS 2007) (September 2007), http://users.encs. concordia.ca/a¼ms moham/FACS07.pdf 4. Ankolenkar, A. ... Baker, P., Bristow, P., et al.
|Title||:||SOFSEM 2009: Theory and Practice of Computer Science|
|Author||:||Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen|
|Publisher||:||Springer Science & Business Media - 2009-01-12|