Models in Software Engineering

This book provides discussions and the exchange of information on principles, strategies, models, techniques, methodologies and applications of industrial engineering. It communicates the latest devel

This book contains the refereed proceedings of the 16th International Conference on Agile Software Development, XP 2015, held in Helsinki, Finland, in May 2015.While agile development already has beco

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

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap

“If this book had been available to Healthcare.gov's contractors, and they read and followed its life cycle performance processes, there would not have been the enormous problems apparent in that appl

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 appro

A solid introduction to mathematical modeling for a range of chemical engineering applications, covering model formulation, simplification and validation. It explains how to describe a physical/chemical reality in mathematical language and how to select the type and degree of sophistication for a model. Model reduction and approximation methods are presented, including dimensional analysis, time constant analysis and asymptotic methods. An overview of solution methods for typical classes of models is given. As final steps in model building, parameter estimation and model validation and assessment are discussed. The reader is given hands-on experience of formulating new models, reducing the models and validating the models. The authors assume the knowledge of basic chemical engineering, in particular transport phenomena, as well as basic mathematics, statistics and programming. The accompanying problems, tutorials, and projects include model formulation at different levels, analysis, pa

This book presents and discusses the state of the art and future trends in software engineering education. It introduces new and innovative methods, models and frameworks to focus the training towards

This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014.This professional symposium and conference offers a range of

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This cr

This book provides readers with a comprehensive treatment of computer methods so that they can use them for teaching, research, and solution of a wide range of practical problems in geotechnical engin

"This book presents the latest developments in the field of reliability science focusing on applied reliability, probabilistic models and risk analysis. It provides readers with the most up-to-date d

Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. Two leaders in the requirements community have teamed

This book presents the latest research developments in geoinformation science, which includes all the sub-disciplines of the subject, such as: geomatic engineering, GIS, remote sensing, digital photog

YOU HAVE TO OWN THIS BOOK!Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code takes an unflinching, no bulls$ look at behavioral problems in the software engineering industry, shedd

Gonzalez (computer science, U. of La Laguna, Spain) brings together a group of technology, computer science, software engineering, informatics, and other researchers from Europe, Australia, and South

This brief provides guidance for the application of cohesive models to determine damage and fracture in materials and structural components. This can be done for configurations with or without a pre-e

Building on his highly successful textbook on C++, David Yevick provides a concise yet comprehensive one-stop course in three key programming languages, C++, Java and Octave (a freeware alternative to MATLAB). Employing only public-domain software, this book presents a unique overview of numerical and programming techniques, including object-oriented programming, elementary and advanced topics in numerical analysis, physical system modelling, scientific graphics, software engineering and performance issues. Compact, transparent code in all three programming languages is applied to the fundamental equations of quantum mechanics, electromagnetics, mechanics and statistical mechanics. Uncommented versions of the code that can be immediately modified and adapted are provided online for the more involved programs. This compact, practical text is an invaluable introduction for students in all undergraduate- and graduate-level courses in the physical sciences or engineering that require numer

This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmo, Sweden, in May 2011.In the last decade, we have seen agile and l

Software testing is conducted to provide stakeholders with information about the quality of a product under testing. The book, which is a result of the two decades of teaching experience of the author, aims to present testing concepts and methods that can be used in practice. The text will help readers to learn how to find faults in software before it is made available to users. A judicious mix of software testing concepts, solved problems and real-life case studies makes the book ideal for a basic course in software testing. The book will be a useful resource for senior undergraduate/graduate students of engineering, academics, software practitioners and researchers.

Over the past decade, significant advances in the fields of stem cell biology, bioengineering, and animal models have converged on the discipline of regenerative medicine. Significant progress has bee

This book contains the refereed proceedings of the 12th International Conference on Agile Software Development, XP 2011, held in Madrid, Spain, in May 2011.The year 2011 marked the 10th anniversary of

The authors analyze how the structure of a package determines its developmental complexity according to such measures as bug search times and documentation information content. The work presents arguments for why these issues impact solution cost and time more than does scalable performance. The final chapter explores the question of scalable execution and shows how scalable design relates to scalable execution. The book's focus is on program organization, which has received considerable attention in the broader software engineering community, where graphical description standards for modeling software structure and behavior have been developed by computer scientists. These discussions might be enriched by engineers who write scientific codes. This book aims to bring such scientific programmers into discussion with computer scientists. The authors do so by introducing object-oriented software design patterns in the context of scientific simulation.

The 29 papers in this collection describe processes and frameworks for integrating requirements and software engineering, software tools and methods for supporting productivity, and the development of

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

The ideal introduction to the engineering design of systems—now in a new edition The Engineering Design of Systems, Second Edition compiles a wealth of information from diverse sources to provide a u

Written for IT professionals and students, this textbook on adaptive business technologies and applications explains the advantages of "co-engineering" corporate IT systems with externally driven vari

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

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in co

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland,

This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008.

Long a mainstay of manufacturing, industrial engineering has expanded into transportation, health care, logistics, services and nearly every other aspect of doing business. Cassady (industrial enginee

Bioengineering is a broad-based engineering discipline that applies engineering principles and design to challenges in human health and medicine, dealing with bio-molecular and molecular processes, pr

This book is designed for professionals and students in software engineering or information technology who are interested in understanding the dynamics of software development in order to assess and o

Software and Hardware Engineering: Assembly and C Programming for the Freescale HCS12 Microcontroller, Second Edition, provides a general-purpose view of software and hardware engineering in microcont

This volume systematically details both the basic principles and new developments in Data Envelopment Analysis (DEA), offering a solid understanding of the methodology, its uses, and its potential. Ne

This book constitutes the refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2006, held in Oulu, Finland, June 2006. The bo

Hidden Markov models have become a widely used class of statistical models with applications in diverse areas such as communications engineering, bioinformatics, finance and many more. This book is a

Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them to design and implement systems of high stability a