Universität Stuttgart

Permanent URI for this communityhttps://elib.uni-stuttgart.de/handle/11682/1

Browse

Filters

1976 - 19794

Settings

Publication Type: search.filters.UBSTyp.KonferenzbeitragStart date: 1966End date: 1979Subject: search.filters.subject.620

Search Results

Now showing 1 - 4 of 4
  • Thumbnail Image
    ItemOpen Access
    Das Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierung
    (1978) Ludewig, Jochen; Streng, Wolfgang
    Aufgrund von Fehleranalysen und Erfahrungen bei der Entwicklung großer Software-Systeme hat sich die Einsicht verbreitet, daß eine Erhöhung der Zuverlässigkeit vor allem durch eine Formalisierung und Methodisierung der Spezifikation und des Entwurfs zu erreichen ist. Erst durch formalisierte Beschreibungshilfsmittel wird eine rechnergestützte Software-Entwicklung und -Prüfung ermöglicht. Bisher ist der Anwender bei der Formulierung seiner Anforderungen auf natürliche Sprachen angewiesen. Dies führt häufig zu unvollständigen, mehrdeutigen und sogar widerspruchsvollen Spezifikationen, die dann die Basis für die Software-Entwicklung bilden. Um zu prüfbaren Spezifikations- und Entwurfsbeschreibungen zu gelangen, wurden rechnergestützte Software-Entwicklungssysteme entworfen, die auf einem formalen Systembeschreibungsmodell beruhen. Angestrebt wird ein integriertes Werkzeug von aufeinander abgestimmten Hilfsmitteln zur Überdeckung des gesamten Entwicklungszyklus.
  • Thumbnail Image
    ItemOpen Access
    The use of optical transfer function for assessing the quality of optical systems
    (1976) Tiziani, Hans J.
    The optical transfer function (OTF) has proved to be a highly valuable aid in comparing and evaluating the quality of optical systems. The measuring instrument developed is briefly described. The OTF measurements agreed well with theoretical results obtained from lens data, especially for the modulation transfer function (MTF). With the aid of a model based on experiments, a threshold curve was obtained which enabled the results based on the MTF to be compared with those from conventional resolution tests. To enable workable focusing and quality criteria to be derived, an attempt was made to condense the profuse data resulting from the MTF.
  • Thumbnail Image
    ItemOpen Access
    Pragmatic techniques for program analysis and verification
    (1979) Plödereder, Erhard
    The Program Development System (PDS) is a collection of programming tools created as an extension of the ECL programming system23. It contains components that assist the programmer in the definition and modular structuring of large programs at different levels of algorithmic abstraction. These components are supplemented by a program analysis package that produces an information pool to be used for such tasks as source-to-source optimization, semi-automated program documentation, fault detection and program verification. This paper describes the core of the analyzing package, the Symbolic Evaluator. In its implementation we have incorporated pragmatic methods for handling data sharing patterns, and for characterizing and reasoning about the behaviour of loops and procedures. The impact of these methods upon program verification techniques is briefly discussed.
  • Thumbnail Image
    ItemOpen Access
    Processing of abdominal lead ECG and EMG in perinatal monitoring
    (1979) Nagel, Joachim H.; Schaldach, Max
    A new method of continuous monitoring both fetal heart rate and uterine activity during pregnancy and birth is described in the paper. Electrodes, placed on the maternal abdomen are used to obtain signals from the uterus as well as from fetal and maternal cardiac activity. By means of averaging and correlation techniques the components of the registrated signal are separated. The fetal electrocardiogram is used to compute the heart rate whereas the electromyogram is processed so as to result in the uterine activity curve. Besides a substantial improvement in the reliability of fetal heart rate monitoring, it is for the first time, that uterine activity could be registrated other than by mechanical means and without any additional signal transducers.