Including non-functional issues in Anna/Ada programs for automatic implementation selection
Visualitza/Obre
Cita com:
hdl:2117/170077
Tipus de documentText en actes de congrés
Data publicació1997
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We present an enrichment of the Anna specification language for Ada aimed at dealing not only with functional specification of packages but also with non-functional information about them. By non-functional information we mean information about efficiency, reliability and, in general, any software attribute measuring somehow the quality of software (perhaps in a subjective manner). We divide this information into three kinds: definition of non-functional properties, statement of non-functional behaviour and statement of non-functional requirements; like Anna annotations, all of this information appears in Ada packages and package bodies and their syntax is close to Ada constructs. Non-functional information may be considered not only as valuable comments, but also as an input for an algorithm capable of selecting the “best” package body for every package definition in a program, the “best” meaning the one that fits the set of non-functional requirements of the package in the program.
CitacióFranch, X. Including non-functional issues in Anna/Ada programs for automatic implementation selection. A: International Conference on Reliable Software Technologies. "Reliable Software Technologies, Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies: London, UK, June 2-6, 1997: proceedings". Berlín: Springer, 1997, p. 88-99.
ISBN978-3-540-63114-9
Versió de l'editorhttps://link.springer.com/chapter/10.1007/3-540-63114-3_9
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Including_Non-f ... ues_in_AnnaAda_Program.pdf | 93,98Kb | Visualitza/Obre |