Methods

Sadegh Sadeghipour

Testing cycling software components of reactive systems on the basis of formal specifications

Forschungsergebnisse zur Informatik

Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal requirements in the area of safety-critical embedded software systems, can improve the quality and efficiency of test activities.

In this book, two strategies for testing cyclic software components of reactive systems […]

Andrea Schalla

Water Supply and Sewage Disposal of the Nigerian Society

A Geographical Case Study of Human Usage and Management of the Water Resources in a Tropical Lowland Area

ORBIS – Wissenschaftliche Schriften zur Landeskunde

The African developing countries in the humid tropics with distinct wet and dry seasons have a marked and close network of rivers and streams which vary in size according to seasonal precipitation. However, the corresponding systems of water supply and sewage disposal for the population show considerable deficiencies which point to infrastructural and organizational problems. A wide and diverse spectrum of these defects is found in the catchment area of the Ogun River in […]

Chun Du

RelCAD: A Relational CAD System with Constraint-Based Geometric Modelling

Forschungsergebnisse zur Informatik

Most conventional CAD systems have been proved to be Computer-Aided Drafting systems. They do not offer sufficient support for the design activity. The reason is that they cannot understand the semantic information and keep the semantic information throughout the whole design process. The semantic information here means the functional requirements on the design product. The designer is responsible for maintaining the functional requirements in different design phases. […]

Rudolf Lenk

Biophysical Applications of NMR

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Living systems have a very complicated molecular structure. They are characterized by a great number of spatial configurations, high entropy and significant random movements. Because of the absence of symmetry and regularity in these systems, random motion is the most significant phenomenon to define their physiological state.

This book shows how living systems can be characterized by Brownian motion and particle fluctuation, using the Nuclear Magnetic Resonance […]