Universität Stuttgart

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

Browse

Filters

1976 - 19782

Settings

Publication Type: search.filters.UBSTyp.KonferenzbeitragStart date: 1970End date: 1978Subject: search.filters.subject.620

Search Results

Now showing 1 - 2 of 2
  • 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.