Knowledge acquisition and integration on specification change- A method for systematic reuse

Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995

Volumn , Issue , 1995, Pages 364-373

  Matsuura, S ^a,c   Honiden, S ^b  

^a Information technology Promotion Agency Japan   (Japan)

^b TOSHIBA CORPORATION   (Japan)

^c Kanri Kogaku Kenkyusyo Ltd ^*  (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE ACQUISITION; SOFTWARE DESIGN; SPECIFICATIONS;

BASIC UNITS; INTELLECTUAL ACTIVITIES; PROGRAM SYNTHESIS; REQUIREMENT CHANGE; RESEARCH GOALS; REUSABLE KNOWLEDGE; REUSE PROCESS; WIDE SPECTRUM LANGUAGE;

COMPUTER SOFTWARE REUSABILITY;

EID: 35848968552     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1995.496985     Document Type: Conference Paper

References (18)

1. L. Cardelli and P. Wegner: On Understanding Types, Data Abstraction, and Polymorphism, ACM Computing Surveys, Vol.17, No.4(1985), pp.471-522.
2. J.G.Carbonell:Derivational Analogy, A Theory of Reconstructive Problem Solving and Expertise Acquition in:R.S. Michalski et al., eds., Machine Learning II: An Artificial Intelligence Approach, Morgan Kauf-mann, 1986.
3. N. Dershowitz:Program by analogy, in:R.S. Michalski et al., eds., Machine Learning II: An Artificial Intelligence Approach, Morgan Kaufmann, 1986.
4. J.A.Goguen:Principles of Parameterized Programming in:T. J.Biggerstaff et.al., eds., Software Reusability, Volume I, Concepts and Mo dels: Addison Wesley, 1989.
5. M.J. Gordon, A.J. Milner and C.P. Wadworth: Edinburgh LCF, LNCS, Vol.78, Springer-Verlag, 1979
6. A. Goldberg: Reusing Software Developments, Proc. of the Forth ACM SIGSOFT symposium on Software Development Environment, 15(1990), pp.107-119.
7. D. Gries:The Science of programming, Texts and Monographs in Computer Science, Springer-Verlag, 1981.
8. J. Kolodner and C. Riesbeck: Case-Based Reasoning, IJCAI-89 Tutorial-MA2(1989).
9. C.W. Krueger : Software Reuse, ACM Computer Surveys, Vol.24, No.2(1992) pp 131-183.
10. J. Lue and J. Xu:Analogical program derivation based on type theory, Theoretical Computer Science 113(1993), pp 259-272.
11. R. Milner: Proposal for Standard ML, ConferenceRecord of 1984 ACM Symposium on LISP and Functional Programming, ACM (1984), pp.184-197.
12. J. Mostow:Design by Derivational Analogy:Issues in the Automated Replay of Design Plans, Machine Learning, Mit Press(l990), pp.119-184.
13. L.C. Paulson: ML for the Working Programmer, Cambridge University Press, 1991.
14. H. Partsch and R. Steinbruggen: Program Transformation Systems, ACM Computing Survey, Vol.15, No.3 (September 1983), pp.l99-236.
15. Problem Set for the 4th International Workshop on Software Specification and Designs, Proc. of 4th International Workshop on Software Specification and Design, 1987.
16. D.T. Sannella and A. Tarlecki:Toward formal development of ML program: Foundations and methodology, in: J. Diaz and F.Orejas, eds., Proc. TAPSOFT'89, Vol.2, LNCS, Vol.352, Springer-Verlag, 1989, pp.375-389.
17. W. Schafer, R. Prieto-Diaz, and M. Matsumoto, eds.: Software Reusability, Ellis Horwood, 1994.
18. B. Shriver and P. Wegner(eds.):Research Directions in Object-Oriented Programming, The MIT Press, 1987.