Performance is an important extra-functional factor that directly impacts on the quality of a software system as perceived by its users. It indicates how well the software behaves, thus complementing functional properties that concern what the software does. Its ever-increasing relevance cannot be underestimated.
Towards software performance by construction / Tribastone, M.. - 11244:(2018), pp. 466-470. ( 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 cyp 2018) [10.1007/978-3-030-03418-4_27].
Towards software performance by construction
Tribastone M.
2018
Abstract
Performance is an important extra-functional factor that directly impacts on the quality of a software system as perceived by its users. It indicates how well the software behaves, thus complementing functional properties that concern what the software does. Its ever-increasing relevance cannot be underestimated.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
