This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Gothenburg, Sweden, in September 2016.The 10 papers
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised tec
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full paper
Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This cr
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised
This book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering, SSBSE 2012, held in Riva del Garda, Italy in collocation with the 28th IEEE I
This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmo, Sweden, in May 2011.In the last decade, we have seen agile and l
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re
This book contains the refereed proceedings of the 12th International Conference on Agile Software Development, XP 2011, held in Madrid, Spain, in May 2011.The year 2011 marked the 10th anniversary of
This book addresses how to meet the specific documentation requirements in support of the ISO 9001 software process definition, documentation, and improvement, which is an integral part of every softw
On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-i
Software is pervasive in today's technical systems in industry and everyday life. Modern enterprises strategically invest into software and often have their own software development departments. Softw
This book constitutes the refereed proceedings of the 5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2014, held in Paderborn, Germany, in September 2014. The 13
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011
Software As Capital looks at software development through the eyes of a capital theorist, an economist fascinated by the constant evolution of new and better tools and processes. It asks, what is real
