글 수 684
2015.09.15 11:42:19 (*.70.193.131)
30681
날짜: 2015-09-11 (금)
주제: SAVE 회의
참여자: MK, YB, SH, WR
기록자: SH
1. architecture 회의
- 2개의 텍스트 편집기 : delta, GTS
- ITL과 ITS Unloader : 생각해보기
- Simulator : ...
- 정적분석기 : ...
- 동적분석기 : Verifier와 구분하기
- ITL,ITS,GTS texteditor : Latex 고려하기
- 더 토론해서 내일(09.12) 회의
- 정리
-> 에디터고려
-> 정적 및 동적 분석기
-> GTS Generator 와 GTS-S Generator를 분리하기
-> GTS 통합, Simulatation 통합하여 모듈로 구분
2. 기타
없음.
YB: _________________
WR: __________________
SH: __________________
Olivier: __________________
============================ W-Board ====================================