날짜: 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 ====================================

5-금-2015-09-11-board.jpg

이 게시물을