Showing results 1 to 3 of 3
(An) approach to defining value-based software development process = 가치기반 소프트웨어 개발 프로세스의 정의 방법link Murtazaev, Atabek; Murtazaev, A.; et al, 한국과학기술원, 2010 |
E-government system architecture design guided by an e-government development process and an enterprise architecture framework = 전자정부 제작 프로세스와 엔터프라이즈 아키텍처 프레임워크를 이용한 전자정부 시스템 아키텍처 디자인link Odongo, Agnes Owuato; Kang, Sung-Won; 강성원; Ko, In-Young; 고인영; Rho, Jae-Jeung; et al, 한국과학기술원, 2009 |
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