Model-Based Requirements Engineering

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

This book identifies and examines the legal challenges facing the shipping industry and ship management today.It first addresses flag state rules and private international law as organisational tools of the shipowner for establishing the applicable legal framework in an age of increasing regulatory activity and extraterritorial effect of legislation. It then focuses on sustainability requirements and the liability of shipping companies managing supply chains and ships as waste. The third section considers challenges stemming from times of financial crisis and deals with the cross-border impact of shipping insolvencies, the UNCITRAL Model Law, and the approaches of different jurisdictions. Finally, the fourth section concerns digitalisation and automation, including delivery on the basis of digital release codes, bills of lading based on blockchain technology, the use of web portals and data sharing, and particular aspects of the law relating to autonomous ships, notably in marine ins

Most systems involved in a chemical process plant are interactive multivariable systems, to control which, the transfer function matrix model is required. This lucid book considers the identification and control of such systems. It discusses open loop and closed loop identification methods, as well as the design of multivariable controllers based on steady state gain matrix. Simple methods for designing controllers based on transfer function matrix model have been reviewed. The design of controllers for non-square systems, and closed loop identification of multivariable unstable systems by the optimization method are also covered. Several simulation examples and exercise problems at the end of each chapter further help the reader consolidate the knowledge gained. This book will be useful to any engineering student, researcher or practitioner who works with interactive, multivariable control systems.

3D Printing for Model Engineersis the first truly comprehensive guide to 3D printing in the context of other creating engineering-based hobbies. It covers using 3D Computer Aided Design; 3D print

Spacecraft Dynamics and Control: The Embedded Model Control Approach provides a uniform way of approaching space engineering control problems from the standpoint of model-based control, using state eq

Today, web applications are the most important type of software applications. This textbook shows how to design and implement them, using a model-based engineering approach that covers general informa

This book is an illustrative guide for the understanding and implementation of model-based systems and architecture engineering with the Arcadia method, using Capella, a new open-source solution. More

Model-based design uses a physical model of equipment or a process for system design, simulation, verification, and validation against requirements throughout the product development cycle, says Wu

Design optimization is a standard concept in engineering design, and in other disciplines which utilize mathematical decision-making methods. This textbook focuses on the close relationship between a design problem's mathematical model and the solution-driven methods which optimize it. Along with extensive material on modeling problems, this book also features useful techniques for checking whether a model is suitable for computational treatment. Throughout, key concepts are discussed in the context of why and when a particular algorithm may be successful, and a large number of examples demonstrate the theory or method right after it is presented. This book also contains step-by-step instructions for executing a design optimization project - from building the problem statement to interpreting the computer results. All chapters contain exercises from which instructors can easily build quizzes, and a chapter on 'principles and practice' offers the reader tips and guidance based on the au

The mini-lathe is a useful tool in the model engineer's workshop. With more choice than ever of more compact machines, a mini-lathe is able to accommodate a wide range of engineering requirements, pro

This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering,

This book is based on lectures held at the faculty of mechanical engineering at the Technical University of Kaiserslautern. The focus is on the central theme of societies overall aircraft requirements

The engineering textbook introduces each phase of designing a controller for a plant, walking through the process of creating a simulation model, defining the performance requirements and operating di

This book provides background knowledge on the development of model based real-world solutions in the field of control and decision making for water systems. It presents system engineering methods for

This monograph presents the development of novel model-based methodologies for engineering self-organized and self-assembled systems. The work bridges the gap between statistical mechanics and control

This comprehensive summary of the state of the art and the ideas behind the reaction engineering approach (REA) to drying processes is an ideal resource for researchers, academics and industry practitioners. Starting with the formulation, modelling and applications of the lumped-REA, it goes on to detail the use of the REA to describe local evaporation and condensation, and its coupling with equations of conservation of heat and mass transfer, called the spatial-REA, to model non-equilibrium multiphase drying. Finally, it summarises other established drying models, discussing their features, limitations and comparisons with the REA. Application examples featured throughout help fine-tune the models and implement them for process design and the evaluation of existing drying processes and product quality during drying. Further uses of the principles of REA are demonstrated, including computational fluid dynamics-based modelling, and further expanded to model other simultaneous heat and m

