An incremental verification framework for component-based software systems

Johnson, Kenneth Harold Anthony, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Kikuchi, Shinji (2013) An incremental verification framework for component-based software systems. In: CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. 16th International ACM Sigsoft symposium on Component-based software engineering, 17-21 Jun 2013 ACM, CAN, pp. 33-42.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2013 ACM. This is an author produced version of a paper published in Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 2013
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/H042644/1
Depositing User: Pure (York)
Date Deposited: 09 Apr 2014 17:00
Last Modified: 17 Sep 2025 04:28
Published Version: https://doi.org/10.1145/2465449.2465456
Status: Published
Publisher: ACM
Identification Number: 10.1145/2465449.2465456
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: cbse21_inc.pdf

Description: Camera-ready paper

CLICK TO DOWNLOAD [thumbnail of Camera-ready paper]

Export

Statistics


CORE (COnnecting REpositories)