Systems Engineering Principles for Software Engineers

Solid requirements engineering has become increasingly essential to on-time and on-budget delivery of software and systems projects. As more engineering programs make it a mandatory part of their curr

In small but growing software companies, the engineering manager is in the unique position of having to deal with the technical team and other senior managers, while at the same time taking direction

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

As technology presses forward, scientific projects are becoming increasingly complex. The international space station, for example, includes over 100 major components, carried aloft during 88 spaces f

This book focuses on metamodelling as a discipline, exploring its foundations, techniques and results. It presents a comprehensive metamodel that covers process, product and quality issues under a com

This work addresses the complex issues associated with software engineering environment capabilities for designing and maintaining real-time embedded software systems. It provides theoretical foundati

In-depth coverage of the latest advances in software engineeringAimed at defining inherent problems and providing appropriate solutions when constructing large software systems, the study of software

Software requirements for engineering and scientific applications are almost always computational and possess an advanced mathematical component. However, an application that calls for calculating a s

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

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

Software product line engineering has proven to be the methodology for developing a diversity of software products and software intensive systems at lower costs, in shorter time, and with higher quali

A benchmark text on software development and quantitative software engineering "We all trust software. All too frequently, this trust is misplaced. Larry Bernstein has created and applied qua

A gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, it explores the use of categorical constructions from the point of view o

Software Design for Engineers and Scientists integrates three core areas of computing:. Software engineering - including both traditional methods and the insights of 'extreme programming'. Program des

This classroom-tested approach is based on a successful course at Johns Hopkins University, originally developed to serve the needs of Westinghouse Co. * Provides an excellent entry-level approach t

This book provides a guide to the writing of unambiguous specifications of complex computer systems. It explains how to describe, with mathematical precision, the behavior properties of a system. Sa

Computing developed as a branch of mathematics, only to drift away from this home as computer science diverged towards more general topics such as the theory of how a computer works. Recently the emphasis has become more mathematical and the new disciplines of software engineering and information technology have emerged. This book is designed to form the basis of a one year course in discrete mathematics for first year computer scientists or software engineers. The material presented covers much of undergraduate algebra with a particular bias towards the computing applications. Topics covered include mathematical logic, set theory, finite and infinite relations and mappings, graphs, graphical algorithms and axiom systems. It concludes with implementations of many of the algorithms in Modula-2 to illustrate how the mathematics may be turned into concrete calculations. Numerous examples and exercises are included with selected solutions to the problems appearing in the appendix. Discrete

This book is designed to help software engineers and project managers understand and solve problems involved in developing complex software systems. It provides guidelines and tools for managing the t