This is the first book that presents a comprehensive overview of sustainability aspects in software engineering. Its format follows the structure of the SWEBOK and covers the key areas involved in the
Like other sciences and engineering disciplines, software engineering requires a cycle of model building, experimentation, and learning. Experiments are valuable tools for all software engineers who a
This book illustrates the impact of soft computing techniques on software engineering research and practices dealing with a range of novel methods reshaping the software development process. The book
This book assesses the achievements of the software engineering discipline as represented by IT vendors in Japan in order to deepen understanding of the mechanisms of how software engineering capabili
The fields of HCI and Software Engineering have evolved almost independently of each other until the last decade, when it became apparent that an integrated and combined perspective would benefit the
This book covers two applications of ontologies in software engineering and software technology: sharing knowledge of the problem domain and using a common terminology among all stakeholders; and filt
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the po
A special issue of the Journal of Automated Software Engineering , vol. 4, no. 1 (1997) containing four extended papers selected as best from a November 1995 conference in Boston. They cover searchin
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 textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters: The first chap
2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) will be held in Macau, April 1-2, 2012 . This conference will bring researchers a
The series Studies in Computational Intelligence (SCI) publishes new developments and advances in the various areas of computational intelligence-quickly and with a high quality. The intent is to cov
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng
This edited book invites the reader to explore how the latest technologies developed in computational intelligence can be extended and applied to software engineering. Leading experts demonstrate how
Basics of Software Engineering Experimentation is a practical guide to experimentation in a field which has long been underpinned by suppositions, assumptions, speculations and beliefs. It demonstr
In establishing a framework for dealing with uncertainties in software engineering, and for using quantitative measures in related decision-making, this text puts into perspective the large body of wo
This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research
This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designi
Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability,
This book describes a complete revolution in software engineering based on complexity science through the establishment of NSE – Nonlinear Software Engineering paradigm which complies with the essenti
The purpose of the 10th Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2009) to be held on May 27 – 29, 2009 in Daegu, Korea is to bri
Information systems (IS) are the backbone of any organization today, supporting all major business processes. This book deals with the question: how do these systems come into existence? It gives a co
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004
This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap
This book contains the refereed proceedings of the 15th International Conference on Agile Software Development, XP 2014, held in Rome, Italy, in May 2014.Because of the wide application of agile appro
Metabolic engineering has been developed over the past 20 years to become an important tool for the rational engineering of industrial microorganisms. This book has a particular interest in the method
This book constitutes the refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2006, held in Oulu, Finland, June 2006. The bo
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 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presen
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 refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Vasteras, Sweden, in September 2014. The 19 revised full papers p
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 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
This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 20
This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, Chin
