Arbeitsverfahren ueberprueft und evtl. Zusammenhang zwischen Wirtschaftlichkeit und Messmethode dergestalt zu modellieren, dass wirtschaftliche Aspekte und Fragen der Genauigkeit und Zuverlaessigkeit gemeinsam analysiert werden koennen. Ein derartiges Modell geht ueber die ueblichen Zielfunktionen des sog. Formal modelling of entity's life in GIS There is strong demand on modern GIS for managing changes of objects through time. These changes were usually expressed in databases as creation and deletion of records and with time-stamps.
Some recent experiences show that the problem is more complex.
The goal of my research is to check if proposed constructs can be formalized in a functional programming environment. This simple task raises challenging questions already in the beginning. The users believe in the correctness of the programs and of the results produced by the programs. The task of this work is to detect numerical problems in geodetic software. First numerical problems will be analyzed, then test specifications with the aim to find numerical problems will be created.