General

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006...

Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming EnvironmentsBook InformationISBN 9783642464928Author Peter PepperFormat PaperbackPage Count 380Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co...

This volume contains the full text of twenty ofthe twenty-one papers given at the Montreux 1990 International Chemical Information Conference in Mon treux, Switzerland between 24 and 26 September 1990. The one paper that is omitted was not received in...

This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide...

This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively...

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, held in Paris, France, in August 2012. The 11 revised full papers...

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited...

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited...

This is the proceedings of the Sixth Symposium on Empirical Foundations of Information and Software Sciences (EFISS), which was held in Atlanta, Georgia, on October 19-21, 1988. The purpose of the symposia is to explore subjects and methods of scientific...

Compiled by an experienced practitioner in the field, this book contains definitions of the major terms used in Reliability Engineering and Software Assessment. Approximately 2000 definitions have been carefully selected from standards and literature...

The first book to provide an integrative presentation of the issues, challenges and success of designing, building and using agent applications. The chapters presented are written by internationally leading authorities in the field, with a general...

Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as...

This book constitutes the refereed proceedings of the 19th International Conference on Advanced Information Systems Engineering, CAiSE 2007, held in Trondheim, Norway in June 2007. It covers ontologies, extended enterprises, information integration,...

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the...

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet...

The Fifth SEI Conference on Software Engineering was held in Pittsburgh, Pennsylvania, October 7-8, 1991. This annual conference is a forum for discussion of software engineering education and training among members of the academic, industry, and...

Thisvolumecontainsthe66contributedpapersandabstractsofthethreeinvited lecturespresentedatthe11thAnnualEuropeanSymposiumonAlgorithms(ESA 2003), held in Budapest, September 16-19, 2003. The papers in each section of the proceedings are arranged...

This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume...

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects...

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540160427Author S. N. MaheshwariFormat PaperbackPage Count 527Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

This volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference, MEDI 2023,in November 2023 ,held in Sousse, Tunisia. The 27 full papers were carefully peer reviewed and selected from 99 submissions. The Annual...

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023. The 15 full papers included in this book were carefully reviewed and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789813361782Author Xiaoyuan XieFormat HardbackImprint SpringerPublisher SpringerWeight(grams) 155g

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

This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution,...

This practice-oriented book explores a variety of cross-project topics and specific aspects of different project phases. It also offers tips, examples, templates and checklists, and discusses concrete problems and solutions from project practice in IT...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781908860118Author Simon CozensFormat PaperbackPage Count 98Imprint Horton & WottonPublisher Horton & WottonWeight(grams) 141g

Multi-agent systems are claimed to be especially suited to the development of software systems that are decentralized, can deal flexibly with dynamic conditions, and are open to system components that come and go. This is why they are used in domains...

This book constitutes the refereed proceedings of three workshops symposia, held at the 41st International Conference on Conceptual Modeling, ER 2022, as a virtual event, in October 2022. The 11 papers deal with topics such as foundations; business...

Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the object-oriented paradigm and the Unified Modeling...

Conceptual modeling has long been recognized as the primary means to enable software development in information systems and data engineering. Conceptual modeling provides languages, methods and tools to understand and represent the application domain; to...

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development system DjDSL. DjDSL facilitates design-decision-making on and implementation of reusable DSL and DSL-product lines, and represents...

This two-volume set LNCS 9573 and LNCS 9574 constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015.The 111 revised full papers...

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3...

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions...

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and...

Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design,...

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation...

This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016. The 15 revised selected papers were selected from 38 submissions and focus on all...