General

This volume contains the technical papers presented in the workshops associated with the European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016: 4th International Workshop on Cloud for IoT,...

This book seeks to promote the structured, standardized and accurate use of software measurement at all levels of modern software development companies. To do so, it focuses on seven main aspects: sound scientific foundations, cost-efficiency,...

This book constitutes the refereed proceedings of the First joint International Software Process Workshop and the International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006. The 34 revised full papers presented together with 4...

This book contains most of the papers presented at the 4th International C- ference on Extreme Programming and Agile Processes in Software Engineering (XP 2003), held in Genoa, Italy, May 2003. The XP 200n series of conferences were started in 2000 to...

Agile methods are gaining more and more interest both in industry and in research. Many industries are transforming their way of working from traditional waterfall projects with long duration to more incremental, iterative and agile practices. At the...

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2013, held Boston, MA, USA, in May 2013. The 10 revised papers presented were...

The idea of the workshop on Functional Integration, Theory and Applications, held in Louvain-Ia-Neuve from November 6 to 9 1979, was to put in close and informal contact, during a few days, active workers in the field. There is no doubt now that...

This book constitutes the refereed proceedings of the 14th International Conference on Product-Focused Software Process Improvement, PROFES 2013, held in Paphos, Cyprus, in June 2013. The 22 revised full papers presented together with 10 short papers and...

This volume constitutes the refereed proceedings of the confederated international conferences: Cooperative Information Systems (CoopIS 2013), Distributed Objects and Applications (DOA-Trusted Cloud 2013), and Ontologies, Data Bases and Applications of...

On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan. Since 1999, PROFES has...

This two-volume-set (LNCS 8384 and 8385) constitutes the refereed proceedings of the 10th International Conference of Parallel Processing and Applied Mathematics, PPAM 2013, held in Warsaw, Poland, in September 2013. The 143 revised full papers presented...

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected...

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series...

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP...

3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007. The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of...

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing...

Interest in agile development continues to grow: the number of practitioners adopting such methodologies is increasing as well as the number of researchers investigating the effectiveness of the different practices and proposing improvements. The XP c-...

This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008. UNISCON combines the ECOMO workshop series and the ISTA conference series. The 19 papers dealing with conceptual modeling, model-driven...

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789819606016Author Timothy BourkeFormat PaperbackPage Count 405Imprint SpringerPublisher Springer

This book constitutes the refereed proceedings of the 40th International Conference on Conceptual Modeling, ER 2021, which will be held as hybrid event in St. Johns in Canada, in October 2021. The 14 full and 18 short papers were carefully reviewed and...

This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like...

This textbook is about systematic problem solving and systematic reasoning using type-driven design. There are two problem solving techniques that are emphasized throughout the book: divide and conquer and iterative refinement. Divide and conquer is the...

This volume presents a selection of contributions from the Fifth Workshop on Informatics and Psychology at Scharding, Austria, May 1986, which focused on "Visual Aids in Programming". The lectures give a broad view of the state of the art in...

Developing Services for the Wireless Internet offers state-of-the-art technological knowledge and practical know-how to practitioners - project managers, software architects and designers, process engineers and quality assurance workers. The book...

This book constitutes the revised selected papers from the 14th International Conference on Risks and Security of Internet and Systems, CRiSIS 2019, held in Hammamet, Tunisia, in October 2019. The 20 full papers and 4 short papers presented in this...

JavaServer Pages (JSP) is a technology for building dynamic web applications that can access databases and provide an interactive experience for users. It's a powerful technology with open source implementations (server and platform independent) for...

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95...

This book constitutes the refereed proceedings of the Forth Workshop onEngineering Applications, WEA 2017, held in Cartagena, Colombia, inSeptember 2017. The 59 revised full papers presented were carefully reviewed and selectedfrom156 submissions. The...

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26...

This book constitutes the proceedings of the 8th International Conference on End-User Development, IS-EUD 2021, held in July 2021. Due to COVID-19 pandemic the conference was held virtually.The paper track received 26 submissions, of which 11 full and 4...

Defining a formal domain ontology is considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly...

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

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781682850787Author Cheryl JollymoreFormat HardbackImprint Willford PressPublisher Willford PressWeight(grams) 785g

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an...

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully...

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to...

About this Book I wrote this book to help students who are about to start their first project. It provides guidance on how to organise your work so that you achieve your agreed objective. The advice is based on experience gained from supervising more...