Download or read book Construction and Evolution of Code Generators written by Sven Jörges and published by Springer. This book was released on 2013-01-12 with total page 255 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation of code generators, such as engines based on templates or rule-based transformations. All those techniques have in common that code generators are either directly programmed or described by means of textual specifications. This monograph presents Genesys, a general approach, which advocates the graphical development of code generators for arbitrary source and target languages, on the basis of models and services. In particular, it is designed to support incremental language development on arbitrary metalevels. The use of models allows building code generators in a truly platform-independent and domain-specific way. Furthermore, models are amenable to formal verification methods such as model checking, which increase the reliability and robustness of the code generators. Services enable the reuse and integration of existing code generation frameworks and tools regardless of their complexity, and at the same time manifest as easy-to-use building blocks which facilitate agile development through quick interchangeability. Both, models and services, are reusable and thus form a growing repository for the fast creation and evolution of code generators.

Download or read book Code Generation in Action written by Jack Herrington and published by . This book was released on 2013 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: Code Generation in Action covers technique and implementation for building high-quality machine-generated code for today's complex applications frameworks. The book includes step-by-step instruction for building dozens of code generators of varying types. These generators build high-quality output that is consistent and maintainable. Code generation abstracts the design of the code so that multiple outputs can be created from a single model of the application functionality, which means development teams can focus on higher-level design work and strategic problems, while still meeting goals for maintaining production applications. The book covers techniques that range from simple code processors that handle common coding problems to more elaborate and complex generators that maintain entire application tiers. ABOUT THE BOOK Code Generation in Action covers building database access, user interface, remote procedure, test cases, and business logic code as well as code for other key system functions. Although code generation is an engineering technique it also has a large impact on the engineering team and management. The book discusses the non-technical justifications for code generation in depth, and offers practical advice for making code generation succeed in any organization. What's Inside Code generation models Practical examples of database access generation Architectures for generators for all of today's popular technologies Insight into deployment issues Direct examples are provided on a variety of platforms. These include Java/J2EE, Microsoft's ASP and ASP.NET, as well as Open Source solutions such as Perl, Python and PHP. Who can benefit from this book Senior engineers looking for ways to improve their productivity and the quality of their work. Systems architects who want to maintain their design decisions in abstract form and then generate code to match the design. Product Managers and Project Managers who wish to understand the design principles and cultural benefits of code generation techniques. About the author Jack Herrington is a software engineer with 20 years of experience developing applications using a diverse set of languages and tools. He has shipped applications from scientific real-time applications to web applications for business. He is an expert in the use of code generation techniques from very simple code maintenance to code generators, which build entire tiers of functionality. The author lives in Union Cit ...

Download or read book ICT Analysis and Applications written by Simon Fong and published by Springer Nature. This book was released on 2024-01-22 with total page 623 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book proposes new technologies and discusses future solutions for ICT design infrastructures, as reflected in high-quality papers presented at the 8th International Conference on ICT for Sustainable Development (ICT4SD 2023), held in Goa, India, on August 3–4, 2023. The book covers the topics such as big data and data mining, data fusion, IoT programming toolkits and frameworks, green communication systems and network, use of ICT in smart cities, sensor networks and embedded system, network and information security, wireless and optical networks, security, trust, and privacy, routing and control protocols, cognitive radio and networks, and natural language processing. Bringing together experts from different countries, the book explores a range of central issues from an international perspective.

Download or read book A Model for Automatic Construction of Code generators written by Palangala Shivaram Ravindra and published by . This book was released on 1976 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Highlights in Practical Applications of Agents Multi Agent Systems and Social Good The PAAMS Collection written by Fernando De La Prieta and published by Springer Nature. This book was released on 2021-09-27 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the workshops co-located with the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2021, held in Salamanca, Spain, in October 2021. The total of 17 full and 9 short papers presented in this volume were carefully selected from 42 submissions. The papers in this volume stem from the following meetings:Workshop on Character Computing (C2); Workshop on Deep Learning Applications (DeLA); Workshop on Decision Support, Recommendation, and Persuasion in Artificial Intelligence (DeRePAI); Workshop on Multi-agent based Applications for Modern Energy Markets, Smart Grids and Future Power Systems (MASGES); Workshop on Smart Cities and Intelligent Agents (SCIA).

Download or read book Model Driven Engineering and Software Development written by Luís Ferreira Pires and published by Springer. This book was released on 2018-07-07 with total page 519 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017. The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as methodologies for MDD development and exploitation, model-based testing, model simulation, domain-specific modeling, code generation from models, new MDD tools, multi-model management, model evolution, and industrial applications of model-based methods and technologies.

