Author: Patrick Eugster
Publisher: Springer Science & Business Media
ISBN: 3642020461
Category : Computers
Languages : en
Pages : 123

View

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

Author: Michael Cebulla
Publisher: Springer Science & Business Media
ISBN: 3540781943
Category : Computers
Languages : en
Pages : 212

View

Book Description
This book contains the final reports of 19 workshops held during the 21st European Conference on Object-Oriented Programming, ECOOP 2007, in Berlin, Germany, in July 2007. The 19 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 reports are ordered in thematic groups on programming languages, aspects, formal techniques, roles, components, software engineering, and applications.

Author: Nobuko Yoshida
Publisher: Springer Nature
ISBN: 3030720195
Category : Computers
Languages : en
Pages : 693

View

Book Description
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Author: Mehdi Khosrow-Pour
Publisher: IGI Global Snippet
ISBN: 9781605660264
Category : Computers
Languages : en
Pages : 4292

View

Book Description
"This set of books represents a detailed compendium of authoritative, research-based entries that define the contemporary state of knowledge on technology"--Provided by publisher.

Author: Benoit Combemale
Publisher: Springer
ISBN: 3319112457
Category : Computers
Languages : en
Pages : 365

View

Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functional programming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.

Author: Patrick Eugster
Publisher: Springer
ISBN: 364202047X
Category : Computers
Languages : en
Pages : 123

View

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

Author: Vytautas Štuikys
Publisher: Springer Science & Business Media
ISBN: 1447141261
Category : Computers
Languages : en
Pages : 330

View

Book Description
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches. The fundamental concepts of meta-programming are still not thoroughly understood, in this well organized book divided into three parts the authors help to address this. Chapters include: Taxonomy of fundamental concepts of meta-programming; Concept of structural heterogeneous meta-programming based on the original meta-language; Model-driven concept and feature-based modeling to the development process of meta-programs; Equivalent meta-program transformations and metrics to evaluate complexity of feature-based models and meta-programs; Variety of academic research case studies within different application domains to experimentally verify the soundness of the investigated approaches. Both authors are professors at Kaunas University of Technology with 15 years research and teaching experience in the field. Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques is aimed at post-graduates in computer science and software engineering and researchers and program system developers wishing to extend their knowledge in this rapidly evolving sector of science and technology.

Author: Mangey Ram
Publisher: CRC Press
ISBN: 1351336428
Category : Business & Economics
Languages : en
Pages : 312

View

Book Description
Recent developments in reliability engineering has become the most challenging and demanding area of research. Modeling and Simulation, along with System Reliability Engineering has become a greater issue because of high-tech industrial processes, using more complex systems today. This book gives the latest research advances in the field of modeling and simulation, based on analysis in engineering sciences. Features Focuses on the latest research in modeling and simulation based analysis in reliability engineering. Covers performance evaluation of complex engineering systems Identifies and fills the gaps of knowledge pertaining to engineering applications Provides insights on an international and transnational scale Modeling and Simulation Based Analysis in Reliability Engineering aims at providing a reference for applications of mathematics in engineering, offering a theoretical sound background with adequate case studies, and will be of interest to researchers, practitioners, and academics.

Author: Sören Frey
Publisher: BoD – Books on Demand
ISBN: 3732297349
Category : Computers
Languages : en
Pages : 638

View

Book Description
Many SaaS providers nowadays want to leverage the cloud’s capabilities also for their existing applications, for example, to enable sound scalability and cost-effectiveness. This thesis provides the approach CloudMIG that supports SaaS providers to migrate those applications to IaaS and PaaS-based cloud environments. CloudMIG consists of a step-by-step process and focuses on two core components. (1) Restrictions imposed by specific cloud environments (so-called cloud environment constraints (CECs)), such as a limited file system access or forbidden method calls, can be validated by an automatic conformance checking approach. (2) A cloud deployment option (CDO) determines which cloud environment, cloud resource types, deployment architecture, and runtime reconfiguration rules for exploiting a cloud’s elasticity should be used. The implied performance and costs can differ in orders of magnitude. CDOs can be automatically optimized with the help of our simulation-based genetic algorithm CDOXplorer. Extensive lab experiments and an experiment in an industrial context show CloudMIG’s applicability and the excellent performance of its two core components.

Author: Gilles Falquet
Publisher: Springer Science & Business Media
ISBN: 0857297244
Category : Computers
Languages : en
Pages : 239

View

Book Description
Ontologies are increasingly recognized as essential tools in information science. Although the concepts are well understood theoretically , the practical implementation of ontologies remains challenging. In this book, researchers in computer science, information systems, ontology engineering, urban planning and design, civil and building engineering, and architecture present an interdisciplinary study of ontology engineering and its application in urban development projects. The first part of the book introduces the general notion of ontology, describing variations in abstraction level, coverage, and formality. It also discusses the use of ontologies to achieve interoperability, and to represent multiple points of view and multilingualism. This is illustrated with examples from the urban domain. The second part is specific to urban development. It covers spatial and geographical knowledge representation, the creation of urban ontologies from various knowledge sources, the interconnection of urban models and the interaction between standards and domain models. The third part presents case studies of the development of ontologies for urban mobility, urban morphological processes, road systems, and cultural heritage. Other cases report on the use of ontologies to solve urban development problems, in construction business models, building regulations and urban regeneration. It concludes with a discussion of key challenges for the future deployment of ontologies in this domain. This book bridges the gap between urban practitioners and computer scientists. As the essence of most urban projects lies in making connections between worldviews, ontology development has an important role to play, in promoting interoperability between data sources, both formal (urban databases, Building Integrated Models, Geographical Information Systems etc.) and less formal (thesauri, text records, web sources etc.). This volume offers a comprehensive introduction to ontology engineering for urban development. It is essential reading for practitioners and ontology designers working in urban development.