Author: Harald GallPublisher: Association for Computing Machinery (ACM)
ISBN: 9781595930149
Category : Computers
Languages : en
Pages : 418
Book Description
Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)
Author: Harald GallPublisher: Association for Computing Machinery (ACM)
ISBN: 9781595930149
Category : Computers
Languages : en
Pages : 418
Book Description
Handbook of Software Engineering
Author: Sungdeok ChaPublisher: Springer
ISBN: 3030002624
Category : Computers
Languages : en
Pages : 533
Book Description
This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, software architecture, software testing, formal methods, software maintenance) as well as emerging areas (e.g., self-adaptive systems, software engineering in the cloud, coordination technology). Each chapter includes an introduction to central concepts and principles, a guided tour of seminal papers and key contributions, and promising future research directions. The authors of the individual chapters are all acknowledged experts in their field and include many who have pioneered the techniques and technologies discussed. Readers will find an authoritative and concise review of each subject, and will also learn how software engineering technologies have evolved and are likely to develop in the years to come. This book will be especially useful for researchers who are new to software engineering, and for practitioners seeking to enhance their skills and knowledge.
Software Engineering
Author: Andrea De LuciaPublisher: Springer
ISBN: 3642360548
Category : Computers
Languages : en
Pages : 243
Book Description
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future generations of software engineering researchers and bridging the gap between academia and industry are vital to the field. The International Summer School on Software Engineering (ISSSE), which started in 2003, aims to contribute both to training future researchers and to facilitating the exchange of knowledge between academia and industry. This volume consists of chapters originating from a number of tutorial lectures given in 2009, 2010, and 2011 at the International Summer School on Software Engineering, ISSSE, held in Salerno, Italy. The volume has been organized into three parts, focusing on software measurement and empirical software engineering, software analysis, and software management. The topics covered include software architectures, software product lines, model driven software engineering, mechatronic systems, aspect oriented software development, agile development processes, empirical software engineering, software maintenance, impact analysis, traceability management, software testing, and search-based software engineering.
Software Engineering
Author: Bertrand MeyerPublisher: Springer
ISBN: 3319284061
Category : Computers
Languages : en
Pages : 197
Book Description
The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected lecture notes from the 10th LASER Summer School on Software Engineering: Leading-Edge Software Engineering.
Author: Knowledge-based Software Engineering
Author: Enn TõuguPublisher: IOS Press
ISBN: 1586036408
Category : Computers
Languages : en
Pages : 352
Book Description
"This publication addresses the research in theoretical foundations, practical techniques, software tools, applications and / or practical experiences in knowledge-based software engineering. The book also includes a new field: research in web services and semantic web. This is a rapidly developing research area promising to give excellent practical outcome, and interesting for theoretically minded as well as for practically minded people. The largest part of the papers belongs to a traditional area of applications of artificial intelligence methods to various software engineering problems. Another traditional section is application of intelligent agents in software engineering. A separate section is devoted to interesting applications and special techniques related in one or another way to the topic of the conference."--Publisher's website.
ECOOP 2011--Object-Oriented Programming
Author: Mira MeziniPublisher: Springer Science & Business Media
ISBN: 364222654X
Category : Computers
Languages : en
Pages : 672
Book Description
This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented together with three keynote lectures were carefully reviewed and selected from a total of 100 submissions. The papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.
Fundamentals of Software Engineering
Author: Hossein HojjatPublisher: Springer Nature
ISBN: 3030315177
Category : Computers
Languages : en
Pages : 263
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
Fundamental Approaches to Software Engineering
Author: Luciano BaresiPublisher: Springer Science & Business Media
ISBN: 3540330933
Category : Computers
Languages : en
Pages : 438
Book Description
This book constitutes the refereed proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 27 revised full papers, two tool papers presented together with two invited papers were carefully reviewed and selected from 166 submissions. The papers are organized in topical sections.
Formal Methods and Software Engineering
Author: Shang-Wei LinPublisher: Springer Nature
ISBN: 303063406X
Category : Computers
Languages : en
Pages : 338
Book Description
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.