SOFSEM 2010: Theory and Practice of Computer Science

SOFSEM 2010: Theory and Practice of Computer Science

4.11 - 1251 ratings - Source

This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23a€“29, 2010 in the Hotel Bed? richov, ? Spindler? uv Mlyn, Aa of the Krkono? se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch, and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects, suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: a€“ Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) a€“ Principles of Software Construction (Chair: Bernhard Rumpe) a€“ Data, Knowledge, and Intelligent Systems (Chair: Jaroslav PokornAa y) a€“ Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di?erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma Aaria BielikovAa a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti?c results and on their work in progress.Broy, M.: A Semantic and Methodological Essence of Message Sequence Charts. Sci. Comput. Program. 54(2-3), 213a€“256 (2005) 3. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Form. ... Technical report ( 1996) 7. Harel, D. ... University Press, India (2009) 9. Clarke, E.M. ... ACM SIGSOFT Int. Symp. on Software Testing and Analysis (ISSTA 1994), pp. 66a€“79. ACM, Newanbsp;...

Title:SOFSEM 2010: Theory and Practice of Computer Science
Author: Jan van Leeuwen
Publisher:Springer Science & Business Media - 2010-01-20

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA