Machine Learning Applications In Software Engineering

This collection of sixteen articles on software development focuses on the nexus of software engineering and knowledge engineering and efforts to apply principles of automation and artificial intellig

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

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting w

Innovations in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Com

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.

-- Seven new chapters and exhaustive coverage of process improvement, testing, and quality assurance.-- Contains numerous real-life examples based on the author's work at the Malcolm Baldrige Award-wi

This textbook is intended for introductory software engineering coursework or as a reference for practicing programmers. The authors introduce types and classes of software, software development life

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

Machine Learning and Knowledge Discovery for Engineering Systems Health Management presents state-of-the-art tools and techniques for automatically detecting, diagnosing, and predicting the effects of

"Traditional, low-dimensional, small scale data have been successfully dealt with using conventional software engineering and classical statistical methods, such as discriminant analysis, neural netwo

Using a problem-based quantitative approach, Striebig, Ogundipe, and Papadakis present a textbook on sustainable design and development that can be used in any field of engineering. The prerequisites

In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-

The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly