General

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836456388Author Anis CharfiFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 286g

This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger...

On behalf of the PROFES Organizing Committee we are proud to present the proce- th ings of the 10 International Conference on Product Focused Software Process - provement (PROFES 2009), held in Oulu, Finland. Since the first conference in 1999, the...

This book constitutes the proceedings of the 4th International Conference on Technologies and Innovation, CITI 2018, held in Guayaquil, Ecuador, in November 2018. The 21 full papers presented in this volume were carefully reviewed and selected from 64...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783039216840Author MdpiFormat PaperbackPage Count 230Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 499g

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...

This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019. The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35...

No matter how perfect a project plan may be on paper, it is worthless if nobody actually uses it. This truism is an everyday reality for too many project managers who muster all their expertise writing the "perfect" plan only to watch the project fall...

The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system...

The MoDELS (Model Driven Engineering, Languages, and Systems) conference is a continuation of the successful series of UML conferences. This volume contains the ?nal versions of the technical papers presented at MoDELS 2005 in Montego Bay, Jamaica,...

This book constitutes the refereed proceedings of the Third International Conference on Model and Data Engineering, MEDI 2013, held in Amantea, Calabria, Italy, in September 2013. The 19 long papers and 3 short papers presented were carefully reviewed...

Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several...

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. In...

This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 in Prato, Italy. TAP was the second conference devoted to the...

Presenting the state of the art in component-based software testing, this cutting-edge resource offers you an in-depth understanding of the current issues, challenges, needs and solutions in this critical area. The book discusses the very latest advances...

Based on the needs of the educational community, and the software professional, this book takes a unique approach to teaching software testing. It introduces testing concepts that are managerial, technical, and process oriented, using the Testing...

This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022. The 19 full and 11 short papers were carefully reviewed and selected from 82 submissions. The...

This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogota, Colombia, in November/December 2022. The 39 papers presented in this volume were...

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a...

Software reuse promises high value to businesses that develop software, opening the door to radical improvements in productivity, cost, and time to market. This book is for those who are wondering whether they should adopt reuse and how, and also for...

This volume contains mainly the revised versions of papers presented at the wo- shop '98, "Beyond the Notation", that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have made this possible, and particularly all the...

This book constitutes the refereed proceedings of the Seventh International Workshop on Software Configuration Management, SCM-7, held in conjunction with the 1997 IEEE/CS International Conference on Software Engineering, ICSE'97, in Boston, MA, USA, in...

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were...

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2007, Zurich, Switzerland, in February 2007. The 15 revised full...

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and...

This volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This new conferencefollows the seriesof CP-AI-OR International Workshops on...

The XP conference series established in 2000 was the first conference dedicated to agile processes in software engineering. The idea of the conference is to offer a unique setting for advancing the state of the art in the research and practice of agile...

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in...

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully...

This book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019. The 19 full papers and 6 short papers were...

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...

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for...

This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri?cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17-19, 2005 in Paris, France. VMCAI provides a forum for...

This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions...

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected...

In the 2nd edition, this book conveys updated content and, in addition to classic project management, now also agile project management in a practical manner and serves as a toolbox for projects. To this end, the most important terms and phases of...

This book constitutes the proceedings of the 34th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023. The 49 full papers presented in this volume were carefully reviewed and...

This book constitutes the refereed proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, held Virtually.The 15 full papers included in this book were carefully reviewed and selected from...

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one...

This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully...