References
- K. E. Cheng and L. N. Jackson. MELBA+: AN SDL SOFTWARE ENGINEERING ENVIRONMENT, The fourth SDL Forum, SDL 89: The Language at Work, pp.95-103, 1989
- D. G. Lee, J. K. Lee, W. Choi, B. S. Lee, and C. M. Han, A New Integrated Software Development Environment Based on SDL, MSC, and CHILL for Large-scale Switching Systems, ETRI journal, Vol.18, No.4, 1997
- R. R. Singh, and J. Serviss, Code generation Using GEODE: A CASE Study, The ninth SDL Forum, SDL97: TIME FOR TESTING-SDL, MSC and Trends, pp.539-550, 1997
- SINTEF Telecom and Informatics, TIMe 4.0 - The Integrated Method, 1999
- Telelogic, Telelogic Tau 3.5 Manual, 1998
- A. Valenzano, R. Sisto, and L. Ciminiera, Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS, The tenth International Phoenix Conference on Computers and Communications, Phoenix, pp.346-352, 1991 https://doi.org/10.1109/PCCC.1991.113832
- S. Budkowski and P. Dembinski, An Introduction to Estelle: A Specification Language for Distributed System, Computer Network and ISDN System, Vol.14, No.1, pp.2-23, 1987 https://doi.org/10.1016/0169-7552(87)90084-5
- ITU-T, Specification and Description Language(SDL), ITU Recommendation Z.100, 1992
- R. E. Miller and Y. Xue, Bridging Gap Between Formal Specification and Analysis of Communication System, IEEE Fifteenth Annual International Phoenix Conference on Computers and Communications, pp.225-231, 1996 https://doi.org/10.1109/PCCC.1996.493638
- G. Luo, A. Das, G. V. Bochmann, Software Testing Based on SDL Specifications with Save, IEEE Transaction on Software Engineering, Vol.20, No.1, pp.72-87, 1994 https://doi.org/10.1109/32.263756
- A. Olsen, O. Faergemond, B. Moller-Pedersen, R. Reed and J. R. W. Smith, Systems Engineering Using SDL-92, ELSEVIER SCIENCE B.V., 1995
- N. Durate, H. Galhardas, R. Carapuca, and M. M. Marques, Towards an Integrated SDL/CHILL Environment. The fifth SDL Forum, SDL 91:Evolving Methods, pp.379-392, 1991
- J. Fisher, E. Holz, M. v. Lowis, and D. Witaszek, A Run Time Library for the Simulation of SDL92-Specification, The sixth SDL Forum, SDL 93: Using Objects, pp.105-118, 1993
- G. Gries, SDL++ - A Toolset for the Object-Oriented Development of C++ Software, The sixth SDL Forum, SDL 93: Using Objects, pp.119-128, 1993
- E. Inocencio and M. M. Fonseca, SDL to C++ Translator for ISDN Basic Rate Terminal Signaling, The sixth SDL Forum, SDL 93: Using Objects, pp.349-360, 1993
- N. Mansurov, A. Kalinov, A. Ragozin, and A. Chernov, Design Issues of RASTA SDL-92 Translator, The seventh SDL Forum, SDL 95: with MSC in CASE, pp.165-174, 1995
- G. Booch, J. Rumbaugh, and I. Jacobsen, Unified Modeling Language User guide, Addison Wesley Longman, 1998
- ITU-T, CCITT HIGH LEVEL LANGU-AGE(CHILL), ITU Recommendation Z.200, 1996
- L. Guerby, hypertext Ada95 Rationale, http://lglwww.epfl.ch/Ada/rat95, 1996
- T. Ramalingon, K. Thulasiraman, and A. Das, Context Independent Unique Sequences Generation for Protocol Testing, INFOCOM 96, Vol.3, pp.1141-1148, 1996 https://doi.org/10.1109/INFCOM.1996.493058
- D. Y. Lee and J. Y. Lee, A Well-described Estelle Specification for the Automatic Test Generation, IEEE Transaction on Computer, Vol.40, No.4, pp.526-542, 1991 https://doi.org/10.1109/12.88471
- A. Scortesse, OO_CHILL : INTEGRATING THE OBJECT PARADIGM INTO CHILL, Proceedings of the 5th CHILL conference, Rio de Janeiro, Brazil, pp.111-117, March, 1990
- G. Booch, Object-Oriented Analysis and Design with Applications, 2nd Ed., The Benjamin/Cummings Publishing Company, Inc., 1994
- J. F. H. Winkler and G. DieBl, Object CHILL An Object Oriented Language for Telecom Applications, International Switching Symposium 92, Vol. 2, pp.204-208, 1992
- 이시영, 김성재, 이동길, 이준경, 김승호, 'SDL-92에서 CHILL-96으로 변환하기 위한 사상 규칙의 설계', 정보과학회 논문지, Vol. 25, No. 8, pp.12931303, 1998
- S. Y. Lee, D. G. Lee, J. K. Lee, and S. H. Kim, Conceptual Transformation from SDL-92 to CHILL-96 using Signal Subordination, The sixth International Conference on Real-Time Computing Systems and Applications(RTCSA'99), accepted, 1999 https://doi.org/10.1109/RTCSA.1999.811302
- L. Cardelli and P. Wegner, On Understanding Types, Data, Abstraction, and Polymorphism, ACM Computing Surveys, Vol. 17, No.4, pp.471-522, 1985