Electronic Books

Total Books: 1 - 20 /20
978-3-540-89020-1
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 ...

Continue reading
978-3-540-46845-5
Central European Functional Programming School

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

Continue reading
978-3-540-88059-2
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 ...

Continue reading
978-3-540-35629-5
Component-Based Software Engineering (vol. # 4063)

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

Continue reading
978-3-540-35127-6
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 ...

Continue reading
978-3-540-31725-8
ECOOP 2005 - Object-Oriented Programming

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

Continue reading
978-3-540-31487-5
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 ...

Continue reading
978-3-540-37216-5
FM 2006: Formal Methods

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

Continue reading
978-3-540-78743-3
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 ...

Continue reading
978-3-540-46235-4
Generative and Transformational Techniques in Software Engineering

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

Continue reading
978-3-540-31683-1
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. ...

Continue reading
978-3-540-28554-0
Model-Driven Software Development

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

Continue reading
978-3-540-78195-0
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 - ...

Continue reading
978-1-4302-0381-0
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, ...

Continue reading
978-3-540-69566-0
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, ...

Continue reading
978-3-540-34607-4
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 ...

Continue reading
978-3-540-31869-9
Scientific Engineering of Distributed Java Applications

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

Continue reading
978-3-540-68373-5
System Analysis and Modeling: Language Profiles

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

Continue reading
978-3-540-32974-9
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 ...

Continue reading
978-3-540-31622-0
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, ...

Continue reading
Total Books: 1 - 20 /20