General

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting with a background section of practical lessons and...

System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with software architecture and how quality attributes are exhibited by the architecture of the system. Contributions from...

The Art and Science of Analyzing Software Data provides valuable information on analysis techniques often used to derive insight from software data. This book shares best practices in the field generated by leading data scientists, collected from their...

Software Engineering: Architecture-driven Software Development is the first comprehensive guide to the underlying skills embodied in the IEEE's Software Engineering Body of Knowledge (SWEBOK) standard. Standards expert Richard Schmidt explains the...

This comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied...

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789998778504Author Jordi CabotFormat PaperbackPage Count 114Imprint Jordi CabotPublisher Jordi CabotWeight(grams) 222g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9785356924873Author Iyiola LadejoFormat HardbackPage Count 188Imprint Avidbook Publishing AgencyPublisher Avidbook Publishing AgencyWeight(grams) 422g

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024.   The 18 full papers and 4 short papers presented here were...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783731501657Author Dennis WestermannFormat PaperbackPage Count 298Imprint Karlsruher Institut Fur TechnologiePublisher Karlsruher Institut Fur...

This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference...

The term "stringology" is a popular nickname for text algorithms, or algorithms on strings. This book deals with the most basic algorithms in the area. Most of them can be viewed as "algorithmic jewels" and deserve reader-friendly...

Design solutions across the Salesforce Customer 360 ecosystem using this definitive guide for Salesforce B2C solution architects, including B2C Commerce, Service Cloud, Salesforce Genie, and Marketing Cloud. Key Features Create a frictionless customer...

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed...

Accelerate and Automate Build, Deploy, and Management of applications to achieve High Availability. About This Book * This guide highlights tools that offer development and deployment environments for application services * Secure and continuously...

This book constitutes the refereed proceedings of three international workshops held in Rome, Italy, in conjunction with the 15th International Conference on Agile Software Development, XP 2014, in May 2014. The workshops comprised Principles of...

Quality-of-Service (QoS) is normally used to describe the non-functional characteristics of Web services and as a criterion for evaluating different Web services. QoS Management of Web Services presents a new distributed QoS evaluation framework for...

This book shows how to apply pattern ideas in business applications. It presents more than 20 structural and behavioral business patterns that use the REA (resources, events, agents) pattern as a common backbone. The developer working on business...

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

The book discusses the software development life cycle from "listening to customer feedback" followed by bug tracking, reporting issues, collaborating test plans, maintenance, use cases and real world development scenarios. This book makes you...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038423621Author Richard P SignellFormat PaperbackPage Count 420Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 894g

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions...

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in...

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77...

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and...

This book constitutes the refereed proceedings of the 345h International Conference on Conceptual Modeling, ER 2016, held in Gifu, Japan, in November 2016. The 23 full and 18 short papers presented together with 3 keynotes were carefully reviewed and...

During the last few years, software evolution research has explored new domains such as the study of socio-technical aspects and collaboration between different individuals contributing to a software system, the use of search-based techniques and...

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014. The 10 thoroughly revised and extended...

The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009. FSEN 2009 was organized by the School of Computer Science at the Institute for Studies in...

This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques...

This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37...

After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and talked about making a "Festschrift" in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to...

This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11-13,2004,inconjunctionwithPOPL2004,the31stAnnual...

This book presents the most recent challenges and developments in sustainable computing systems with the objective of promoting awareness and best practices for the real world. It aims to present new directions for further research and technology...

Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, China, December 16-18, 2005. With the advent of VLSI system level integration and system-on-chip, the center of gravity of the...

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and...

This book constitutes the refereed proceedings of the 6th International Workshop on Experimental and Efficient Algorithms, WEA 2007, held in Rome, Italy, in June 2007. The 30 revised full papers presented together with three invited talks cover the...

This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2006, held in Geneva, Switzerland, September 2006. It covers a wide spectrum in software...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783030295110Author Stephan GoerickeFormat PaperbackPage Count 280Imprint SpringerPublisher SpringerWeight(grams) 156g

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed...