Software Engineering

This book gathers chapters from some of the top international empirical software engineering researchers focusing on the practical knowledge necessary for conducting, reporting and using empirical met

Software process definition, documentation, and improvement should be an integral part of every software engineering organization. This book addresses the specific documentation requirements in

Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, li

This textbook develops a long-term single project and explores both the theoretical foundations of software engineering as well as the principles and practices of various tools, processes, and product

The latest title in Addison Wesley's world-renowned Robert C. Martin Series on better software development, Code That Fits in Your Head offers indispensable practical advice for writing code at a sust

This textbook is a product of the author’s experience teaching software engineering courses and directing student software development projects for 30 years. Often, students have difficulty connecting

The purpose of the 13th International Conference on Computer and Information Science (SNPD 2012) held on August 8-10, 2012 in Kyoto, Japan was to bring together researchers and scientists, businessme

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

Computer scientists, software engineers, and other researchers describe recent investigations into how artificial intelligence techniques and concepts as knowledge-based systems, neural networks, fuzz

This is the most authoritative archive of Barry Boehm's contributions to software engineering. Featuring 42 reprinted articles, along with an introduction and chapter summaries to provide context, it

This book constitutes the thoroughly refereedproceedings of the 10th International Conference on Evaluation of NovelApproaches to Software Engineering, ENASE 2015, held in Barcelona, Spain, inApril 20

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014, held in Lisbon, Portugal, in April

Building Great Software Engineering Teams provides engineering leaders, startup founders, and CTOs concrete, industry-proven guidance and techniques for recruiting, hiring, and managing software engin

This book contains a collection of thoroughly refereed papers presented at the 5th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2010, held in Athens, Greec

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland,