References
- G. Grahn, Transition from Conventional to Component-based Development, Int'l Workshop on Component-Based Software Engineering, pp.78-82, 1999
- C. Szyperski, Component Software : Beyond Object Oriented Programming, Addison-Wesley, 1997
- 홍기형, 서동수, '차세대 웹에서의 컴포넌트 소프트웨어, 정보처리학회지', Vol.6, No.3, pp.45-51, 1999
- Butler Group, Component-Based Development : Application Delivery and Integration Using Componentised Software, Butler Group White Paper, 1998
- T. Mowbray, R. Malveau, CORBA Deign Pattern, John Wiley & Sons, 1997
- Gamma, E. et al, Design Patterns : Elements of Reusable Object-Oriented Software, Addison- Wesley, 1995
- J. Coplien, D. Schmidt, Pattern Languages of Programming Design, Addison-Wesley 1995
- J. Woodcock, J. Davis, Using Z Specification, Refinement, and Proof, Prentice Hall, 1996
- C. B. Jones, Systematic Software Development using VDM, 2nd ed. Prentice Hall 1990
- R. Milner, Communication and Concurrency, Prentice Hall, 1991
- C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985
- H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification I : Equations and Initial Semantics, Springer-Verlag, 1985
- K. Lano, H. Haughton, Reasoning and Refinement in Object-Oriented Specification Languages, ECOOP '92 Conference Proceedings, Springer-Verlag, 1992 https://doi.org/10.1007/BFb0053031
- A. Alencar, J. Goguen, OOZE : An Object-Oriented Z Environment, ECOOP '91 Proceedings, LNCS 512, pp.180-199, Springer-Verlag, 1991
- E. Durr, VDM++Language Reference Manual, Afrodite Report AFRO/CG/ED/LRM/V11, 1995
- K. Lano, et al, Formalising Design Patterns, BCS-FACS Northern Formal Methods Workshop, Iikley, UK. Springer-Verlag 1996
- J. Fiadeiro, T. Maibaurn, Describing, Structuring and Implementing Objects, in Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991
- C. Larman, Applying UML and Patterns, Prentice Hall PTR, 1998