리디 접속이 원활하지 않습니다. 강제 새로 고침(Ctrl + F5)이나 브라우저 캐시 삭제를 진행해주세요. 계속해서 문제가 발생한다면 리디 접속 테스트를 통해 원인을 파악하고 대응 방법을 안내드리겠습니다. 테스트 페이지로 이동하기
2023.06.15. 업데이트 작가 프로필 수정 요청
특임교수를 지냈다. 전문 분야는 소프트웨어 공학과 정형 기법이다. 저서로는 《Bメソッドによる形式仕?記述(B 메서드에 의한 정형 기법)》(2007), 《Event-B Refinement》(이상 近代科?社, 2015) 등이 있다. 취미는 추리소설 읽기와 산속 온천 탐방이며, 최근에는 플라이 낚시를 익히고 있다.
참여
사토 나오토, 오가와 히데토 외 2명
황석형 번역
제이펍
개발/프로그래밍
<책소개> 국내 최초의 인공지능 소프트웨어 테스트 기술서 AI를 현장에서 활용하기 전에 품질을 보증하기 위해서는 적절한 테스트 기법이 필수다. 하지만 기존의 소프트웨어 테스트 기법이 AI 소프트웨어 테스트에도 적합할까? 이 책은 국내에 처음으로 소개하는 AI 소프트웨어 테...
소장 18,200원
본문 끝 최상단으로 돌아가기
