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, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references. These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

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 approaches in industry, the need for collaboration between academics and practitioners has increased in order to develop the body of knowledge available to support managers, system engineers, and software engineers in their managerial/economic and architectural/project/technical decisions. Year after year, the XP conference has facilitated such improvements and provided evidence on the advantages of agile methodologies by examining the latest theories, practical applications, and implications of agile and lean methods. The 15 full papers, seven short papers, and four experience reports accepted for XP 2014 were selected from 59 submissions and are organized in sections on: agile development, agile challenges and contracting, lessons learned and agile maturity, how to evolve software engineering teaching, methods and metrics, and lean development.

The papers in this publication address many topics in the context of knowledge-based software engineering, including new challenges that have arisen in this demanding area of research. Topics in this book are: knowledge-based requirements engineering, domain analysis and modeling; development processes for knowledge-based applications; knowledge acquisition; software tools assisting the development; architectures for knowledge-based systems and shells including intelligent agents; intelligent user interfaces and human-machine interaction; development of multi-modal interfaces; knowledge technologies for semantic web; internet-based interactive applications; knowledge engineering for process management and project management; methodology and tools for knowledge discovery and data mining; knowledge-based methods and tools for testing, verification and validation, maintenance and evolution; decision support methods for software engineering and cognitive systems; knowledge management for business processes, workflows and enterprise modeling; program understanding, programming knowledge, modeling programs and programmers; and software engineering methods for intelligent tutoring systems.

This book presents and discusses the state of the art and future trends in software engineering education, with a focus on agile methods and their budgetary implications. It introduces new and innovative methods, models and frameworks to focus the training towards the industry’s requirements. The range of topics covered includes education models for software engineering, development of the software engineering discipline, innovation and evaluation of software engineering education, curricula for software engineering education, requirements and cultivation of outstanding software engineers for the future and cooperation models for industry and software engineering education.

This unique volume is the first publication on software engineering and computational intelligence (CI) viewed as a synergistic interplay of neurocomputing, granular computation (including fuzzy sets and rough sets), and evolutionary methods. It presents a unified view of CI in the context of software engineering. The book addresses a number of crucial issues: what is CI, what role does it play in software development, how are CI elements built into successive phases of the software life cycle, and what is the role played by CI in quantifying fundamental features of software artifacts? With contributions from leading researchers and practitioners, the book provides the reader with a wealth of new concepts and approaches, complete algorithms, in-depth case studies, and thought-provoking exercises. The topics coverage include neurocomputing, granular as well as evolutionary computing, object-oriented analysis and design in software engineering. There is also an extensive bibliography.

This is the first handbook to cover comprehensively both software engineering and knowledge engineering - two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find this handbook useful when looking for solutions to practical problems. Researchers can use it for quick access to the background, current trends and most important references regarding a certain topic.The handbook consists of two volumes. Volume One covers the basic principles and applications of software engineering and knowledge engineering.Volume Two will cover the basic principles and applications of visual and multimedia software engineering, knowledge engineering, data mining for software knowledge, and emerging topics in software engineering and knowledge engineering.

Interest in agile development continues to grow: the number of practitioners adopting such methodologies is increasing as well as the number of researchers investigating the effectiveness of the different practices and proposing improvements. The XP c- ference series has actively participated in these processes and supported the evolution of Agile, promoting the conference as a place where practitioners and researchers meet to exchange ideas, experiences, and build connections. XP 2010 continued in the tradition of this conference series and provided an int- esting and varied program. As usual, we had a number of different kinds of activities in the conference program including: research papers, experience reports, tutorials, workshops, panels, lightning talks, and posters. These proceedings contain full - search papers, short research papers, and experience reports. Moreover, we have also included in these proceedings the abstracts of the posters, the position papers of the PhD symposium, and the abstract of the panel. This year we had two different program committees for evaluating research papers and experience reports. Each committee included experts in the specific area. This approach allowed us to better evaluate the quality of the papers and provide better suggestions to the authors to improve the quality of their contributions.

A practical, step-by-step guide to total systems management Systems Engineering Management, Fifth Edition is a practical guide to the tools and methodologies used in the field. Using a "total systems management" approach, this book covers everything from initial establishment to system retirement, including design and development, testing, production, operations, maintenance, and support. This new edition has been fully updated to reflect the latest tools and best practices, and includes rich discussion on computer-based modeling and hardware and software systems integration. New case studies illustrate real-world application on both large- and small-scale systems in a variety of industries, and the companion website provides access to bonus case studies and helpful review checklists. The provided instructor's manual eases classroom integration, and updated end-of-chapter questions help reinforce the material. The challenges faced by system engineers are candidly addressed, with full guidance toward the tools they use daily to reduce costs and increase efficiency. System Engineering Management integrates industrial engineering, project management, and leadership skills into a unique emerging field. This book unifies these different skill sets into a single step-by-step approach that produces a well-rounded systems engineering management framework. Learn the total systems lifecycle with real-world applications Explore cutting edge design methods and technology Integrate software and hardware systems for total SEM Learn the critical IT principles that lead to robust systems Successful systems engineering managers must be capable of leading teams to produce systems that are robust, high-quality, supportable, cost effective, and responsive. Skilled, knowledgeable professionals are in demand across engineering fields, but also in industries as diverse as healthcare and communications. Systems Engineering Management, Fifth Edition provides practical, invaluable guidance for a nuanced field.

This volume combines the proceedings of the 1987 SEI Conference on Software Engineering Education, held in Monroeville, Pennsylvania on April 30 and May 1, 1987, with the set of papers that formed the basis for that conference. The conference was sponsored by the Software Engineering Institute (SEI) of Carnegie-Mellon University. SEI is a federally-funded research and development center established by the United States Department of Defense to improve the state of software technology. The Education Division of SEI is charged with improving the state of software engineering education. This is the third volume on software engineering education to be pub lished by Springer-Verlag. The first (Software Engineering Education: Needs and Objectives, edited by Tony Wasserman and Peter Freeman) was published in 1976. That volume documented a workshop in which educa tors and industrialists explored needs and objectives in software engineering education. The second volume (Software Engineering Education: The Educational Needs of the Software Community, edited by Norm Gibbs and Richard Fairley) was published in 1986. The 1986 volume contained the proceedings of a limited attendance workshop held at SEI and sponsored by SEI and Wang Institute. In contrast to the 1986 Workshop, which was limited in attendance to 35 participants, the 1987 Conference attracted approximately 180 participants.

This text collects contributions from different countries to a wide range of topics in software engineering. Special emphasis is given to application of knowledge-base methods to software engineering problems. The papers tackle such areas as architecture of software and design patterns.