This volume contains the proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011, as part of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011), whose...

Social Learning Systems and Communities of Practice is a collection of classical and contemporary writing associated with learning and systemic change in contexts ranging from cities, to rural development to education to nursing to water management to public policy. It is likely to be of interest to anyone trying to understand how to think...

FASE (Fundamental Approaches to Software Engineering) is concerned with the foundations on which software engineering is built. Its focus is on novel techniques and the way in which they contribute to making software engineering a more mature and soundly based discipline. This year, we particularly encouraged contributions that combine the...

The conceptualization of a problem (modeling) and the computational solution of this problem (simulation), is the foundation of Computational Science. This coupled endeavor is unique in several respects. It allows practically any complex system to be analyzed with predictive capability by invoking the multiscale paradigm linking...

From its beginnings, the Internet has fostered communication, collaboration and networking between users. However, the first boom at the turn of the millennium was mainly driven by a rather one-sided interaction: e-commerce, portal sites and the broadcast models of mainstream media were introduced to theWeb. Over the last six or seven...

The data collected by organizations is growing in volume and complexity. As such, businesses are abandoning traditional methods and relying more heavily on enterprise information systems to aid in the analysis and utilization of time-sensitive data and organizational knowledge. Enterprise information systems have gained in popularity...

In an age where online universities and distance learning courses exist side by side with traditional classroom learning, the development, design, use and challenges of creating web-based learning systems that promote learning in students, whether over a distance or within a university proper, is increasingly complex and often...