Machine Learning Applications In Software Engineering

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

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

This book constitutes the refereed proceedings of the First International Workshop on Machine Learning in Medical Imaging, MLMI 2010, held in conjunction with MICCAI 2010, in Beijing, China, in Septem

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.

This work consists of 12 chapters by international researchers and practitioners in computer science and software engineering. The book opens with a survey of applications of evolutionary and bio-insp

The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2009) was held on Hainan Island, China from December 2 – 4. SERA ’09 featured excellent theore

This volume constitutes the selected and extended papers of the International Conference on Advances in Software Engineering, ASEA 2008, and Its Special Sessions, as well as the International Conferen

Proven techniques for software engineering success This in-depth volume examines software engineering topics that are not covered elsewhere: the question of why software engineering has developed more

Forty-three international academics, researchers, and computer science professionals contribute 15 chapters demonstrating how mathematical models and computer software can be developed and applied for

Ecological engineering involves the design, construction and management of ecosystems that have value to both humans and the environment. It is a rapidly developing discipline that provides a promisin

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

Dataset shift is a common problem in predictive modeling that occurs when the joint distribution of inputs and outputs differs between training and test stages. Covariate shift, a particular case of

An introduction to machine learning methods and their applications to problems in bioinformatics Machine learning techniques are increasingly being used to address problems in computational biology a

The 18 contributions in this collection describe proven approaches to student learning and assessment, curriculum development, innovative teaching, and team projects that solidify classroom concepts a

This concise easy-to-follow textbook presents the crucial issues in software engineering using the agile approach to software development - one of the mainstream paradigms for the management of softw

The 15 articles collected here by Brandon (Christian Brothers U., Tennessee) review current topics for engineers creating software for the web. The text may be appropriate as a supplement to textbooks

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical f

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

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases

This is a detailed summary of research on design rationale providing researchers in software engineering with an excellent overview of the subject. Professional software engineers will find many examp

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

The integrated software development approach presented in this book outlines practices for hiring and retaining the best people, and recommends efficient procedures for them to use. Separate chapters

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 provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other bo

-- 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

The creation of quality software on time and within budget has been a major problem facing the software industry for several decades. Consideration of software development and maintenance as an engine

In recent years machine learning has made its way from artificial intelligence into areas of administration, commerce, and industry. Data mining is perhaps the most widely known demonstration of this

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