General

This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this volume were carefully reviewed and selected from 51...

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected...

Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as...

The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to...

This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the cost of building and...

In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. More important was their unanimous demand for other, more...

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed...

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from...

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal...

This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and...

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The...

This is a detailed summary of research on design rationale providing researchers in software engineering with an excellent overview of the subject. Professional software engineers will find many examples, resources and incentives to enhance their ability...

Since its inception in 1968, software engineering has undergone numerous changes. In the early years, software development was organized using the waterfall model, where the focus of requirements engineering was on a frozen requirements document, which...

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited...

This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect...

The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements...

R/3 is a business system that has gained global prominence. However, the SAP R/3 has 237,000 function modules. Quite often programmers are unaware that a module exists which can be of help in their programs. This convenient resource is a collection of...

Business processes and information systems mutually affect each other in non-trivial ways. Frequently, processes are designed without taking the systems' impact into account, and vice versa. Missing alignment at design-time results in quality problems at...

Focus on masters' level education in software engineering. Topics discussed include: software engineering principles, current software engineering curricula, experiences with ex- isting courses, and the future of software engineering edu- cation.Book...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were...

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were...

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020. The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The...

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool...

Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and...

This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the required functional properties of a system, while...

From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a rich...

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound...

The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi natorial problems, as they are...

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks...

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4...

The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3–6, 2024. The 38 full papers and 19 short papers...

This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781682851951Author Cheryl JollymoreFormat HardbackPage Count 256Imprint Willford PressPublisher Willford PressWeight(grams) 889g

This book contains both relevant real-world research, as well as reviews of different areas of interest in the software engineering literature, such as clone identification. The contents of the various sections will provide a better understanding of...

This book constitutes the refereed proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, held in Heraklion, Crete, Greece, in May 2019. The 19 revised full papers presented were carefully...

This book constitutes the proceedings of the 4th Asia Pacific Requirements Engineering Symposium, APRES 2017, held in Melaka, Malaysia, in November 2017. The 11 full papers presented together with four short papers were carefully reviewed and selected...

This book describes pragmatic instruments and methods that enable business experts and software engineers to develop a common understanding of the software to be created, to determine their key requirements, and to manage the project in a way that...

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783030584610Author Simona BernardiFormat PaperbackImprint SpringerPublisher SpringerWeight(grams) 155g

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it...