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.
Domain-Specific Languages
This textbook describes the theory and the pragmatics of using and engineering high-level software languages – also known as modeling or domain-specific languages (DSLs) – for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs. The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing h...
Generative Programming and Component Engineering
This book constitutes the refereed proceedings of the 4th International Conference on Generative Programming and Component Engineering, GPCE 2005, held in Tallinn, Estonia, in September/October 2005. The 25 revised full papers presented together with 2 tool demonstration papers were carefully selected from 86 initial submissions following a round of reviewing and improvement. The papers, which include three full invited papers, are organized in topical sections on aspect-oriented programming, component engineering and templates, demonstrations, domain-specific languages, generative techniques, generic programming, meta-programming and transformation, and multi-stage programming.
Co-Evolution of Metamodels and Model Transformations
Complexity is an essential property of software systems that increases in a non-linear fashion with the size of the software system. In software engineering, Model Driven Engineering (MDE) aims to alleviate this complexity by utilising models and modelling activities to raise the level of abstraction and to automate the production of artefacts. One specialised technique with this purpose is the model transformation, which allows the automated creation and modification of output models based on input models. As models and model transformations are used in a productive capacity, they underlie the same evolutionary pressure that conventionally build software systems do. Here the tight coupling ...
Domain-Specific Program Generation
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization
Object-Oriented Technology: ECOOP 2000 Workshop Reader
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.
Generative Programming and Component Engineering
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22–25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e?ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci?c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional techn...
Principles and Practice of Constraint Programming
This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: main technical track; applications track; CP and data science; CP and music; CP and operations research; CP, optimization and power system management; multiagent and parallel CP; and testing and verification.
Consistent View-Based Management of Variability in Space and Time
Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering
Object-Oriented Technology: ECOOP ’97 Workshop Reader
This book constitutes the joint refereed post-conference proceedings of 12 workshops held in conjunction with the 11th European Conference on Object-Oriented Programming, ECOOP '97, in Jyvskyl, Finland, in June 1997. The volume presents close to 100 revised selected contributions, including surveys by the respective workshop organizers. The wealth of up-to-date information provided spans the whole spectrum of Object Technologies, from theoretical and foundational issues to applications in a variety of domains.
