General

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated...

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540516989Author Martin WirsingFormat PaperbackPage Count 564Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the...

The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly,...

XPAgileUniverse2003isthethirdconferenceinaseriesrunninginNorthA- rica and attracting participants from all over the world who are interested in the research, development and application of agile software processes. Agile app- aches value people and...

The1stEuropeanWorkshoponSoftwareArchitecture(EWSA2004)washeldin St Andrews, Scotland on 21-22 May 2004. The workshop provided an inter- tional forum for researchers and practitioners from academia and industry to discuss a wide range of topics in the...

ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable Systems V held in Athens, Greece, on June 15-17, 2005. The conference program presented the state of the art in research...

This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development...

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected...

This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.The 12 full technical...

Learn everything you need to build highly scalable, robust web applications using Angular release 4 About This Book * Apply best practices and design patterns to achieve higher scalability in your Angular applications * Understand the latest features of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038425793Author Simon J CoxFormat PaperbackPage Count 304Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 653g

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers...

This two-volume set (CCIS 915 and CCIS 916) constitutes the refereed proceedings of the 5th Workshop on Engineering Applications, WEA 2018, held in Medellin, Colombia, in October 2018. The 41 revised full papers presented in this volume were carefully...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems...

Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential...

This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (GPCE 2002), held October 6-8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540156703Author Stephen D. BrookesFormat PaperbackPage Count 526Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

This book is a comprehensive guide written for software engineering professionals who are, or aspire to be, in leadership positions. It begins with essential soft skills, teaching you how to build an influential presence, make confident decisions, guide...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789533074092Author Eduard BabkinFormat HardbackPage Count 264Imprint In TechPublisher In TechWeight(grams) 621g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789388305044Author Ramisetty Ramisetty RaoFormat HardbackPage Count 294Imprint BS PublicationsPublisher BS PublicationsWeight(grams) 721g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789365899122Author Om PrakashFormat PaperbackPage Count 346Imprint BPB PublicationsPublisher BPB Publications

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783731501381Author Michael HauckFormat PaperbackPage Count 344Imprint Karlsruher Institut Fur TechnologiePublisher Karlsruher Institut Fur...

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

Software and systems quality is playing an increasingly important role in the growth of almost all profit and non-profit organisations. Quality is vital to the success of enterprises in their markets. Most small trade and repair businesses use software...

This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected...

This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.The 12 short papers presented were selected from...

A little more than a decade ago my colleagues and I faced the necessity for providing a database management system which might commonly serve a number of different types of computer aided design applications at different manufacturing enterprises. We...

Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781952120527Author David GlassanosFormat PaperbackPage Count 226Imprint Holloway, Inc.Publisher Holloway, Inc.Weight(grams) 336g

This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Software and Data Technologies, ICSOFT 2012, held in Rome, Italy, in July 2012. The 14 revised full papers presented were carefully reviewed and selected...

This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers presented were carefully reviewed and selected from 148...

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully...

While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual...

This book constitutes the refereed proceedings of the 5th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2013. This professional symposium and conference offers a range of comprehensive and valuable opportunities for advanced...

This book constitutes the conference proceedings of the 10th International Conference on Service-Oriented Computing, ICSOC 2012, held in Shanghai, China in November 2012. The 32 full papers and 21 short papers presented were carefully reviewed and...

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 contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full...