Spekl: A Layered System For Specification Authoring, Sharing, And Usage

Keywords

Specification Management; Spekl; Verification Tools

Abstract

Compositional reuse of software libraries is important for productivity. To promote reliability and correctness, the field also needs a way to compose specifications for reuse. However, specifications cannot be adapted by the use of wrappers in the same ways as code can, which leads to specifications being copied and modified. This copying and modification of specifications leads to poor maintainability and technical debt. We propose a system, Spekl, that solves these problems and makes compositional reuse of specifications possible in a way independent of the choice of specification languages and tools.

Publication Date

1-1-2016

Publication Title

Proceedings - 2016 IEEE 17th International Conference on Information Reuse and Integration, IRI 2016

Number of Pages

126-133

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1109/IRI.2016.24

Socpus ID

84991214697 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84991214697

This document is currently not available here.

Share

COinS