Showing results 1 to 2 of 2
(An) empirical study on the frequency and classification of object protocols in java = 자바에서의 오브젝트 프로토콜 유형 및 사용 빈도에 관한 실증적 연구link Kim, Du-Ri; 김두리; Ko, In-Young; et al, 한국과학기술원, 2010 |
Translating typestates protocol specification into hoare-style specification for object-oriented program verification = 객체 지향 프로그램 검증을 위한 Typestates 프로토콜 명세의 Hoare 스타일 명세로의 번역link Kim, Taek-Goo; 김택구; Kang, Sung-Won; 강성원; et al, 한국과학기술원, 2009 |
Discover