General

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

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short...

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14...

This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr' eal, Canada, from May 31 to June 2, 2005. TestCom 2005...

This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research...

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk...

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the...

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for...

This book constitutes the refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in France in September 2006. The 13 revised full research papers and five revised position papers presented together with one...

Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems,...

This volume contains the proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE 99), held in San Francisco, California, USA on December 8-10, 1999. ISCOPE is in its third 1 year, and continues to grow...

The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality...

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an...