Observation-Enhanced QoS Analysis of Component-Based Systems

Paterson, Colin orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2020) Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering. pp. 526-548. ISSN 0098-5589

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © IEEE, 2018. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Keywords: Analytical models,Component architectures,Markov models,Markov processes,Probabilistic logic,Quality of service,Unified modeling language,component-based systems,probabilistic model checking,Software
Dates:
  • Published: 1 May 2020
  • Published (online): 7 August 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 08 Aug 2018 08:10
Last Modified: 05 Sep 2021 10:42
Published Version: https://doi.org/10.1109/TSE.2018.2864159
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1109/TSE.2018.2864159
Related URLs:

Download

Filename: TSE_OMNI_final.pdf

Description: TSE-OMNI-final

Share / Export

Statistics