Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Composability, Comprehensibility and Correctness of Working Software
  • Language: en
  • Pages: 398

Composability, Comprehensibility and Correctness of Working Software

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

Generative and Transformational Techniques in Software Engineering
  • Language: en
  • Pages: 476

Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop. The tutorials combine foundations, methods, examples, and tool support. Subjects covered include feature-oriented programming and the AHEAD tool suite; program transformation with reflection and aspect-oriented programming, and more.

Central European Functional Programming School
  • Language: en
  • Pages: 401

Central European Functional Programming School

  • Type: Book
  • -
  • Published: 2019-08-13
  • -
  • Publisher: Springer

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.

Generative and Transformational Techniques in Software Engineering II
  • Language: en
  • Pages: 526

Generative and Transformational Techniques in Software Engineering II

  • Type: Book
  • -
  • Published: 2008-10-08
  • -
  • Publisher: Springer

The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2–7, 2007. This volume contains an augmented selection of the material presented at the school, including full tutorials, short tutorials, and contributions to the participants workshop. The GTTSE summer school series brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, metamodels, documentation, and entire software systems. This concerns many areas of software engineerin...

Advances in Databases and Information Systems
  • Language: en
  • Pages: 332

Advances in Databases and Information Systems

This book constitutes the refereed proceedings of the 12th East European Conference on Advances in Databases and Information Systems, ADBIS 2008, held in Pori, Finland, on September 5-9, 2008. The 22 revised papers were carefully reviewed and selected from 66 submissions. Topically, the papers span a wide spectrum of the database and information systems field: from query optimisation, and transaction processing via design methods to application oriented topics like XML and data on the web.

Tools and Algorithms for the Construction and Analysis of Systems
  • Language: en
  • Pages: 439

Tools and Algorithms for the Construction and Analysis of Systems

None

Object-Oriented Technology. ECOOP 2004 Workshop Reader
  • Language: en
  • Pages: 222

Object-Oriented Technology. ECOOP 2004 Workshop Reader

  • Type: Book
  • -
  • Published: 2005-01-11
  • -
  • Publisher: Springer

This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, held in Oslo from June 15 to 19, 2004. ECOOP 2004 hosted 19 high-quality workshops covering a large spectrum of hot research topics. These workshops were chosen through a tight peer review process following a speci?c call for proposals ending on November 30, 2003. We are very grateful to the members of the Workshop Selection Committee for their careful reviews and hard work to put together the excellent...

Object-Oriented Technology. ECOOP 2008 Workshop Reader
  • Language: en
  • Pages: 123

Object-Oriented Technology. ECOOP 2008 Workshop Reader

  • Type: Book
  • -
  • Published: 2009-05-15
  • -
  • Publisher: Springer

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008. The 11 collected reports from high-quality workshops - provided by the respective organizers - all are related to selected aspects in the field of object-oriented programming and technology. The topics covered span areas related to object-oriented programming and technology, such as programming languages, aspects, parallel computing, formal techniques, software engineering, tools, and applications.

Eagles Up Close
  • Language: en
  • Pages: 30

Eagles Up Close

Did you know that there are 59 different kinds of eagles in the world? Early readers will learn about many of these birds of prey in this appealing nonfiction title. With vibrant photos, intriguing facts, and simple, informative text, readers will be fascinated from cover to cover!

Object-Oriented Technology: ECOOP 2000 Workshop Reader
  • Language: en
  • Pages: 321

Object-Oriented Technology: ECOOP 2000 Workshop Reader

  • Type: Book
  • -
  • Published: 2003-06-26
  • -
  • Publisher: Springer

This book documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 high-quality value-adding workshop reports, one panel transcription, and 15 posters. All in all, the book offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The wealth of information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains.