Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular
Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular
Automatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation
This book constitutes the refereed proceedings of the 5th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2013. This professional symposium and conference offers a range of
Recent years in North America have seen a rapid development in the area of crime analysis and mapping using Geographic Information Systems (GIS) technology. In 1996, the US National Institute of Justi
Whether ERP software, office applications, open-source products or online games: In terms of its economic characteristics, software differs fundamentally from industrial goods or services. Based on th
The emergence of high performance computers and sophisticated software technology has led to significant advances in the development and application of operations research. In turn, the growing com
The highly competitive and globalized software market is creating pressure on software companies. Given the current boundary conditions, it is critical to continuously increase time-to-market and redu
Computing and Graphics in Statistics presents issues that arise in the development of integrated statistical software systems which have led to the adaptation of ideas from computer science, particula
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
The concept of processes is at the heart of software and systems engineering. Software process models integrate software engineering methods and techniques and are the basis for managing large-scale s
Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular
Cloud computing is the latest market-oriented computing paradigm which brings software design and development into a new era characterized by “XaaS”, i.e. everything as a service. Cloud workflows, as
Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular
Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software archi
This book describes a complete revolution in software engineering based on complexity science through the establishment of NSE – Nonlinear Software Engineering paradigm which complies with the essenti
The fields of HCI and Software Engineering have evolved almost independently of each other until the last decade, when it became apparent that an integrated and combined perspective would benefit the
This book is unique among the current literature in that it systematically documents the prenatal structural development of the human brain. It is based on lifelong study using essentially a single st
With the rapid development of proteomic technologies in the life sciences and in clinical applications, many bioinformatics methodologies, databases, and software tools have been developed to support
This book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifi
This book constitutes the refereed proceedings of the 4th European Conference on Software Architecture, ECSA 2010, held in Copenhagen, Denmark, in August 2010.The 19 revised full papers presented toge
Automatic Performance Tuning is a new software paradigm which enables software to be high performance in any computing environment. Its methodologies have been developed over the past decade, and it i
Multi-agent systems are claimed to be especially suited to the development of software systems that are decentralized, can deal flexibly with dynamic conditions, and are open to system components that
SystemC provides a robust set of extensions to the C++ language that enables rapid development of complex models of hardware and software systems. The authors focus on practical use of the language fo
A major challenge in grid computing remains the application software development for this new kind of infrastructure. Grid application programmers have to take into account several complicated aspects
This book focuses on novel trends in software evolution research and its relations with other emerging disciplines. Mens and Demeyer, both authorities in the field of software evolution, do not restri
The conference concentrated on the development and practice of renewable energy technologies. There were papers and discussions on power electronics or wind power systems, using photovoltaic systems t
This book examines the important role semantics will have in the future development of software systems and domain specific languages. It presents the fundamental ideas behind these approaches, stres
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance (SIHFT), i.e., how to deal with faults affecting the hardware by only (or
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to il
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundati
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
When spatial data is digitized for use in geographic information systems and other software, information about its original scale, resolution and accuracy is frequently lost. As a result, using such i
This book presents details of a text-to-speech synthesis procedure using epoch synchronous overlap add (ESOLA), and provides a solution for development of a text-to-speech system using minimum data re
This book presents cases from different countries with a main focus on the perspectives of using precision farming in Europe. Divided into 12 chapters it addresses some of the most recent development
This handbook presents fundamental knowledge on the hardware/software (HW/SW) codesign methodology. Contributing expert authors look at key techniques in the design flow as well as selected codesign t
This textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system)
Gian-Marco Schmid investigates how musicians perceive the experiential quality of musical instruments using a bottom-up psychometric questionnaire development process and finds that there are three ma
This study develops a methodology for rapidly obtaining approximate estimates of the economic consequences from numerous natural, man-made and technological threats. This software tool is intended for
This book describes how to use test equating methods in practice. The non-commercial software R is used throughout the book to illustrate how to perform different equating methods when scores data are
