날 짜 : 2017-06-22 (목)
주 제 : 개발 회의
참여자 : MK, YB, SH, JS, MR
기록자 : JS
0. 회의 안건
1) [17-030-RC-09] [MK, YB] NEMO 2017 Lecture
1. [17-030-RC-09] [MK, YB] NEMO 2017 Lecture
- YB :
- SAVE 예제를 구성함. C, B, A 단계로 구성하여 C에서 A로 갈수록 난이도가 올라감.
- PBC 예제를 기본으로 하며, C는 순차적 구조, B는 Choice가 포함된 구조,
- A는 Exception이 포함된 구조로 구성됨.
[File Included] 4-목-2017-06-22-SAVE Example.ppt
- MK :
- C, B, A 단계구성을 전개성을 위해 A, B, C 단계구성으로 변경할 것.
- 만일 나중에 D 단계가 있을 경우 추가하기 위함.
- 실습 구성을 미리 준비해서 가야함. 그림으로 명세할 경우 각양각색일수 있으므로
- 시스템 내부에 미리 준비하길 바람.
- d-cal로 명세를 하고 이것이 이미지로 나와야함.
- SH의 파서 결과가 나와야함. SAVE 버전에 대해 논의해보길 바람.
[File Included] 4-목-2017-06-22-board1.jpg
2. [17-007-RD-03] [MR] PRISM0.1/ADOxx
- MR :
- 지난주에 Lattice 자동화에 부분을 완료는 하지 못했지만 진행함.
- 현재 일부 Beh위치는 정상 위치에 시각화가 이루어지고 있으며,
- 몇몇 Beh의 위치가 조금 다르게 나오고 있어 수정해야함.
- 아직 Inclusion Relationship의 시각화 되지 않음.
- MK :
- 이번 NEMO 강의 자료는 도구적 관점에서 20분은 SAVE, 20분은 PRISM을 소개하고,
- 두 시스템이 어떻게 연동되는지 발표할 예정.
- 따라서 MR의 자동화가 끝나게 되면 JS과 데이터 구조를 논의해서, SAVE에서 나오는
- 데이터를 어떻게 PRISM에 투사할지 생각해보기 바람.
[File Included] 4-목-2017-06-22-board2.jpg
- JS :
- HCS의 Composition은 잠시 뒤로 미루고 일단 SAVE와의 연동에 초점을 맞춰야함.
3. [17-065-RC-28] [MK] FM Book
- MK :
- 일정 확인. 금일(22일) 까지 Logic 1차 초안 마무리해야함.
- 내일(23일)부터 Process Algebra 진행 진행하고, P.A1차 마무리
- 토요일(24일)에 P.A2차 마무리, 일요일(25일)에 최종 검토 후 다음 주부터 교정 들어감.
- MK : CCS의 개념 설명
[File Included] 4-목-2017-06-22-board3.jpg
MK : __________________
YB : __________________
SH : __________________
JS : __________________
MR : __________________
===================================================
[MK] Included: (4)
1) NEMO Exercise: [File Included] 4-목-2017-06-22-SAVE Example.ppt [Classified]
2) Board snapshot (3):
i) NEMO Excercise : [File Included] 4-목-2017-06-22-board1.jpg
ii) Tool integration: SAVE+PRISM: [File Included] 4-목-2017-06-22-board2.jpg
iii) CCS Basic Concept: [File Included] 4-목-2017-06-22-board3.jpg
2) Board snapshot (3):
i) NEMO Excercise : [File Included] 4-목-2017-06-22-board1.jpg