facilitate
发表于 2025-3-25 06:23:50
Ein prozeßorientiertes Strukturierungsprinzip für große Software-Systemeeite und einem in den Systemen feststellbaren „Schnittstellen-Wildwuchs“, der dieser Notwendigkeit entgegensteht, auf der anderen Seite. Durch die Aufgabe monolithischer Programmstrukturen und die Einführung offener Systeme, basierend auf eigenständigen Komponenten, soll eine ausreichende Flexibilit
Suppository
发表于 2025-3-25 07:37:01
http://reply.papertrans.cn/88/8712/871119/871119_22.png
使绝缘
发表于 2025-3-25 12:00:04
http://reply.papertrans.cn/88/8712/871119/871119_23.png
CAMP
发表于 2025-3-25 16:39:47
Über die Implementierung von Typen in Ada. Im Siemens- Ada-Compiler-Projekt sind viele Anforderungen aus dem Kapitel 13 der Sprachdefinition, das im wesentlichen Darstellungsklauseln (representation clauses) beschreibt, berücksichtigt worden. Die Diskussion konzentriert sich auf den schwierigsten Fall, die Implementierung von Verbundtypen,
浓缩
发表于 2025-3-25 23:14:45
Programmieren des Programmierens Ein Ansatz zur Automatisierung der Software-Entwicklunghigkeiten, zwischen Versprechungen und deren Einhaltung, zwischen dem Stand der Theorie und der täglichen Praxis. Mit wachsendem Unbehagen wird der Ruf nach grundlegend neuen Ansätzen oder Paradigmen lauter.
FELON
发表于 2025-3-26 02:46:11
Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOSc specification concepts are introduced. Moreover some main ideas of the algebraic specification languages ACT ONE and ACT TWO and the specification language LOTOS for concurrent and distributed systems are presented and an overview of the tools in the ACT-System is given.
骄傲
发表于 2025-3-26 07:30:47
Spezifikation, Prototyping und Implementierung von interaktiven Systemen unter Verwendung von attribaktive Systeme praktisch immer über graphische Benutzeroberflächen den Dialog mit dem Menschen abwickeln. Für den Benutzer bedeutet dies zweifellos eine wesentliche Verbesserung der Mensch-Maschine-Schnittstelle. Für den System-Designer und Entwickler bedeutet dies, daß neben der Implementierung der
星星
发表于 2025-3-26 11:54:46
Konzepte einer Software-Architektur-Beschreibungssprachentereinander in Beziehung stehenden Software- Bausteinen, unumgänglich. Wir geben in dieser Arbeit eine Sprache zur textuellen Beschreibung derartiger Software-Architekturen an, die von der (lokalen) Beschreibung der Semantik der Software-Bausteine unabhängig ist. Hierzu präzisieren wir den Begriff
Freeze
发表于 2025-3-26 15:13:55
http://reply.papertrans.cn/88/8712/871119/871119_29.png
tariff
发表于 2025-3-26 19:14:14
http://reply.papertrans.cn/88/8712/871119/871119_30.png