A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their beha
In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. Usually, the constituent components are supposed to be correct
Since the mid 1980s, software agents and multi-agent systems have grown into a very active area of research and also commercial development activity. One of the limiting factors in industry take-up of
The 18 contributions in this collection describe proven approaches to student learning and assessment, curriculum development, innovative teaching, and team projects that solidify classroom concepts a
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 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil.The 14 revised full papers presented toget
This book presents and discusses the state of the art and future trends in software engineering education. It introduces new and innovative methods, models and frameworks to focus the training towards
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. Th
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 Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re
Forty-three international academics, researchers, and computer science professionals contribute 15 chapters demonstrating how mathematical models and computer software can be developed and applied for
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.The 20 rev
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
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
