Titlebook: GI — 11. Jahrestagung; In Verbindung mit Th Wilfried Brauer Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Algorithmen.

混合

GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)proved to be a powerful and flexible tool for the formal definition of data structures. Algebraic concepts have also been employed for the specification of programming language semantics, e.g. first-order identities (/Wand 77/) or continuous algebras (/Courcelle, Nivat 78/, /Goguen et al. 77/). In c

无可非议

拥挤前

果仁

Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produktenise im Entwicklungs- und Wartungsprozess. Insofern ist die Bewertung der Qualität von Software-Produkten einerseits eine Aufgabe, die in den Software-Entwicklungsprozeß integriert ist und sowohl die einzelnen Zwischen/Endprodukte als auch den Erstellungsprozeß betrifft. Darüber hinaus ist die Bewert

acrobat

Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Progrgramme, die beispielsweise viele GOTO-Anweisungen aufweisen und nicht modularisiert wurden, in der Programmausführung schneller sind als Programme, die den Regeln der strukturierten Programmierung gehorchen. Dies soll auch der Grund dafür sein, daß sich strukturierte Entwurfsmethoden bisher in der A

食草

Analogy

Eine Metrik zur Bewertung der Modularisierungermodularen Strukturen werden aufgrund von Kenngrößen eines Schichtenmodells und ihres Export-/Importverhaltens bewertet. Die intramodulare Architektur wird mit einer Baumstruktur verglichen. Abschließend werden beide Teile an einem Beispiel verdeutlicht.

Bucket

https://doi.org/10.1007/978-3-642-47618-1tt and Strachey, monolithic and do not encourage modularization. Compiler descriptions, like any other specification of complex program systems, are nontrivial to write and reliability and modifiability can be achieved only through adequate structuring mechanisms.

Hyperlipidemia

词汇表

Carl-Otto Ples Leusden,Hans-Bernd Weberihr erzeugten Programmierumgebung dar. Die Semantikbeschreibung ist denotational unter Berücksichtigung von Strukturierungshilfsmitteln. Fragmente werden durch einen Lambda-Interpretierer ausgeführt, der zur Interpretation unvollständiger Terme erweitert wurde.