날 짜 : 2017-03-06 (월)
주 제 : 주간 업무 계획 공유
참여자 : MK, YB, SH, MR, GH
기록자 : GH
0. Agenda
1) Caption 주간 업무 공유
2) Members 주간 업무 공유
3) MK 주간 일정 공유
* 금주 변동된 업무 *
- Added
[17-043-PP-05] [MK] MACMESE 논문
[17-045-ET-07] Homepage Reconstruction
- Completed
[17-038-RC-13] [YB] ADOxx training
1. 주간 업무 계획
- 2월 말로 예정되었던 계획은 3월 초로 연기되어진 상황, YB이 마무리 예정
- A, B단계 컴파일을 마쳤으며 수정하여 정리 중, 테스트는 까지 진행
- 이번주에 개발여부를 논의하여 결정토록 한다
- 금주 목요일에 MR이 연구실 세미나 발표 예정(Topic is Temporal Logic)
- 3월 20일(YB-dT),23일(JS-CCS),30일(SH-ACSR)에 대하여 세미나 계획
- 업무일지 확인해보니 설치 및 교육이 종결되어 목록에서 삭제
- 매주 반복되는 업무이므로 마감처리하고 [17-047-ET-07] Homepage Reconstruction (변경)
[17-045-ET-07] Homepage Reconstruction
- 회의내용은 적절히 반영되어지고 있으며 변화가 눈에 보이지만, 다른 활동은 마땅치 않다
- 방문자들로 하여금 재방문을 유도할 수 있도록 흥미롭게 구성해볼 필요성 있다
- 회의록과 업무일지가 링크를 통하여 연결되어지도록 구성
[Included 1] 1-월-2017-03-06-board1.jpg
2. Members 주간 업무 공유
[YB]
- 회의 결과 정리
- 논문 수정
- 예제에 분기를 추가
- 각 경로별 소요시간 분석
3) [17-005-RD-01] SAVE2.0/ADOxx
- M2D 개발 마무리
4) [17-043-PP-05] [MK] MACMESE2017, Berlin
- 독일 학회 출장 관련 준비
- 학회 등록
- 항공권 예약
[SH]
- 요구사항 받을 때까지 대기
2) [17-005-RD-01] SAVE2.0/ADOxx
- Expr tree 생성 코딩
- 버그수정
- 법인세처리
- 범용공인인증서
- 인터넷
- 사업자등록증명의변경
[JS]
1) [17-006-RD-02] SRE0.1/ADOxx
- B 단계 테스트 ( BLOCK, SPEC, BODY )
- A~B 단계 수정
[MR]
- Preparing a presentation (Temporal Logic)
2) [17-007-RD-03] HDL0.1/ADOxx
- Defining a formula
- considering challenge with the formula
3. MK 주간 일정 공유
1) ADONIS
a) License
b) Do-do’s: BZEN [PPed to the beginning of March]
i) GTC: Translation and Verification
ii) Advertisement material: Translation and Review
iii) Manual: Translation and Testing
vi) ADONIS Training: Preparation
c) BOC Discussion Groups:
i) [G-I] ADONIS/Licensing/Consulting: DKOh/THKim/TKHeo
ii) [G-II] ADONIS/Certification/Consulting:CSJun
iii) [G-III] ADONIS/Certification/PilotProjectI/KTC:JYChoi/DSSeo/Dr.Jee
vi) [G-VI] ADONIS/Certification/Pilot Project II/ADB: JYChoi/DSSeo/Prof.Chae
v) [G-V] ADONIS/Marketing/Sales: DJJin
d) Pilot Project
i) KTL
- Prof. DSSeo/ Dr. JDGee
- Kickoff Meeting
= Seoul Center; 28thFeb(Tue)
= 2 HRS: Presentation and discussion
= Presentation: MK, YH, YB
ii) ADB/CRA
Prof. Chae / Prof. Seo
10thMarch,Seoul
3) OMiLAB Korea
Visit to Taiwan
Conference: MACMESE2017, Berlin
Registration
Revision
Publication
Official letter
4) Conference Paper
a) dT-Calculus
i) ICServ2017, Vienna
ii) MACMESE2017, Berlin
b) BO
i) On theorization (Phase 1 – Closed; Phase 2 – Start)
c) ICATSE Conference
i) ADONIS/ADOxx Tutorial: Proposal submitted
5) Seminar: Start from March for Spring
a) Logic: Maryam
b) Process algebra: (as planned) [Must finish in March]
i) Check Schedule
6) Tool Check
a) SAVE 2.0
b) SRE 0.1
- GNAT Parser
c) HDL 0.1
d) PRISM/BO 0.1
4. ETC.
- 각 구성원마다 18일까지 Techical report를 작성하여 공유해보자
(학기별로 한 개씩만 작성해도 논문이나 저널, 보고서를 작성하는데 매우 유용하다)
- MR의 발표는 차일(7일 오전 10시)로 PPed
[Included 2] 1-월-2017-03-06-board2.jpg
- 업무일지 작성시 세부적인 아이템화를 통하여 자세하게 기록하면 시간이 지난 뒤 확인용이
- JS의 업무일지가 주차별로 업무의 계획,결과,검토가 잘 반영되어 기록되어져있으니 기준으로 하자
MK : __________________
YB : __________________
SH : __________________
JS : __________________
MR : __________________
GH : __________________
================================================
[MK] Included: (8)
1) Board Snapshot (2)
2) [MIC] Weekly Meeting: Minute (3)
3) [YB] Weekly Plan (2)
4) [SH] Weekly Plan (2)
5) [JS] Weekly Plan (2)
6) [MR] Weekly Plan (2)
7) [GH] Weekly Plan (2)
8) [MK] Agenda & Plan (4)
1) Board Snapshot (2)