General

This book contains the refereed proceedings of the 14th International Conference on Agile Software Development, XP 2013, held in Vienna, Austria, in June 2013. In the last decade, the interest in agile and lean software development has been continuously...

This book constitutes the refereed proceedings of the 7th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, held in Salvador, Brazil, in October 2011. The 20 revised full papers presented together with 4 industrial full papers and 8...

Welcome to the proceedings of the 8th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2008). ICA3PP 2008 consist of two keynote addresses, seven technical sessions, and one tutorial. Included in these proceedings...

This book contains the Proceedings of the 6th Safety-critical Systems Sympo sium, the theme of which is Industrial Perspectives. In accordance with the theme, all of the chapters have been contributed by authors having an industrial af filiation. The...

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy...

An introduction to Entity-Relationship-Modeling, showing how the technique can be applied to interface issues. The book explains those aspects of entity-relationship modeling which are relevant to ERMIAs, and presents the extensions to the notation that...

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully...

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully...

A concise and thorough handbook on requirements analysis, this book is a desk guide for your systems or software development work. It enables you to identify the real customer requirements for your projects and control changes and additions to these...

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in...

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783739207162Author Florian FittkauFormat PaperbackPage Count 360Imprint Books on DemandPublisher Books on DemandWeight(grams) 431g

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited...

This volume presents the proceedings of Objective Quality 1995, the Second Symposium on Software Quality Techniques and Acquisition Criteria, held in Florence, Italy in May 1995. The collection of papers selected for this volume covers the various...

An expert's guide to open source project management with Redmine About This Book * Learn Redmine through the basic topics to the mastering ones * Customize Redmine without breaking upgrade compatibility * Become an expert of Redmine after having read...

The Third International Conference on Product Focused Software Process Improvement (PROFES 2001) continued the success of the PROFES'99 and PROFES 2000 conferences. PROFES 2001 was organized in Kaiserslautern, Germany, September 10 13, 2001. The PROFES...

As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They...

This book constitutes the refereed proceedings of the First European Conference on Software Architecture, ECSA 2007, held in Aranjuez, Spain. The 12 revised long papers presented together with four short papers cover description languages and metamodels,...

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92...

"How often we recall, with regret", wrote Mark Twain about editors, "that Napoleon once shot at a magazine editor and missed him and killed a publisher. But we remember with charity, that his intentions were good. " Fortunately, we...

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018. The 18 revised full papers were carefully reviewed and...

th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. The purpose of VMCAI is to provide a forum for researchers from...

The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3-7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The ?rst...

This book covers developing web applications with Ruby on Rails. It discusses Ajax, directory services, and web services. The book details the configuration of Ruby on Rails with different databases such as MySQL, Oracle and SQL Server 2005. In addition,...

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully...

This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of...

Software testing is traditionally seen as a difficult and time consuming activity that is hard to embed in the software development process. This book provides a different view. It explains to stakeholders how testing can add value to software...

"As projects get more complicated, managers stop learning from their - perience. It is important to understand how that happens and how to change it.... Fallible estimates: In software development, initial estimates for a project shape the...

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this...

Much of a software architect's life is spent designing software systems to meet a set of quality requirements. General software quality attributes include scalability, security, performance or reliability. Quality attribute requirements are part of an...

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niteroi, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were...

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

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