Bøger i Programming and Software Engineering serien

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006.

isthemostimportantofthesixconcepts,onethatsupportsalltheothers.Mul- paradigm systems such as Oz provide more choices for notation than sing- paradigm languages.

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests.

RISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are part of a methodological framework and which apply to both new and evolving app- cations, technologies and systems. The ERCIM (European Research Consortium forInformaticsandMathematics)RISEworkinggroupselectedapplicationareas such as the Web, mobility, high availability approaches, embedded approaches and user interfaces in speci?c industry sectors comprising ?nance, telecom- nications, transportation (avionics, the automotive industry) and e-government. Considered research issues in these areas pertain to the following software en- neering domains: - software/system architectures - reuse - testing - model transformation/model-driven engineering - requirements engineering - lightweight formal methods - ASE tools All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected for these proceedings 12 papers amongst 28 submitted, and an invited paper. The organization of such a workshop represents an important amount of work. We would like to acknowledge all the Program Committee members, all the additional referees,all the Organization Committee members, the University of Luxembourg, Faculty of Science, Technology and Communication administ- tive, scienti?c and technical sta?, and the Henri Tudor Public Research Center.

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements.

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989.

Scenarios are used in telecommunications as Message Sequence Charts, in object-oriented system design as Sequence Diagrams, in reverse engineering as execution traces, and in requirements engineering as, for example, Use Case Maps or Life Sequence Charts.

The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice.

This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009. The topics covered are: benchmark suites, CPU benchmarking, power/thermal benchmarking, and modeling and sampling techniques.

The 22 revised full papers and 9 revised short papers presented cover issues concerned with the development of software-intensive systems from reusable parts, the development of reusable parts, and system maintenance and improvement by means of component replacement and customization.

The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE).

Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).

This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;

March 2010 Robert Kowalski Imperial College London Preface On June 18, 1985, a group of pioneering researchers, including representatives from industry, national research labs, and academia, attended the constituent assembly of the Group of researchers and Users of Logic Programming (GULP) association.

Constitutes the refereed proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS 2006, held in Jhongli, Taiwan, June 2006. This book presents 67 revised full papers and 40 poster papers, together with abstracts of 6 keynote talks, authoring tools, and bayesian reasoning and decision-theoretic approaches.

This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015.

The 38 revised full papers presented together with 12 short papers, 4 posters and 3 doctoral thesis papers were carefully reviewed and selected from 169 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Product-Focused Software Process Improvement, PROFES 2014, held in Helsinki, Finland, in December 2014. The 18 revised full papers presented together with 14 short papers were carefully reviewed and selected from 45 initial submissions.

Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference.

Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis.

Constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006.

The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;

On behalf of the PROFES Organizing Committee we are proud to present the proce- th ings of the 11 International Conference on Product-Focused Software Process Improvement (PROFES 2010), held in Limerick, Ireland.

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions.

Contains the refereed proceedings of the 11th International Conference on "Intelligent Tutoring Systems", ITS 2012, held in Chania, Crete, Greece, in June 2012. This title brings together researchers in computer science, informatics, and artificial intelligence on the one side - and cognitive science, educational psychology, and linguistics.

Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation.

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701.

This book constitutes the refereed conference proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. service design, description and evolution; cloud and business service management; service management; cloud service management; business service management;