Browsing by Author "Matheis, Hans"

Filter results by typing the first few letters
Now showing 1 - 4 of 4
  • Thumbnail Image
    ItemOpen Access
    Software-Entwicklung durch schrittweise Komplettierung
    (1987) Ludewig, Jochen; Färberböck, Hannes; Lichter, Horst; Matheis, Hans; Wallmüller, Ernest
    Die Arbeit beschreibt die Software-Entwicklung durch schrittweise Komplettierung. Darin sind die Prinzipien der traditionellen Programmentwicklung nach einem Phasenplan mit dem Prototyp-Ansatz verbunden. Auf diese Weise bleiben die Vorteile beider Ansätze erhalten. Das Vorgehen erfordert starke Unterstützung durch die Software-Entwicklungsdatenbank. Diese Datenbank wird gegenwärtig in unserer Gruppe realisiert.
  • Thumbnail Image
    ItemOpen Access
    Software-Spezifikation durch halbformale, anschauliche Modelle
    (1985) Ludewig, Jochen; Glinz, Martin; Matheis, Hans
    Der Beitrag erörtert die Frage, welche Ansätze zur Spezifikation grundsätzlich in Frage kommen, und begründet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die Beispiele und die am Schluss wiedergegebenen Erfahrungen stammen aus unserer Arbeit mit dem Spezifikationssystem SPADES, das auf dem Prinzip der halbformalen Beschreibung beruht.
  • Thumbnail Image
    ItemOpen Access
    Spades - a specification and design system and its graphical interface
    (1985) Ludewig, Jochen; Glinz, Martin; Huser, Hansjörg; Matheis, G.; Matheis, Hans; Schmidt, M.F.
    SPADES is a specification system consisting of a method, a language, and a set of tools. These components are based on a set of concepts, which forms its abstract kernel. SPADES supports the specification of software systems, in particular of real time software. The system to be developed is modelled using the Entity-Relationship-concept. While this seems to be the best way for storing specifications. In a computer, it does not automatically lead to representations equally comfortable for humans. This is why SPADES, which has been available for some time, has recently been extended by a graphical interface. This paper gives a brief survey of the system, in particular of its new component.
  • Thumbnail Image
    ItemOpen Access
    Specification techniques for real-time systems
    (1987) Ludewig, Jochen; Matheis, Hans
    This paper is a course on specification. Since it is based on experiences in the field of Software Engineering, it applies primarily to Software Specifications. Many observations and reports indicate, however, that, from specification aspects, there is not much difference between information processing systems in general and software in particular. Therfore, most of this course applies also to System Specification. There are methods, languages, and tools for writing specifications. In this paper, we concentrate on methods and languages. We start with the definitions of a few fundamental terms and of the qualities of specifications. In the main part of the paper, we present four specification methods together with their underlying languages, namely Structured Analysis, SADT, PSL, and RSL. A few sample specifications written in these languages are given in order to convey an optical impression of each language. The paper ends with some general conclusions and a list of references.