항목
-
소프트웨어 검증기술 software validation대해서는 제어 플로 해석과 데이터 플로 해석을 쓴 여러 가지 부정합 검출 기법이 있다. 동적 검증기술(dynamic validation)은, 대상을 컴퓨터 위에서 실행하여...있다. 프로그램에 대해서는 문장과 모듈 단위에 실행횟수·실행시간을 계측하는 프로필 분석(profile analysis), 프로그램의 적당한 장소에 표명을 삽입...
- 분야 :
- 소프트웨어 설계법
-
K. N. Toosi 기술 대학교 K. N. Toosi 기술 대학교, K. N. Toos..공학부) 계측 및 제어 연구실 (기계 공학부) 연소 연구실 (기계 공학부) 터보 기계 연구실 (기계 공학부) 나노 재료 연구실 (기계 공학부) 로보틱스 연구실 (기계 공학부) 확산 스펙트럼 및 무선 통신 연구실 (전기 공학부) 디지털 제어 시스템 연구실 (전기 공학부) 산업 제어 연구실 (전기 공학부) 계장 연구실 (전기...도서 위키백과
-
최병욱 (로봇공학자)제어계측공학과 교수 2001.1~2003.5 임베디드웹 대표이사 2007.8~2008.7 Nanyang Technological Iniversity, Senior Fellow 2005.3~현재 서울과학기술대학교 전기정보공학과 교수 2019.11~2021.2 서울과학기술대학교 대학혁신원 원장 2021.3 ~ 2022.7 서울과학기술대학교 창의융합대학교 학장 2022.8 ~ 현재 서울...도서 위키백과