General

This book constitutes the proceedings of the second Asia Pacific Requirements Engineering Symposium, APRES 2015, held in Wuhan, China, in October 2015. The 9 full papers presented together with 3 tool demos papers and one short paper, were carefully...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639004489Author Lee Wei MarFormat PaperbackPage Count 64Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 100g

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15-19, 2009. PSI is a forum for academic and industrial researchers,...

This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In...

This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and...

This book constitutes the proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, held in Seville, Spain, in July 12011. The 13 revised full papers presented together with 4 invited papers were carefully reviewed...

Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during composition. Components are distinct in design, but...

Sorry no description is available for this book at this time.

This book constitutes the refereed proceedings of two joint events - the International Workshop on Software Measurement, IWSM 2009 and the International Conference on Software Process and Product Measurement, Mensura 2009, held in Amsterdam, The...

This book constitutes the refereed joint proceedings of eight international workshops held in conjunction with the 28th International Conference on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009. The 33 revised full papers presented...

Daryoush Daniel Vaziri illustrates that the use of mixed methods designs may support the induction of more subtle and complete theories about older adults' use of technologies for the support of active and healthy aging. The results show that older...

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full...

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Korea, May 2007. The 75 revised full papers cover embedded architecture, embedded hardware, embedded...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540085317Author M. J. O'DonnellFormat PaperbackPage Count 116Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

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