JSP: Einführung in die Methode des Jackson Structured by Klaus Kilberth, Michael Jackson

By Klaus Kilberth, Michael Jackson

Dr. Klaus Kilberth arbeitet seit 20 Jahren auf dem Gebiet der methodischen Entwicklung von Anwendungssystemen.

Show description

Read or Download JSP: Einführung in die Methode des Jackson Structured Programming PDF

Best technology books

Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers

Intel® Xeon Phi™ Coprocessor structure and instruments: The consultant for program builders offers builders a entire creation and in-depth examine the Intel Xeon Phi coprocessor structure and the corresponding parallel info constitution instruments and algorithms utilized in a number of the technical computing purposes for which it truly is compatible.

Techlife News (15 May 2016)

Evaluate: the luxurious electrical motor vehicle marketplace might be small, yet it’s profitable sufficient to get one other jolt – this time from a mysterious startup that says it desires to re-imagine how humans have interaction with their cars. The startup’s identify is Faraday destiny, and it's been looking for a spot to construct what it says can be a $1 billion production plant for a brand new line of automobiles.

Extra resources for JSP: Einführung in die Methode des Jackson Structured Programming

Example text

Etwa [Nett82)) und die Methode von Warnier/Orr (vgl. B. [MaMC89] oder [ScNe90)). Der Ansatz von Warnier und Orr ist dem von Jackson sehr ahniich, wogegen bei HIPO die Beschreibung der Komponenten des Hierarchie-Diagramms starker die einzelnen Verarbeitungsschritte betont. Der grundlegende EntwurfsprozeB der Methode JSP ist in vier Schritte eingeteilt. 1. Datenschritt ("statisches" Modell) 1m Datenschritt werden die Daten-Strukturdiagramme aller Datenstrome, die von einem Programm bearbeitet werden, definiert.

B. dadurch, daB Elementaranweisungen keine gemeinsamen Operationen enthalten diirfen, die Bedingungen auf Vollstandigkeit iiberpriift werden konnen und sogar die formale Korrektheit der abgeleiteten Programmstruktur verifiziert werden kann (vgl. 2). AuBerdem kann durch die Kontrolle der Ableitung der Programmstruktur aus den Datenstrukturen sichergestellt werden, daB die Grundsatze der Methode eingehalten werden und dies nicht nur durch Verwendung der Notation vorgetauscht wird. Beim Einsatz von Code-Generatoren kann eine Integritat der Programme dadurch gewahrleistet werden, daB ein Zugriff auf den Quellcode generell ausgeschlossen wird und Anderungen ausschlieBlich an den Entwurfsdokumenten (Datenstrukturen, Programmstruktur, Elementaranweisungen und Bedingungen) durchgefiihrt werden diirfen.

Fallbeispiel Lagerbewegung: Das chaotische DSD ist hier korrekt. Zwischen einem Zugangssatz und einem Abgangssatz gibt es keine logische Abhlingigkeit, sie konnen in beliebiger Reihenfolge (wenn fiberhaupt) auftreten. Die chaotische Datenstruktur flir ARTIKEL-GRUPPE entspricht also der Aufgabenstellung. 46 2 Grundla~en des ISP-Entwurfs Datenstrukturen mit Nullkomponente In einem DSD werden logische Eigenschaften eines Datenstroms statisch beschrieben. B. die Unterscheidung in zwei unterschiedliche Teile dieser Oberstruktur bewirken.

Download PDF sample

Rated 4.29 of 5 – based on 17 votes