상세 보기
Scott Uk-Jin Lee
Lee, Scott Uk Jin
ERICA 소프트웨어융합대학
ERICA 컴퓨터학부
연구분야
- Software Engineering,
- 소프트웨어 공학
자료 필터
자료유형
발행연도
2006 ~ 2026
2006 2026
키워드
언어
전체 180건 중 171번부터 180번까지의 결과를 표시합니다.
2011
Article
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
- Doux, Guillaume ;
- Albert, Patrick ;
- Barbier, Gabriel ;
- Cabot, Jordi ;
- Del Fabro, Marcos Didonet ;
- ... Lee, Scott Uk-Jin
- 2011-06
- Lecture Notes in Computer Science
- SPRINGER-VERLAG BERLIN
Article
MELO 2011-1st Workshop on Model-Driven Engineering, Logic and Optimization
- Cabot, Jordi ;
- Albert, Patrick ;
- Dupe, Gregoire ;
- del Fabro, Marcos Didonet ;
- Lee, Scott Uk Jin
- 2011-06
- Lecture Notes in Computer Science
- SPRINGER-VERLAG BERLIN
2010
Article
Theorem prover approach to semistructured data design
- Lee, Scott Uk-Jin ;
- Dobbie, Gillian ;
- Sun, Jing ;
- Groves, Lindsay
- 2010-11
- Formal Methods in System Design
- SPRINGER
2009
Article
Verifying Semistructured Data Normalization using SWRL
- Li, Yuan Fang ;
- Sun, Jing ;
- Dobbie, Gillian ;
- Lee, Scott Uk Jin ;
- Wang, Hai H.
- 2009-07
- THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
- IEEE COMPUTER SOC
Article
Formal Verification of Semistructured Data Models in PVS
- Lee, Scott Uk-Jin ;
- Dobbie, Gillian ;
- Sun, Jing ;
- Groves, Lindsay
- 2009-01
- Journal of Universal Computer Science
- GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM
2008
Article
Correctness criteria for normalization of semistructured data
- Lee, Scott Uk-Jin ;
- Sun, Jing ;
- Dobbie, Gillian ;
- Groves, Lindsay ;
- Li, Yuan Fang
- 2008-03
- ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
- IEEE COMPUTER SOC
Article
Verifying semistructured data normalization using PVS
- Lee, Scott Uk-Jin ;
- Sun, Jing ;
- Dobbie, Gillian ;
- Groves, Lindsay
- 2008-03
- ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS
- IEEE COMPUTER SOC
2007
Article
Towards Verifying Semistructured Data
- Dobbie, Gillian ;
- Sun, Jing ;
- Li, Yuan Fang ;
- Lee, Scott Uk-Jin
- 2007-01
- Proceedings of the 4th Asia-Pacific conference on Comceptual modelling
- Australian Computer Society, Inc.
2006
Article
Research into verifying semistructured data
- Dobbie, Gillian ;
- Sun, Jing ;
- Li, Yuan Fang ;
- Lee, Scott UK-Jin
- 2006-12
- Lecture Notes in Computer Science
- SPRINGER-VERLAG BERLIN