Isabelle ์ ์๋ํ์ ์ ์ด๋ฅผ ๋ชจ๋ ์ํ๋ ํธ๋ ์ด๋๋ฅผ ์ํด ์ค๊ณ๋ ์ ๊ตํ ์์ ๋ฐ ๋ฐ์๋ ๊ฑฐ๋ ๋ณด์กฐ ๋๊ตฌ์ ๋๋ค. ์ค๋งํธ ํ์ด๋ฐ๊ณผ ๋ณ๋์ฑ ๊ธฐ๋ฐ ๊ทธ๋ฆฌ๋ ๋ก์ง, ๋ณต๊ตฌ ๊ธฐ๋ฅ, ์ถ์ ์ด์ต ๊ด๋ฆฌ ๊ธฐ๋ฅ์ ๊ฐ์ถ์ด ์์ ์๋์ผ๋ก ์คํํ ์ ์์ผ๋ฉฐ, ๋ด์ฅ๋ ํจ๋์ ํตํด ๊ฑฐ๋๋ฅผ ์ผ์ ์ค์ง, ๋ณต๊ตฌํ๊ฑฐ๋ ์๋์ผ๋ก ์ด๊ณ ๋ซ์ ์๋ ์์ต๋๋ค.
์ฃผ์ ๊ธฐ๋ฅ
- ์ค์ ๊ฐ๋ฅํ ๋จ๊ณ, ๊ฑฐ๋๋ ์ฆ๊ฐ ๋ฐ ์ต๋ ์ฃผ๋ฌธ ์๋ฅผ ๊ฐ์ถ ๊ทธ๋ฆฌ๋ ๊ฑฐ๋.
- ์๊ฐ๊ณผ ๋ณ๋์ฑ์ ๊ธฐ๋ฐํ ๋์ ์ผ์ ์ค์ง ์ ์ด.
- ์ด๋ ค์ด ์์ฅ ์ํฉ์ ์ํ ์ด์ต ๋ชฉํ ์ถ์ ๋ณต๊ตฌ ๋ชจ๋.
- ๊ณ ์ ๋๋ ์ถ์ ๊ฐ์ ์ด์ต ์คํ ๋ฐ ์ ํ์ ์์ ๋งค.
- ์คํ๋ ๋ ํํฐ, ๊ฑฐ๋ ์๊ฐ ํํฐ, TP, SL, BE ๋ฐ ์ถ์ ๋ผ์ธ์ ์ํ ์๊ฐ์ ์ฐจํธ ์ค๋ฒ๋ ์ด.
- ์ด์ต ์ถ์ , ์๋ ์ฃผ๋ฌธ ๋ฒํผ, ์ผ์ ์ค์ง/๋ณต๊ตฌ ํ ๊ธ์ ์ํ ์ฐจํธ ๋ด GUI ํจ๋.
์ด ๋ฐ๋ชจ ๋ฒ์ ์ ๋ฐฑํ ์คํ ๋ชจ๋์์๋ง ์๋ํฉ๋๋ค ๋ฐ ์ ๋ต ๋ ผ๋ฆฌ์ ๊ธฐ๋ฅ ํ๊ฐ๋ฅผ ์ํ ๊ฒ์ ๋๋ค. ์ค์๊ฐ ๋๋ ํฌ์๋ ํ ์คํธ๋ฅผ ์ํด์๋ ๋ผ์ด์ ์ค ๋ฒ์ ์ด ํ์ํฉ๋๋ค.
โ ๏ธ ์ค์ ์ฐธ๊ณ ์ฌํญ
Isabelle์ ์ ์คํ๊ฒ ๊ตฌ์ฑํ๊ณ ๊ท์จ ์๊ฒ ์ฌ์ฉํ ๋ ๋งค์ฐ ๊ฐ๋ ฅํ ๊ฑฐ๋ ๋๋ฐ์์
๋๋ค. ๊ณ ๊ธ ์๋ํ, ๋ณต๊ตฌ ๋ฐ ์ํ ๊ด๋ฆฌ ๊ธฐ๋ฅ์ ์ ๊ณตํ์ง๋ง, ๋ชจ๋ ๊ฑฐ๋ ์์คํ
๊ณผ ๋ง์ฐฌ๊ฐ์ง๋ก ์ํ์ด ๋ฐ๋ฆ
๋๋ค. ์ ์ ํ ๊ตฌ์ฑ์ด๋ ์ํ ๊ด๋ฆฌ ์์ด ์ฌ์ฉํ๋ฉด ๋น ๋ฅด๊ฒ ํฐ ์์ค์ ์ด๋ํ๊ฑฐ๋ ๊ณ์ข๊ฐ ์์ ํ ์์ง๋ ์ ์์ต๋๋ค. ํญ์ ์ค๊ฑฐ๋ ์ ์ ๋ฐฑํ
์คํ
๊ณผ ๋ฐ๋ชจ์์ ์ฒ ์ ํ ํ
์คํธํ์ธ์.
5 | 100 % | |
4 | 0 % | |
3 | 0 % | |
2 | 0 % | |
1 | 0 % |