Constitutes the refereed proceedings of HCI in Work and Learning, Life and Leisure, held as the 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2010, in Klagenfurt, Austria, in November 2010.

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints,...

Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010.

Computing systems including hardware, software, communication, and networks are becoming increasingly large and heterogeneous. In short, they have become - creasingly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-* properties to the maximum extent possible...

This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering,...

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

Welcome to the 8th International Conference on Service Oriented Computing (ICSOC 2010), held in San Francisco, December 2010. These proceedings rep- sent high-quality research and industry papers, tutorials, demos, and posters that showcase new developments in service oriented computing and related ?elds. Since the ?rst meeting in beautiful Trento in 2003, ICSOC has become the premier conference in the rapidly evolving areas of service research. While ke- ing its roots in scienti?c excellence and technical depth of service technology, ICSOC 2010 aimed to combine technical aspects of service...

This book constitutes the joint post-proceedings of four topical workshops held as satellite meetings of the 8th International Conference on service-oriented computing, ICSOC 2010, held in San Francisco, CA, USA in December 2010. The 23 revised papers presented together with four introductory descriptions are organized in topical sections corresponding to the individual workshops: performance assessment and auditing in service computing (PAASC 2010), engineering service-oriented applications (WESOA 2010), services, energy and ecosystems (SEE 2010), and service-oriented computing in logistics...

Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010....

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.
The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction...