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 ...

Lee mas
Central European Functional Programming School

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

Lee mas
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 ...

Lee mas
Component-Based Software Engineering (vol. # 4063)

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

Lee mas
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 ...

Lee mas
ECOOP 2005 - Object-Oriented Programming

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

Lee mas
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 ...

Lee mas
FM 2006: Formal Methods

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

Lee mas
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 ...

Lee mas
Generative and Transformational Techniques in Software Engineering

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

Lee mas
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. ...

Lee mas
Model-Driven Software Development

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

Lee mas
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 - ...

Lee mas
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, ...

Lee mas
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, ...

Lee mas
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 ...

Lee mas
Scientific Engineering of Distributed Java Applications

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

Lee mas
System Analysis and Modeling: Language Profiles

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

Lee mas
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 ...

Lee mas
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, ...

Lee mas
Total Books: 1 - 20 /20