Download or read book Process Design for Natural Scientists written by Anna-Lena Lamprecht and published by Springer. This book was released on 2014-09-19 with total page 263 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.

Download or read book Verification Model Checking and Abstract Interpretation written by Fritz Henglein and published by Springer Nature. This book was released on 2021-01-11 with total page 608 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.

Download or read book Software Technology written by Mike Hinchey and published by John Wiley & Sons. This book was released on 2018-07-09 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.

Download or read book Computing and Software Science written by Bernhard Steffen and published by Springer Nature. This book was released on 2019-10-04 with total page 604 pages. Available in PDF, EPUB and Kindle. Book excerpt: The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”. They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Download or read book Automatic Construction of Code Generators for a Retargetable Compiler written by Hanʼguk Kwahak Kisurwŏn. Computer Science Dept and published by . This book was released on 1985 with total page 96 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Integrated Formal Methods written by Wolfgang Ahrendt and published by Springer Nature. This book was released on 2019-11-22 with total page 554 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

Download or read book Leveraging Applications of Formal Methods Verification and Validation Discussion Dissemination Applications written by Tiziana Margaria and published by Springer. This book was released on 2016-10-04 with total page 874 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Download or read book A Technique for the Construction of Portable Production quality Code Generators written by Barry A. Spinney and published by . This book was released on 1981 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Building Tightly Integrated Software Development Environments The IPSEN Approach written by Manfred Nagl and published by Springer Science & Business Media. This book was released on 1996-11-13 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems. The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision. Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index.

Download or read book Software Maintenance A Management Perspective written by Phaneendra Nath Vellanky and published by Universal-Publishers. This book was released on 2007-10-23 with total page 591 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer systems play an important role in our society. Software drives those systems. Massive investments of time and resources are made in developing and implementing these systems. Maintenance is inevitable. It is hard and costly. Considerable resources are required to keep the systems active and dependable. We cannot maintain software unless maintainability characters are built into the products and processes. There is an urgent need to reinforce software development practices based on quality and reliability principles. Though maintenance is a mini development lifecycle, it has its own problems. Maintenance issues need corresponding tools and techniques to address them. Software professionals are key players in maintenance. While development is an art and science, maintenance is a craft. We need to develop maintenance personnel to master this craft. Technology impact is very high in systems world today. We can no longer conduct business in the way we did before. That calls for reengineering systems and software. Even reengineered software needs maintenance, soon after its implementation. We have to take business knowledge, procedures, and data into the newly reengineered world. Software maintenance people can play an important role in this migration process. Software technology is moving into global and distributed networking environments. Client/server systems and object-orientation are on their way. Massively parallel processing systems and networking resources are changing database services into corporate data warehouses. Software engineering environments, rapid application development tools are changing the way we used to develop and maintain software. Software maintenance is moving from code maintenance to design maintenance, even onto specification maintenance. Modifications today are made at specification level, regenating the software components, testing and integrating them with the system. Eventually software maintenance has to manage the evolution and evolutionary characteristics of software systems. Software professionals have to maintain not only the software, but the momentum of change in systems and software. In this study, we observe various issues, tools and techniques, and the emerging trends in software technology with particular reference to maintenance. We are not searching for specific solutions. We are identifying issues and finding ways to manage them, live with them, and control their negative impact.

Download or read book Structural Materials for Generation IV Nuclear Reactors written by Pascal Yvon and published by Woodhead Publishing. This book was released on 2016-08-27 with total page 686 pages. Available in PDF, EPUB and Kindle. Book excerpt: Operating at a high level of fuel efficiency, safety, proliferation-resistance, sustainability and cost, generation IV nuclear reactors promise enhanced features to an energy resource which is already seen as an outstanding source of reliable base load power. The performance and reliability of materials when subjected to the higher neutron doses and extremely corrosive higher temperature environments that will be found in generation IV nuclear reactors are essential areas of study, as key considerations for the successful development of generation IV reactors are suitable structural materials for both in-core and out-of-core applications. Structural Materials for Generation IV Nuclear Reactors explores the current state-of-the art in these areas. Part One reviews the materials, requirements and challenges in generation IV systems. Part Two presents the core materials with chapters on irradiation resistant austenitic steels, ODS/FM steels and refractory metals amongst others. Part Three looks at out-of-core materials. Structural Materials for Generation IV Nuclear Reactors is an essential reference text for professional scientists, engineers and postgraduate researchers involved in the development of generation IV nuclear reactors. - Introduces the higher neutron doses and extremely corrosive higher temperature environments that will be found in generation IV nuclear reactors and implications for structural materials - Contains chapters on the key core and out-of-core materials, from steels to advanced micro-laminates - Written by an expert in that particular area