Learn More
The storage of geographical data is a growing type of application within data processing. Users want to retrieve parts of the data stored and to have them shown in graphical form. They need an easy and flexible query language to select the data needed and to describe the form of representation. The existing query languages do not suit this purpose without(More)
Formal specifications are difficult to read. Executable specifications allow to see the behavior of the specified objects and help the domain specialist to detect errors quickly. We present here a method which allows to write axiomatic specifications which can be executed and discuss the limitations in expressive power imposed by the restriction to(More)
  • 1