The paper investigates a formal approach to the verification of non functional software requirements, e.g. portability, time and space efficiency, dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpretation-based static analysis of the source program, and by a suitable choice of abstract domains, it is possible to design formal and effective tools for non-functional requirements validation. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Cortesi, A., & Logozzo, F. (2005). Abstract interpretation-based verification of non-functional requirements. In Lecture Notes in Computer Science (Vol. 3454, pp. 49–62). Springer Verlag. https://doi.org/10.1007/11417019_4
Mendeley helps you to discover research relevant for your work.