This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
This book provides an introduction to qualitative and quantitative aspects of human physiology. It looks at biological and physiological processes and phenomena, including a selection of mathematical
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their beha
This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designi
Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability,
A gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, it explores the use of categorical constructions from the point of view o
Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
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 covers the use and development of software for astronomy. It describes the control systems used to point the telescope and operate its cameras and spectrographs, as well as the web-based too
This second edition features new chapters highlighting advances in our understanding of the behavior and properties of scintillators, and the discovery of new families of materials with light yield an
This book discusses challenges and solutions for the required information processing and management within the context of multi-disciplinary engineering of production systems. The authors consider met
Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, li
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show h
This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems
This book on the latest trends in modern biotechnology draws upon the relevant knowledge, methods and expertise from chemistry, biochemistry, microbiology, genetics, chemical engineering and computer
This introductory book discusses how to plan and build useful, reliable, maintainable and cost efficient computer systems for automated engineering design. The book takes a user perspective and seeks
Like other sciences and engineering disciplines, software engineering requires a cycle of model building, experimentation, and learning. Experiments are valuable tools for all software engineers who a
“Software Tools and Algorithms for Biological Systems" is composed of a collection of papers received in response to an announcement that was widely distributed to academicians and practitioners in th
Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development including engineering, computer science and management acti
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
Alternative Sources of Adult Stem Cells: Human Amniotic Membrane, by S. Wolbank, M. van Griensven, R. Grillari-Voglauer, and A. Peterbauer-Scherb; *Mesenchymal Stromal Cells Derived from Human Umbilic
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety
This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research
Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the o
"Production Systems Engineering (PSE) is an emerging branch of Engineering intended to uncover fundamental principles of production systems and utilize them for analysis, continuous improvement, and d
Information systems (IS) are the backbone of any organization today, supporting all major business processes. This book deals with the question: how do these systems come into existence? It gives a co
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised tec
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re
Systems Metabolic Engineering is changing the way microbial cell factories are designed and optimized for industrial production. Integrating systems biology and biotechnology with new concepts from sy
Computational Intelligence for Engineering Systems provides an overview and original analysis of new developments and advances in several areas of computational intelligence. Computational Intelligenc
This book introduces Software Thermal Management (STM) as a means of reducing power consumption in a computing system in order to manage heat, improve component reliability and increase system safety.
Basing its systems on dynamically reconfigurable processors, this book will help systems designers adhere to the constraints of performance and area. It presents a number of techniques for reducing en
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
For the first time in a single volume, the design, characterisation and operation of the bioreactor system in which the tissue is grown is detailed.Bioreactors for Tissue Engineering presents an overa
This pioneering text provides a comprehensive introduction to systems structure, function, and modeling as applied in all fields of science and engineering. Systems understanding is increasingly recog
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. T
This book presents statistical processes for health care delivery and covers new ideas, methods and technologies used to improve health care organizations. It gathers the proceedings of the Third Inte
This book teaches readers ground engineering principles and related mining and risk management practices associated with underground coal mining. It establishes the basic elements of risk management a
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in ena
