Electronic Books

Total Books: 1 - 20 /20

Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...

Central European Functional Programming School

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...

Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...

Component-Based Software Engineering (vol. # 4063)

CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...

Distributed Applications and Interoperable Systems (vol. # 4025)

This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...

ECOOP 2005 - Object-Oriented Programming

The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...

Extreme Programming and Agile Processes in Software Engineering (vol. # 3556)

Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...

FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

Model-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

Object-Oriented Technology. ECOOP 2007 Workshop Reader : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...

Pro NetBeans™ IDE

Written for Java developers of varying skill and familiarity with the open-source NetBeans IDE as well as Java IDEs in general, ...

Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...

Reuse of Off-the-Shelf Components

Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...

Scientific Engineering of Distributed Java Applications

The scope of the workshop included the following topics: – design of distributed applications – development methodologies ...

System Analysis and Modeling: Language Profiles

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

Transactions on Aspect-Oriented Software Development I

This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

Total Books: 1 - 20 /20