날 짜 : 2017-06-08 (목)
주 제 : 개발 회의
참여자 : MK, YB, SH, JS, MR
기록자 : JS
0. 회의 안건
1) [17-007-RD-03] [MR] PRISM0.1/ADOxx
2) [17-006-RD-02] [JS] SRE0.1/ADOxx
3) [17-065-RC-28] [MK] FM Book
4) [17-066-RC-29] [MK, YB] 우주기초 단계평가
5) [17-022-BZ-03] [MK, YB, SH] PP-I-KTC/CCR/TMS
6) ETC
1. [17-007-RD-03] [MR] PRISM0.1/ADOxx
- 현재 개발 상황 공유
- MR :
예제를 통해 Regular Beh -> Abstract Beh ADOxx 상에서 예제를 통해 보여줌
Inclusion Relationship은 아직 완료 되지 않았지만 일부 완료된 상태를 보여줌
- MK :
완료되지 못한 부분 보강하고 다음 주 Do 회의 때 공유
데드라인 확인하고 개발에 임해야함.
2. [17-006-RD-02] [JS] SRE0.1/ADOxx
- 현재 개발 상황 공유
- JS : 이번 주 계획한 일정대로 개발 진행 중, 하지만 개발 진행이 더딤
- MK :
계획의 차질이 조금 있어, SH의 파싱 기술이 SRE 파싱 기술의 일부임으로 SH가 완료 하고 진행해도 될 것으로 판단.
PRISM 개발을 함께 진행하면서 완성도를 높이는 것이 더 좋다고 생각되어짐.
- SRE 개발은 일시적으로 중단. PRISM 개발에 집중하고 완성도를 높이는 방향으로 전환 함
3. [17-065-RC-28] [MK] FM Book
- 현재 작성 상황 공유
- MK :
State machine 부분은 거의 마무리 진행됨.
SH는 modechart 준비되는 대로 업로드 바람.
- MK :
YB, JS는 논리학 파트 준비하길 바람.
논리학은 도구가 거의 없음.
그리고 시각화가 잘 안됨, 예제와 검증에 초점을 맞춰 진행해야함.
회의 후 논리학 가이드 라인 제공함.
논리학관련 논문의 일반적인 구성 설명함.
주제, 특징, 구조, 메타 논리, 정리, 예제 구조로 작성 되어 있으며, 이런 관점에서 논문을 보고 준비해 주길 바람.
우리는 시간 논리를 다루고 있으므로 시간 변수에 대해 초점을 맞추길 바람.
[File Included] 4-목-2017-06-08-board1.jpg
- MK : 프로세스 대수 파트는 예제가 필요함.
4. [17-066-RC-29] [MK, YB] 우주기초 단계평가
- MK :
YB는 일요일 오후에 우주기초 단계평가 관련해서 미팅을 했으면 함.
JS는 다음주 발표에 필요한 시각화 모델이 필요함.
ADOxx 상에서 표현해서 제공 바람.
5. [17-022-BZ-03] [MK, YB, SH] PP-I-KTC/CCR/TMS
- MK :
우여곡절이 있었지만 서버 준비가 됨,
YB는 다음주 월요일에 KTC 방문하여 ADONIS 서버 설치를 진행해 주기 바람.
6. ETC
- wilfrid Time Table
= YB :
일정 점검 및 예산관련 회의를 진행함.
월요일 잠시 KTC에 가서 서버 설치를 진행 해야함.
최종 일정 확인은 이번주 토요일 CHECK 회의를 통해 진행하고, 다음주 PLAN 회의를 대체함.
= SH :
홍보 부스 마련이 되면, 학회 일정 간 ADONIS 홍보 자료 비치
MK : __________________
YB : __________________
SH : __________________
JS : __________________
MR : __________________
==============================================
[MK] Included: (0)
1) [File Included] 4-목-2017-06-08-board1.jpg
