The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Verification of Non-Functional Requirements by Abstract Interpretation
Abstract
This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and 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.
Related Content
|
Muhammad Faisal Sultan, Muhammad Nawaz Tunio, Imamuddin.
© 2026.
10 pages.
|
|
Muhammad Faisal Sultan, Aamir Firoz Shamsi, Kashif Mehmood.
© 2026.
10 pages.
|
|
R. Arunachalam, R. Amudha.
© 2026.
28 pages.
|
|
Muhammad Faisal Sultan, Abdul Kabeer Kazi, Muhammad Asim Rafique.
© 2026.
12 pages.
|
|
Bushra Qamar.
© 2026.
22 pages.
|
|
Rija Anwar.
© 2026.
20 pages.
|
|
Choi-Meng Leong.
© 2026.
20 pages.
|
|
|