Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balzer, R.: A 15 Year Perspective on Automatic Programming. IEEE Transactions on Software Engineering SE-11(11), 1257–1268 (1986)
Baxter, I.: Design Maintenance System. Communications of the ACM 35(4), 73–89 (1992)
Bjorner, D., Jones, C.: Formal Specification & Software Development. Prentice-Hall International, Englewood Cliffs (1982)
Blaine, L., Goldberg, A.: DTRE - A Semi-Automatic Transformation System. In: Moller, B. (ed.) Constructing Programs from Specifications, North Holland, Amsterdam (1991)
Burstall, R.M., Goguen, J.A.: The Semantics of Clear, a Specification Language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86. Springer, Heidelberg (1980)
Gannon, J., et al.: Software Specification - A Comparison of Formal Methods. Ablex Publishing, Greenwich
Gardiner, M., Christie, B.: Applying Cognitive Psychology to User-Interface Design. John Wiley & Sons, Chichester (1987)
Gibbs, W.: Taking Computers to Task. Scientific American (July 1997)
Goguen, J.A.: Mathematical Representation of Hierarchically Organized Systems. In: Attinger, E., Karger, S. (eds.) Global Systems Dynamics, pp. 112–128 (1970)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association of Computing Machinery (1992)
Goguen, J.A.: An Introduction to Algebraic Semiotics, with Applications to User Interface Design. In: Nehaniv, C. (ed.) Computation for Metaphor, Analogy and Agents. LNCS (LNAI). Springer, Heidelberg (1999)
Jullig, R., Srinivas, Y.V.: Diagrams for Software Synthesis. In: Proceedings of the 8th Knowledge-Based Software Engineering Conference, Chicago, IL (1993)
MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)
Mayhew, D.J.: The Usability Engineering Lifecycle. Academic Press/Morgan Kauffman (1999)
Meseguer, J.: General Logics. In: Ebbinghaus, et al. (eds.) Logic Colloquium 1987. Elsevier Science Publishers, Amsterdam (1989)
Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1994)
Rogers, Y., et al.: Models in the Mind - Theory, Perspective, and Application. Academic Press, London (1992)
Smith, D.: KIDS: A Knowledge Based Software Development System. In: Lowry, M., McCartney, R. (eds.) Automating Software Design. MIT Press, Cambridge (1991)
Smith, D.: Mechanizing the Development of Software. In: Broy, M. (ed.) Calculational System Design. NATO ASI series. IOS Press, Amsterdam (1999)
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, New York (1992)
Srinivas, Y.V., Jullig, R.: SpecwareTM: Formal Support for Composing Software. In: Proceedings of the Conference of Mathematics of Program Construction, Kloster Irsee, Germany (1995)
Waldinger, R., et al.: SpecwareTM Language Manual 2.0.1, Suresoft (1996)
Wang, T.C., Goldberg, A.: A Mechanical Verifier for Supporting the Design of Reliable Reactive Systems. In: International Symposium on Software Reliability Engineering, Austin, Texas (1991)
Williamson, K., Healy, M.: Formally Specifying Engineering Design Rationale. In: Proceedings of the Automated Software Engineering Conference (1997)
Williamson, K., Healy, M.: Deriving Engineering Software from Requirements. Journal of Intelligent Manufacturing (1999) (to appear)
Williamson, K., Healy, M.: Industrial Applications of Software Synthesis via Category Theory. In: Proceedings of the Automated Software Engineering Conference (1999)
Human Engineering Program - Processes and Procedures, US Department of Defense, Handbook MIL-HDBK-46855A (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Williamson, K.E., Healy, M.J., Barker, R.A. (2000). Reuse of Knowledge at an Appropriate Level of Abstraction – Case Studies Using Specware. In: Frakes, W.B. (eds) Software Reuse: Advances in Software Reusability. ICSR 2000. Lecture Notes in Computer Science, vol 1844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44995-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-44995-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67696-6
Online ISBN: 978-3-540-44995-9
eBook Packages: Springer Book Archive