prosthesis 发表于 2025-3-23 10:16:42

http://reply.papertrans.cn/39/3802/380107/380107_11.png

Handedness 发表于 2025-3-23 14:33:48

Edda-S, Eine Graphische, Strukturierte Datenflussprache Für Den Software-Entwurfurch die Kosten für Entwicklung und Wartung zu reduzieren, zunehmend an Bedeutung. Einen Ansatz in diese Richtung bieten Datenflußsprachen. Wegen ihrer einfachen Semantik, ihrer Freiheit von Seiteneffekten, ihrer klaren modularen Strukturen und Interaktion zwischen den Moduln erleichtern Datenflußsp

Thyroiditis 发表于 2025-3-23 19:37:15

Litos-A und Litor-A — Eine Methode und Ein Werkzeug Für Die Analyse- und Definitionsphase von SoftwaWerkzeuge anbieten, die unterschiedlichsten Namen und Charakteristiken dafür verwenden, zeichnet sich ein gemeinsamer Durchschnitt ab, der aus Problemidentifikation und -definition, Anforderungsdefinition, Entwurf, Kodierung und Test, Installation und Wartung besteht.

prick-test 发表于 2025-3-23 22:25:15

Software-Spezifikation Durch Halbformale, Anschauliche Modellerinzip 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.

一夫一妻制 发表于 2025-3-24 04:18:21

http://reply.papertrans.cn/39/3802/380107/380107_15.png

痛苦一下 发表于 2025-3-24 08:00:47

http://reply.papertrans.cn/39/3802/380107/380107_16.png

Constrain 发表于 2025-3-24 13:03:23

http://reply.papertrans.cn/39/3802/380107/380107_17.png

TIGER 发表于 2025-3-24 16:54:50

Edda-S, Eine Graphische, Strukturierte Datenflussprache Für Den Software-EntwurfPufferüberläufe, welche in parallelen, verteilten Systemen auftreten können, vermieden. Die Verwendung von Datenbanken, einem imperativen, in der Praxis oft benötigten Sprachelement wird ermöglicht, wobei die funktionalen Grundzüge der Sprache weitestgehend erhalten bleiben.

胰脏 发表于 2025-3-24 20:32:47

Rechnerunterstützung für die Anfanqsphasen eines Projektsgsvolle Änderungsmechanismen, können nur dann gewährleistet werden, wenn alle Anforderungen und Planungen (mit den zugehörigen inhaltlichen Beziehungen!) rechnergestützt in einer gemeinsamen Datenbank modelliert werden.

Constitution 发表于 2025-3-25 01:13:56

http://reply.papertrans.cn/39/3802/380107/380107_20.png
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: GI/OCG/ÖGI-Jahrestagung 1985; Wirtschaftsuniversit Hans Robert Hansen Conference proceedings 1985 Springer-Verlag Berlin Heidelberg 1985 An