Author: David C. Wyld Publisher: Springer ISBN: 3642225551 Category : Computers Languages : en Pages : 564
Book Description
This book constitutes the proceedings of the First International Conference on Advances in Computing and Information Technology, ACITY 2011, held in Chennai, India, in July 2011. The 55 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers feature significant contributions to all major fields of the Computer Science and Information Technology in theoretical and practical aspects.
Author: Tom J. Kaźmierski Publisher: Springer Science & Business Media ISBN: 146141427X Category : Technology & Engineering Languages : en Pages : 261
Book Description
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
Author: Andreas Rausch Publisher: Springer Science & Business Media ISBN: 3540852883 Category : Computers Languages : en Pages : 468
Book Description
Based on the 2007 Dagstuhl Research Seminar CoCoME, this book defines a common example for modeling approaches of component-based systems. The book makes it possible to compare different approaches and to validate existing models.
Author: Christine Choppy Publisher: Springer Science & Business Media ISBN: 3642125654 Category : Computers Languages : en Pages : 284
Book Description
This book presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development. The 13 revised full papers presented at the workshop explore, how the foundations and development techniques of computer software could be adapted to address such a challenge. Material presented in the papers spans the whole software life cycle, starting from specification and analysis, design and the choice of architectures, large scale, real-world software development, code generation and configuration, deployment, and evolution.
Author: Bärbel Mertsching Publisher: Springer Science & Business Media ISBN: 3642046169 Category : Computers Languages : en Pages : 757
Book Description
This book constitutes the thoroughly refereed proceedings of the 32nd Annual German Conference on Artificial Intelligence, KI 2009, held in Paderborn, Germany, in September 2009. The 76 revised full papers presented together with 15 posters were carefully reviewed and selected from 126 submissions. The papers are divided in topical sections on planning and scheduling; vision and perception; machine learning and data mining; evolutionary computing; natural language processing; knowledge representation and reasoning; cognition; history and philosophical foundations; AI and engineering; automated reasoning; spatial and temporal reasoning; agents and intelligent virtual environments; experience adn knowledge management; and robotics.
Author: Marco Kuhrmann Publisher: Springer ISBN: 3030036731 Category : Computers Languages : en Pages : 467
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018. The 16 revised full papers and 8 short papers presented together with 10 workshop papers and 2 industry talks were carefully reviewed and selected from 65 submissions. The papers are organized in the following topical sections: processes and methods; empirical studies in industry; testing; measuremene and monitoring; and global software engineering and scaling. Further relevant topics were added by the events co-located with PROFES 2018, the Second International Workshop on Managing Quality in Agile and Rapid Software Development Processes (QUASD) and the Third Workshop on Hybrid Software and System Development Approaches (HELENA).
Author: Jürgen Münch Publisher: Springer Science & Business Media ISBN: 364224291X Category : Computers Languages : en Pages : 254
Book Description
The concept of processes is at the heart of software and systems engineering. Software process models integrate software engineering methods and techniques and are the basis for managing large-scale software and IT projects. High product quality routinely results from high process quality. Software process management deals with getting and maintaining control over processes and their evolution. Becoming acquainted with existing software process models is not enough, though. It is important to understand how to select, define, manage, deploy, evaluate, and systematically evolve software process models so that they suitably address the problems, applications, and environments to which they are applied. Providing basic knowledge for these important tasks is the main goal of this textbook. Münch and his co-authors aim at providing knowledge that enables readers to develop useful process models that are suitable for their own purposes. They start with the basic concepts. Subsequently, existing representative process models are introduced, followed by a description of how to create individual models and the necessary means for doing so (i.e., notations and tools). Lastly, different possible usage scenarios for process management are highlighted (e.g. process improvement and software process simulation). Their book is aimed at students and researchers working on software project management, software quality assurance, and software measurement; and at practitioners who are interested in process definition and management for developing, maintaining, and operating software-intensive systems and services.
Author: Juan Antonio de la Puente Publisher: Springer ISBN: 3319195840 Category : Computers Languages : en Pages : 237
Book Description
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.
Author: Farhad Arbab Publisher: Springer ISBN: 3540756981 Category : Computers Languages : en Pages : 462
Book Description
This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.
Author: Volker Gruhn Publisher: Springer ISBN: 3319738976 Category : Computers Languages : en Pages : 247
Book Description
This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.
Author: David C. Wyld
Author: Tom J. Kaźmierski
Author: Andreas Rausch
Author: Christine Choppy
Author: Bärbel Mertsching
Author: Marco Kuhrmann
Author: Jürgen Münch
Author: Juan Antonio de la Puente
Author: Farhad Arbab
Author: Volker Gruhn