Reuse of knowledge at an appropriate level of abstraction - Case studies using specware

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1844, Issue , 2000, Pages 58-73

  Williamson, Keith E ^a   Healy, Michael J ^a   Barker, Richard A ^a  

^a BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; REUSABILITY;

CASE-STUDIES; DESIGN PATTERNS; DOMAIN THEORY; LEVEL OF ABSTRACTION; SOFTWARE COMPONENT; SPECWARE; SYSTEM REQUIREMENTS;

COMPUTER SOFTWARE REUSABILITY;

EID: 33749664685     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44995-9_4     Document Type: Conference Paper

References (27)

1. Balzer, R., A 15 Year Perspective on Automatic Programming, in IEEE Transactions on Software Engineering, Vol. SE-11, no. 11, November 1986, pp. 1257-1268.
2. Baxter, I., Design Maintenance System, in Communications of the ACM, vol. 35, no. 4, April 1992, pp. 73-89.
3. Bjorner, Dines and Jones, Cliff, Formal Specification & Software Development, Prentice-Hall International, 1982.
4. Blaine, Lee and Goldberg, Allen, DTRE – A Semi-Automatic Transformation System, in Constructing Programs from Specifications, ed. B. Moller, North Holland, 1991.
5. Burstall, R. M. and Goguen, J. A., The Semantics of Clear, a Specification Language, in Proceedings of the Copenhagen Winter School on Abstract Software Specification, Lecture Notes in Computer Science, 86, Springer-Verlag, 1980.
6. Gannon, John et al., Software Specification - A Comparison of Formal Methods, Ablex Publishing.
7. Gardiner, M. and Christie, B. Applying Cognitive Psychology to User-Interface Design, John Wiley & Sons, 1987
8. Gibbs, W., Taking Computers to Task, Scientific American, July 1997.
9. Goguen, J. A., Mathematical Representation of Hierarchically Organized Systems, in Global Systems Dynamics, ed. E. Attinger and S. Karger, 1970, pp. 112-128.
10. Goguen, J. A. and Burstall, R. M., Institutions: Abstract Model Theory for Specification and Programming, Journal of the Association of Computing Machinery, 1992.
11. Goguen, J. A., An Introduction to Algebraic Semiotics, with Applications to User Interface Design, in Computation for Metaphor, Analogy and Agents, edited by Chrystopher Nehaniv, Springer Lecture Notes in Artificial Intelligence, 1999.
12. Jullig, R. and Y. V. Srinivas, Diagrams for Software Synthesis, Proceedings of the 8th Knowledge-Based Software Engineering Conference, Chicago, IL, 1993.
13. MacLane, Saunders, Categories for the Working Mathematician, Springer- Verlag, 1971.
14. Mayhew, Debra J., The Usability Engineering Lifecycle, Academic Press/Morgan Kauffman, 1999.
15. Meseguer, Jose, General Logics, Logic Colloquium ‘87, Eds. Ebbinghaus et al., Elsevier Science Publishers, 1989.
16. Pierce, Benjamin C., Basic Category Theory for Computer Scientists, MIT Press, 1994.
17. Rogers, Yvonne, et. al, Models in the Mind – Theory, Perspective, and Application, Academic Press, 1992.
18. Smith, Doug, KIDS: A Knowledge Based Software Development System, in Automating Software Design, Eds. M. Lowry and R. McCartney, MIT Press, 1991.
19. Smith, Doug, Mechanizing the Development of Software, in Calculational System Design, Ed. M. Broy NATO ASI series, IOS Press, 1999.
20. Spivey, J. M., The Z Notation: A Reference Manual, Prentice-Hall, New York, 1992.
21. Srinivas, Y. V. and Jullig, Richard, Specware™: Formal Support for Composing Software, in Proceedings of the Conference of Mathematics of Program Construction, Kloster Irsee, Germany, 1995.
22. Waldinger, Richard et al., Specware™ Language Manual 2.0.1, Suresoft, 1996.
23. Wang, T. C. and Goldberg, Allen, A Mechanical Verifier for Supporting the Design of Reliable Reactive Systems, International Symposium on Software Reliability Engineering, Austin, Texas, 1991.
24. Williamson, K. and Healy, M., Formally Specifying Engineering Design Rationale, in Proceedings of the Automated Software Engineering Conference, 1997.
25. Williamson, K. and Healy, M., Deriving Engineering Software from Requirements, Journal of Intelligent Manufacturing, to appear, 1999.
26. Williamson, K. and Healy, M., Industrial Applications of Software Synthesis via Category Theory, in Proceedings of the Automated Software Engineering Conference, 1999.
27. Human Engineering Program Processes and Procedures, US Department of Defense, Handbook MIL-HDBK-46855A, 1996.