Titlebook: Software-Entwicklung; Konzepte, Erfahrunge Wolfram-M. Lippe Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989 Ada.Bildvera

facilitate

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

使绝缘

CAMP

Ü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,

浓缩

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

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.

骄傲

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

星星

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

tariff