Bøger i Programming and Software Engineering serien

This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2009, held in Brussels, Belgium, in September 2009. The papers are organized in topical sections on business process, design process, model driven approach, task modeling, and task models and UML.

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.

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages.

The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009.

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Software Engineering Research and Applications, SERA 2004, held in May 2004.

This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005.

Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012.

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type-based analysis, and verification systems.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of AAMAS 2006.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The papers feature topics such as web services;

Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events.

This book constitutes the refereed proceedings of the 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, in Graz, Austria, in November 2011. The 18 revised full papers together with 29 revised short papers and 2 posters presented were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on cognitive approaches to clinical data management for decision support, human-computer interaction and knowledge discovery in databases (hci-kdd), information usability and clinical workflows, education and patient empowerment, patient empowerment and health services, information visualization, knowledge & analytics, information usability and accessibility, governmental health services & clinical routine, information retrieval and knowledge discovery, decision making support & technology acceptance, information retrieval, privacy & clinical routine, usability and accessibility methodologies, information usability and knowledge discovery, human-centred computing, and biomedical informatics in health professional education.

This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed and selected from 57 submissions. The papers cover the following topics: cloud computing;

This book constitutes the refereed proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, held in Montpellier, France, in June 2008.

Constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008. This book addresses various aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, and data flow analysis.

Working and learning can be viewed as parallel processes, with the result that li- long learning (LLL) must be considered as more than just a catch phrase within our society, it is an undisputed necessity.

This book constitutes the refereed proceedings of three joint events - the International Workshop on Software Measurement, IWSM 2008, the DASMA Metrik Kongress, Metrikon 2008, and the International Conference on Software Process and Product Measurement, Mensura 2008, held in Munich, Germany, in November 2008.

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures.

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.

This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues.

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.

This book constitutes the refereed proceedings of the Third Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2007, held in Graz, Austria, in November 2007.

Contains the final reports of 19 workshops held during the 21st European Conference on Object-Oriented Programming, ECOOP 2007, in Berlin, Germany, in July 2007. This title includes reports that are ordered in thematic groups on programming languages, aspects, formal techniques, roles, components, software engineering, and applications.

Constitutes the post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. This book presents the organized papers in topical sections on graph transformation applications, meta-modeling and domain-specific language, and dynamic system modeling.

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrucken, Germany, in September 2012. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context;