A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning

Information and Software Technology

Volumn 38, Issue 9, 1996, Pages 555-568

  Termsinsuwan, Pairoj ^a   Cheng, Zixue ^b   Shiratori, Norio ^a  

^a TOHOKU UNIVERSITY   (Japan)

^b UNIVERSITY OF AIZU   (Japan)

Author keywords

ADT; Communication software; FDT; LOTOS; Specification of communication protocols

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; DATA STRUCTURES; NETWORK PROTOCOLS; PROBLEM SOLVING;

ABSTRACT DATA TYPE; CASE BASED REASONING; FORMAL DESCRIPTION TECHNIQUES;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0030242965     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01062-9     Document Type: Article

References (15)

1. ISO, Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour, IS 8807, 1989.
2. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification, Part 1, Springer-Verlag, Berlin, 1985.
3. M. Wirsing, Algebraic specification, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1990, pp. 677-780.
4. T. Sakabe, H. Kita and Y. Inagaki, Algebraic specification method of programming languages (in Japanese), Trans. IEICE, J70-D(2) (February 1987), 247-258.
5. P. Termsinuswan, Z. Cheng and N. Shiratori, A support environment for implementation of FDT specifications, Technical Report of IEICEJ, IN92-38, September 1992, pp. 63-68.
6. ISO, Contribution on LOTOS enhancements, ISO/IEC JTC 1/SC 21/WG 1 N 1157, 1992.
7. S. Slade, Case-based reasoning: a research paradigm, AI Magazine (Summer 1991) 42-55.
8. J. Kolodner and W. Mark, Case-based reasoning, IEEE Expert, 7(5) (October 1992) 5-35.
9. J. Kolodner, Proc. DARPA Workshop on Case-Based Reasoning, Morgan-Kaufmann, 1988.
10. J. Bubenko, C. Rolland, P. Loucopoulos and V. De Antonellis, Facilitating 'from fuzzy to formal' requirements modelling, in Proc. ICRE '94, IEEE Int. Conf. on Requirements Engineering, Colorado Springs, April 1994, pp. 154-157.
11. S. Castano and V. De Antonellis, The F3 reuse environment for requirements engineering, ACM SIGSOFT Software Engineering Notes, 19(3) (July 1994).
12. G. Spanoudakis and P. Constantopoulos, Estimating similarity between software artifacts, in 6th Int. Conf. of Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 1994.
13. H. Garavel, Compilation of LOTOS abstract data types, in Son T. Vuong (ed.), Proc. 2nd Int. Conf. on Formal Description Techniques, Vancouver, Canada, December 1989, pp. 195-214.
14. ISO/IEC guidelines for the application of Estelle, LOTOS and SDL, TR 10167, 1991.
15. K.J. Turner, Using Formal Description Techniques, John Wiley, New York, 1993.