This book presents a complete guide to building or concerting a workshop space and then equipping it to serve a wide range of metalworking activities including model engineering, model making, car restoration, and clockmaking. It explains all the essential requirements of the workshop environment: planning, heating and lighting, condensation plus health and safety factors. It then explains in detail the choice of various tools and equipment for differing tasks so the new workshop owner can avoid making unwise purchases. The book is based on a very popular series of articles that originally appeared in the pages of Model Engineers' Workshop magazine, and which have been revised for publication in this edition.

The integration of virtual engineering methods into 3D-CAD based development processes in the automotive industry leads to increased requirements, concerning the software packages as well as regarding

Many approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product Lines and Model-Driven Engineering, which have se

After a brief introduction to the topic of business process modeling, the book offers a quick-start into model-based business process engineering. After that, the foundations of the modeling languages

This book presents the development of modern molecular models for fluids from the interdisciplinary fundamentals of classical and statistical mechanics, of electrodynamics and of quantum mechanics. The concepts and working equations of the various fields are briefly derived and illustrated in the context of understanding the properties of molecular systems. Special emphasis is devoted to the quantum mechanical basis, since this is used throughout in the calculation of the molecular energy of a system. The book is application oriented. It stresses those elements that are essential for practical model development. The fundamentals are then used to derive models for various types of applications. Finally, equation of state models are presented based on quantum chemically based models for the intermolecular potential energy and perturbation theory. The book is suited for graduate courses in chemical and mechanical engineering, physics and chemistry, but may also, by proper selection, be fo

Many applications in science and engineering require a digital model of a real physical object. Advanced scanning technology has made it possible to scan such objects and generate point samples on their boundaries. This book, first published in 2007, shows how to compute a digital model from this point sample. After developing the basics of sampling theory and its connections to various geometric and topological properties, the author describes a suite of algorithms that have been designed for the reconstruction problem, including algorithms for surface reconstruction from dense samples, from samples that are not adequately dense and from noisy samples. Voronoi- and Delaunay-based techniques, implicit surface-based methods and Morse theory-based methods are covered. Scientists and engineers working in drug design, medical imaging, CAD, GIS, and many other areas will benefit from this first book on the subject.

Engineers and scientists need powerful formalisms to make conceptual models of systems in order to analyse and design them. These models can be used to verify the behaviour of the systems, or as an executable specification of them. In this textbook, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism which can be used as a prototyping language. It has three components: Petri nets, extended with time, token values and hierarchy; a specification language that is a subset of Z; and a binary data model, extended with complex objects. Much attention is paid to methods for constructing models of systems and analysing their behaviour, i.e. putting the theory into practice. The text is designed for use by advanced undergraduate and beginning graduate students, in computer science, electrical and industrial engineering, or applied mathematics; indeed, it is based on courses taught by the

Unhelkar, Ghanbary (both U. of Western Sydney, Australia), and Younessi (Rensselaer at Hartford, US) present a research-based "collaborative business process engineering" (CBPE) model enabling multipl

In Social Mobility in Late Antique Gaul, Allen Jones explores the situation of the non-elite living in Gaul during the late fifth and sixth centuries. Drawing especially on evidence from Gregory of Tours' writings, he formulates a social model based on people of all ranks who were acting in ways that were socially advantageous to them, such as combining resources, serving at court, and participating in ostentatious religious pursuits, such as building churches. Viewing the society as a whole, and taking into account specific social groups, such as impoverished prisoners, paupers active at churches, physicians, and wonder-working enchanters, Jones creates an image of Barbarian Gaul as an honor-driven, brutal, and flexible society defined by social mobility. His work also addresses topics such as social engineering and competition, magic and religion, and the cult of saints.

Since its inception in 1968, software engineering has undergone numerous changes. In the early years, software development was organized using the waterfall model, where the focus of requirements engi

Despite its importance, logistics engineering often lags industry requirements, especially in terms of engineering-based needs. Filling the gap between education and practice, this brief but comprehen

