General

This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021. Due to COVID-19 pandemic the conference was held virtually. In the Research Track, 11 full papers...

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and...

This book constitutes the refereed proceedings of the 5th International Conference on Model and Data Engineering, MEDI 2015, held in Rhodes, Greece, in September 2015. The 18 full papers and 9 short papers presented together with 2 invited talks were...

This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998. ISCOPE is in its second year, and continues to grow both...

This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an...

Thisvolumerecordstheproceedingsofthe?fthEuropeanconferenceonGenetic Programming(EuroGP2002)whichtookplaceinKinsale,IrelandonApril3-5, 2002, continuing an established tradition of yearly meetings among the most prominent researchers on Genetic Programming...

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM...

This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing...

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented...

Job titles like "Technical Architect" and "Chief Architect" nowadays abound in software industry, yet many people suspect that "architecture" is one of the most overused and least understood terms in professional software...

This book constitutes revised selected papers from the refereed proceedings of the 17th Colombian Conference on Computing on Advances in Computing, CCC 2023, held in Medellin, Colombia, during August 10–11, 2023.The 22 full papers and 11 short papers...

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and...

This monograph discusses software reuse and how it can be applied at different stages of the software development process, on different types of data and at different levels of granularity. Several challenging hypotheses are analyzed and confronted using...

This book constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2012. The selection of presentations at the conference encompasses a mixture of practical presentations and scientific...

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9791069943698Author Philippe-Henri GosselinFormat PaperbackPage Count 510Imprint Afnil - ISBN FrancePublisher Afnil - ISBN FranceWeight(grams) 866g

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 book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held in Castiglioncello, Italy in June 2007. It details the use, design, and analysis of algorithms and data structures, focusing on...

This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also...

This book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and selected...

Collaboration among individuals - from users to developers - is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and...

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed...

This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, held in Vienna, Austria, during January 19-21, 2021. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540082408Author A. C. HartmannFormat PaperbackPage Count 124Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully...

Looking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendous growth in hardware and software performance. Today, researchers and engi neers have access to computing...

This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from...

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the...

Since the mid 1980s, software agents and multi-agent systems have grown into a very active area of research and also commercial development activity. One of the limiting factors in industry take-up of agent-technology, however, is the lack of adequate...

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2...

This volume and CD-ROM package has been designed with the aim of helping professionals to achieve a high level of communications expertise.Book InformationISBN 9781580537476Author Carl PritchardFormat HardbackPage Count 218Imprint Artech House...

This book constitutes the refereed proceedings of the 11th Brazilian Workshop on Agile Methods, WBMA 2021, which took place online in October 2021.The 6 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 18...

This book is the proceedings ofa conference held November 1-3, 1989, to honor Samuel D. Conte for his many contributions to computer sci- ences at Purdue University and to the profession as a whole. The com- puter sciences program reflected the breadth...

This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789392537097Author Dr J Gladson Maria BrittoFormat PaperbackPage Count 190Imprint Bonfring Technology SolutionsPublisher Bonfring Technology...

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that...

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102...

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place...

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers together with 4...

This volume contains the 70 contributed papers and abstracts of two invited l- tures presented at the 12th Annual European Symposium on Algorithms (ESA 2004), held in Bergen, Norway, September 14-17, 2004. The papers in each s- tion of the proceedings...