We describe an alternative paradigm for software reuse that attempts to reuse software derivation knowledge at an appropriate level of abstraction. Sometimes that level is a domain theory that is involved in stating system requirements. Sometimes it is a design pattern. Sometimes it is a software component. Often it is a combination of the these. We describe our experiences using Specware for deriving software and reusing software derivations.
CITATION STYLE
Williamson, K. E., Healy, M. J., & Barker, R. A. (2000). Reuse of knowledge at an appropriate level of abstraction - Case studies using specware. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1844, pp. 58–73). Springer Verlag. https://doi.org/10.1007/978-3-540-44995-9_4
Mendeley helps you to discover research relevant for your work.