This book constitutes the refereed proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on Web services, graph grammars and graph transformations, components, product lines, theory, code understanding and validation, UML, and automatic proofs and provers.

The purpose of the 9th International Conference on Software Engineering Research, Management and Applications(SERA 2011) held on August 10-12, 2011 in Baltimore, Maryland was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information sciences, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected 12 outstanding papers from SERA 2011, all of which you will find in this volume of Springer’s Studies in Computational Intelligence.

This book features research work presented at the 2nd International Conference on Data Engineering and Communication Technology (ICDECT) held on December 15–16, 2017 at Symbiosis International University, Pune, Maharashtra, India. It discusses advanced, multi-disciplinary research into smart computing, information systems and electronic systems, focusing on innovation paradigms in system knowledge, intelligence and sustainability that can be applied to provide feasible solutions to varied problems in society, the environment and industry. It also addresses the deployment of emerging computational and knowledge transfer approaches, optimizing solutions in a variety of disciplines of computer science and electronics engineering.

This book is part II of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010. The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven quality assurance, managing variability, multi-modeling approaches, distributed/embedded software development, (de)composition and refactoring, model change, (meta)models at runtime, requirements engineering, slicing and model transformations, incorporating quality concerns in MDD, model-driven engineering in practice, and modeling architecture.

Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization. Although it holds c- siderable promise, there are still many challenges facing both researchers and practitioners in establishing CBSE as an e?cient and proven engineering dis- pline. Six CBSE workshops have been held consecutively at the most recent six International Conferences on Software Engineering (ICSE). The premise of the last three CBSE workshops was that the long-term success of component-based development depends on the viability of an established science and technology foundation for achieving predictable quality in component-based systems. TheintentoftheCBSE2004symposiumwastobuildonthispremise,andto provide a forum for more in-depth and substantive treatment of topics perta- ing to predictability, to help establish cross-discipline insights, and to improve cooperation and mutual understanding. The goal of the CBSE 2004 symposium was to discuss and present more complete and mature works, and consequently collect the technical papers in published proceedings. The response to the Call for Papers was beyond expectations: 82 papers were submitted. Of those 25 (12 long and 13 short) were accepted for publication. In all 25 cases, the papers were reviewed by three to four independent reviewers. The symposium brought together researchers and practitioners from a variety of disciplines related to CBSE.

This book presents source code modularization as a key activity in reverse engineering to extract the software architecture from the existing source code. To this end, it provides detailed techniques for source code modularization and discusses their effects on different software quality attributes. Nonetheless, it is not a mere survey of source code modularization algorithms, but rather a consistent and unifying theoretical modularization framework, and as such is the first publication that comprehensively examines the models and techniques for source code modularization. It enables readers to gain a thorough understanding of topics like software artifacts proximity, hierarchical and partitional modularization algorithms, search- and algebraic-based software modularization, software modularization evaluation techniques and software quality attributes and modularization. This book introduces students and software professionals to the fundamental ideas of source code modularization concepts, similarity/dissimilarity metrics, modularization metrics, and quality assurance. Further, it allows undergraduate and graduate students in software engineering, computer science, and computer engineering with no prior experience in the software industry to explore the subject in a step-by-step manner. Practitioners benefit from the structured presentation and comprehensive nature of the materials, while the large number of bibliographic references makes this book a valuable resource for researchers working on source code modularization.