Ensuring secure transmission and good quality of service (QoS) in ad hoc wireless networks are key commercial concerns. Focusing on practical potential solutions, this text covers security and QoS in these networks. Starting with a review of the basic principles of ad hoc wireless networking, coverage progresses to vulnerabilities, and the requirements and solutions necessary to tackle them. QoS in relation to ad hoc networks is covered in detail, with specific attention to routing, QoS support in unicast communication, and recent developments in the area. Secure routing, intrusion detection, security in WiMax networks and trust management are also covered, the latter being based on principles and practice of key management and authentication in distributed networks. Representing the state-of-the-art in ad hoc wireless network security, this book is a valuable resource for researchers in electrical and computer engineering, as well as practitioners in the wireless communications indust

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

This book provides basic engineering knowledge regarding twin-screw extruders. It covers the most important technical requirements and provides examples based on actual practice. Better understanding

The statistical bootstrap is one of the methods that can be used to calculate estimates of a certain number of unknown parameters of a random process or a signal observed in noise, based on a random sample. Such situations are common in signal processing and the bootstrap is especially useful when only a small sample is available or an analytical analysis is too cumbersome or even impossible. This book covers the foundations of the bootstrap, its properties, its strengths and its limitations. The authors focus on bootstrap signal detection in Gaussian and non-Gaussian interference as well as bootstrap model selection. The theory developed in the book is supported by a number of useful practical examples written in MATLAB. The book is aimed at graduate students and engineers, and includes applications to real-world problems in areas such as radar and sonar, biomedical engineering and automotive engineering.

This book presents the development of modern molecular models for fluids from the interdisciplinary fundamentals of classical and statistical mechanics, of electrodynamics and of quantum mechanics. The concepts and working equations of the various fields are briefly derived and illustrated in the context of understanding the properties of molecular systems. Special emphasis is devoted to the quantum mechanical basis, since this is used throughout in the calculation of the molecular energy of a system. The book is application oriented. It stresses those elements that are essential for practical model development. The fundamentals are then used to derive models for various types of applications. Finally, equation of state models are presented based on quantum chemically based models for the intermolecular potential energy and perturbation theory. The book is suited for graduate courses in chemical and mechanical engineering, physics and chemistry, but may also, by proper selection, be fo

Many applications in science and engineering require a digital model of a real physical object. Advanced scanning technology has made it possible to scan such objects and generate point samples on their boundaries. This book, first published in 2007, shows how to compute a digital model from this point sample. After developing the basics of sampling theory and its connections to various geometric and topological properties, the author describes a suite of algorithms that have been designed for the reconstruction problem, including algorithms for surface reconstruction from dense samples, from samples that are not adequately dense and from noisy samples. Voronoi- and Delaunay-based techniques, implicit surface-based methods and Morse theory-based methods are covered. Scientists and engineers working in drug design, medical imaging, CAD, GIS, and many other areas will benefit from this first book on the subject.

Computer simulations based on mathematical models have become ubiquitous across the engineering disciplines and throughout the physical sciences. Successful use of a simulation model, however, require

The statistical bootstrap is one of the methods that can be used to calculate estimates of a certain number of unknown parameters of a random process or a signal observed in noise, based on a random sample. Such situations are common in signal processing and the bootstrap is especially useful when only a small sample is available or an analytical analysis is too cumbersome or even impossible. This book covers the foundations of the bootstrap, its properties, its strengths and its limitations. The authors focus on bootstrap signal detection in Gaussian and non-Gaussian interference as well as bootstrap model selection. The theory developed in the book is supported by a number of useful practical examples written in MATLAB. The book is aimed at graduate students and engineers, and includes applications to real-world problems in areas such as radar and sonar, biomedical engineering and automotive engineering.

Addresses both fundamental and applied aspects of ocean waves including the use of wave observations made from satellites. More specifically it describes the WAM model, its scientific basis, its actual implementation, and its many applications. This model has been developed by an international group (the Wave Modelling group), and is based on a detailed physical description of air/sea interactions. It is widely used for wave forecasting for meteorological and oceanographic purposes. The three sections of the volume describe the basic statistical theory and the relevant physical processes; the numerical model and its global and regional applications; and satellite observations, their interpretation and use in data assimilation. Written by leading experts, it is a comprehensive guide and reference for researchers and advanced students in physical oceanography, meteorology, fluid dynamics, coastal engineering and physics.