Models in Software Engineering

This guide details steps for performing empirical research in the field of software engineering. It overviews types of empirical studies in the field and gives advice on planning and designing experim

Based on their own experiences of in-depth case studies of software projects in international corporations, in this book the authors present detailed practical guidelines on the preparation, conduct,

In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. Usually, the constituent components are supposed to be correct

A high-level introduction to new technologies andmethods in the field of software engineering Recent years have witnessed rapid evolution of software engineering methodologies, and until now, there h

This book highlights a range of new approaches and concepts in the field of software engineering. Based on systematic methods, graphical and formal models, the approaches are designed for solving prac

With an eye towards environmental sustainability, this book presents a step-by-step approach to formulating the resilience of civil infrastructure and energy systems. It provides a concise explanation of resilience terminology, a general overview of theoretical models and analyses, and a clear guide to practical applications, covering critical topics such as interdependent infrastructures and geologic carbon sequestration. Additionally, it contains a general introduction to selected data science topics, so readers can acquire the tools to formulate and analyze resilience engineering problems in depth. Informed by the author's extensive practical experience and thorough academic background, this book includes examples to illustrate key computational algorithms, end-of-chapter exercises and references, and an entire chapter devoted to case studies. Intended for practitioners of resilience engineering with a background in probability, this book offers a balanced blend of background, theor

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 innovat

The underlying argument here is that software should be empirically tested both by researchers in laboratory contexts, and by practitioners in industrial contexts. Contributors from both realms in Eur

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

In a down-to-the earth manner, the volume lucidly presents how the fundamental concepts, methodology, and algorithms of Computational Intelligence are efficiently exploited in Software Engineering and

This book constitutes the refereed proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2012, held in Essen, Germany, in March 2

Ideal for use in a microprocessor course in electrical engineering or computer science,Software and Hardware Engineering: Motorola M68HC11 provides an introduction to the architecture and design of ha

Software engineering is an integral part of studies in computer science and consequently foundational knowledge is critical to all students in the field. This text focuses on the essential elements,

This bookconstitutes the proceedings of the 22nd International Working Conference onRequirements Engineering – Foundation for Software Quality, REFSQ 2016, held inGothenburg, Sweden, in March 2016. Th

Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software structural quality. Software Quality Engineering studies the tenet

Dorf (electrical and computer engineering, University of California-Davis) provides a reference to subjects in the fields of digital logic devices, displays, testing, software, and computers, covering

Bioinformatics Software Engineering: Delivering Effective Applications will be useful to anyone who wants to understand how successful software can be developed in a rapidly changing environment. A h

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

PRINCIPLES AND PRACTICES OF SOFTWARE ENGINEERING is a comprehensive and detailed text in the area of Software Engineering. It includes topics on Software Quality, Software Testing and Metrics. There i

Provides an introduction to the software development process in a general manner, but shows real-world application using the Unified Process for Education, a modified version of Rational's Unified Pro

This book provides a progressive approach to the teaching of software engineering. It features over 70 easy-to-follow diagrams and tables depicting concepts and tools used in software engineering and

Queueing systems and networks are being applied to many areas of technology today, including telecommunications, computers, satellite systems, and traffic processes. This timely book, written by 26 of

This book provides a platform for addressing human factors challenges in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering n

The digging of mineral wealth from the ground dates to prehistoric times, and Europeans pursued mining in the Americas from the earliest colonial days. Prior to the Civil War, very little mining went

Digging mineral wealth from the ground dates to prehistoric times, and Europeans pursued mining in the Americas from the earliest colonial days. Prior to the Civil War, little mining was deep enough t

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 textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters: The first chap