Pattern-based refinement schemas for design knowledge transfer

Knowledge-Based Systems

Volumn 13, Issue 6, 2000, Pages 403-415

  Khriss, I ^a   Keller, R K ^c   Hamid, I A ^b  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b Iwate Prefectural University   (Japan)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA STRUCTURES; DECISION MAKING; DECISION SUPPORT SYSTEMS; ITERATIVE METHODS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

UNIFIED MODELING LANGUAGES (UML);

KNOWLEDGE BASED SYSTEMS;

EID: 0034316973     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-7051(00)00081-2     Document Type: Article

References (36)

1. Balzer R., Cheatham T. Jr. Software technology in the 1990s: using a new paradigm. IEEE Computer. 16:(11):1983;39-45.
2. R. Balzer, N. Goldman, D. Wile, On the transformational implementation approach to programming, Proceedings of Second International Conference on Software Engineering, CA San Francisco, IEEE, New York, 1976, pp. 337-344.
3. Budinsky F.J.M., Finnie M.A., Vlissides J.M., Yu P.S. Automatic code generation from design patterns. Object Technology. 35:(2):1996;172-191.
4. Buschmann F., Meunier R., Rohnert H., Sommerlad P., Stal M. Pattern-Oriented Software Architecture - A System of Patterns. 1996;Wiley, New York.
5. Dawes J. The VDM-SL Reference Guide. 1991;Pitman, Longman.
6. A.H. Eden, J. Jil, A. Yehuday, Precise specification and automatic application of design patterns, Proceedings of the IEEE International Automated Software Engineering Conference, 1997, pp. 143-152.
7. A.H. Eden, A. Yehuday, Tricks generate patterns, Technical report 324/97, The Department of Computer Science, Schriber School of Mathematics, Tel Aviv University, 1997.
8. M. Elkoutbi, I. Khriss, R.K. Keller, Generating user interfaces from scenarios, Proceedings of the Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, 1999, pp. 150-158.
9. M.S. Feather, ZAP program transformation system: primer and user manual, Res. Rep. 54, Department of Artificial Intelligence, University of Edinburgh, Scotland, 1978.
10. Fiadeiro J., Maibaum T. Sometimes Tomorrow is sometime, Temporal Logic. Lecture Notes in Artificial Intelligence. vol. 827:1991;Springer, Berlin. (pp. 48-66).
11. Florijn G., Meijers M., van Winsen P. Tool support in design patterns, European Conference On Object-Oriented Programming (ECOOP'97). Lecture Notes in Computer Science. vol. 1241:1997;Springer, Berlin. (pp. 472-495).
12. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns. Elements of Reusable Object-Oriented Software. 1995;Addison-Wesley, Reading, MA.
13. S.L. Gerhart, Knowledge about programs, Proceedings of the International Conference on Software Reliability, CA Los Angeles, 1975, pp. 88-95.
14. C. Green, The design of the PSI program synthesis, Proceedings of Second International Conference on Software Engineering, CA San Francisco, IEEE, New York, 1976, pp. 4-18.
15. IFAD, User Manual for the IFAD VDM++ Toolbox, IFAD-VDM-50, IFAD the VDM Tool Group, 1998.
16. Jahanian F., Mok A.K. Safety analysis of timing properties in real-time systems. IEEE Transactions of Software Engineering. 12:1986;890-904.
17. R.K. Keller, R. Schauer, S. Robitaille, P. Page, Pattern-based Reverse Engineering of Design Components, Proceedings of the 21st International Conference on Software Engineering, Los Angeles, 1999, pp. 226-235.
18. I. Khriss, I. Elkoutbi, R.K. Keller, Automatic synthesis of behavioural specifications from scenarios, Technical Report GELO-96, Université de Montréal, Montréal, Québec, Canada, 1999.
19. I. Khriss, R.K. Keller, Transformations for pattern-based forward-engineering, Proceedings of the International Workshop on Software Transformation Systems (STS'99), collocated with ICSE'99, Los Angeles, 1999, pp. 50-58.
20. I. Khriss, R.K. Keller, Integration between high-level and low level design with refinement schemas based on design patterns, Technical Report GELO-91, Université de Montréal, Montréal, Québec, Canada, 1999.
21. I. Khriss, M. Elkoutbi, R.K. Keller, Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams, Proceeding of the Workshop on Unified Modelling Language (UML'98): Beyond the notation, Mulhouse, France, 1998, pp. 115-126.
22. Kim J.J., Benner K.M. Implementation of patterns for the observer pattern. Vlissides J.M., Coplien J.O., Norman L., Kerth N.L. Pattern Languages in Program Design 2. 1996;Addison-Wesley, Reading, MA.
23. K. Lano, J. Bicarregui, Semantics and Transformations for UML models, Proceedings of the International Workshop on Unified Modelling Language (UML'98): Beyond the notation, Mulhouse, France, 1999, pp. 97-106.
24. K. Lano, J. Bicarregui, S. Goldsack, Formalising Design Patterns, RBCS-FACS Northern Formal Methods Workshop, 1996.
25. Mili H., Mili F., Mili A. Reusing software: issues and research directions. IEEE Transactions on Software Engineering. 21:(6):1995;528-562.
26. Moriconi M., Qian X., Riemenschneider R.A. Correct architecture refinement. IEEE Transactions on Software Engineering. 21:(4):1995;356-372.
27. M. O'Cinnéide, P.A. Nixon, Methodology for the automated introduction of design patterns, Proceedings of the IEEE International Conference of Software Maintenance (ICSM'99), 1999, pp. 463-472.
28. W.F. Opdyke, Refactoring Object-Oriented Frameworks, PhD Thesis, University of Illinois, 1992.
29. Ostroff J.S. Temporal Logic for Real-Time Systems. 1989;Wiley, New York.
30. Partsch H., Steinbrüggen R. Program Transformation Systems. Agresti W.W. New Paradigm for Software Development. 1986;189-226 IEEE Press, New York.
31. Rumbaugh J., Jacobson I., Booch G. The Unified Modelling Language Reference Manual. 1999;Addison-Wesley, Reading, MA.
32. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. Object-oriented Modelling and Design. 1991;Prentice-Hall, Englewood Cliffs, NJ.
33. Shlaer S., Mellor S.J. A deeper look at the transition form analysis to design. Journal of Object-Oriented Programming. 5:(9):1993;16-21.
34. Spivey M. The Z Notation: A Reference Manual. 1992;Prentice Hall, Englewood Cliffs, NJ.
35. UML, Unified Modelling Language Specification, Object Management Group, MA Framingham, 1998. Internet: www.omg.org.
36. D. Wile, R. Balzer, N. et Goldman, Automated derivation of program control structure from natural language program descriptions, Proceedings of Symposium on Artificial Intelligence and Programming Languages, Rochester, New York, 1976, pp. 77-84.