小丑
发表于 2025-3-27 01:02:16
Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systementerschiedlich gewichten zu können, wurden mehrere Komplexitätsmaße entwickelt, die es ermöglichen, eine Software-Struktur zu “vermessen”..Anhand mehrerer Systeme, die nach den gleichen Konstruktionsprinzipien entworfen wurden, werden mehrere berechnete Komplexitätsmaße angegeben und ihre Aussagekraft diskutiert.
高射炮
发表于 2025-3-27 03:49:38
https://doi.org/10.1007/978-3-662-31525-5nguage by the axioms of an algebraic type without resorting to (the isomorphism class of) a fixed model. This approach is characterized by the following peculiarities (cf. /Wirsing et al. 80/, /Broy, Wirsing 80c/):
CIS
发表于 2025-3-27 09:21:31
https://doi.org/10.1007/978-3-642-99517-0 Angaben für die Bewertung der Qualität wird auf die für unterschiedliche Zwecke und Zeitpunkte relevanten Informationen, die Eingangsgrößen möglicher Qualitätsmaße sind, eingegangen. Zudem werden die Möglichkeiten der Anwendung von Qualitätsmaßen sowie deren Grenzen aufgezeigt.
triptans
发表于 2025-3-27 12:10:37
GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)nguage by the axioms of an algebraic type without resorting to (the isomorphism class of) a fixed model. This approach is characterized by the following peculiarities (cf. /Wirsing et al. 80/, /Broy, Wirsing 80c/):
Mindfulness
发表于 2025-3-27 16:37:25
http://reply.papertrans.cn/39/3801/380087/380087_35.png
异端邪说2
发表于 2025-3-27 18:51:55
Description of Parameterized Compiler Modulestt 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.
Limpid
发表于 2025-3-28 01:41:08
Relating Uniform and Nonuniform Models of Computationhe term definition inside a program, called calculation function, and show that exactly the recursive functions have recursive term definitions which can be realized as calculation functions. We give the examples of matrix multiplication and binary search to prove our concepts appropriate.
Invigorate
发表于 2025-3-28 03:55:50
http://reply.papertrans.cn/39/3801/380087/380087_38.png
针叶
发表于 2025-3-28 08:56:35
Hoare-Style Proof Systems and Formal Computationstems can be considered as efforts to understand the formal computations of the considered programs. Stated in general terms this observation may seem quite obvious, but it is quite another matter to see what “understanding the formal computations” means for particular classes of programs.
哀求
发表于 2025-3-28 12:19:56
https://doi.org/10.1007/978-3-322-95371-1ras. The second class of approaches is concerned with programs as implementations of abstractly specified data types. Programs are viewed as data type specifications that extend the base type by the . (variables, functions, types) it computes , , , , , among other