Lecture/ITSpiral/kyoto-u ¤ÎÊѹ¹ÅÀ

• Äɲ䵤줿¹Ô¤Ï¤³¤Î¿§¤Ç¤¹¡£
• ºï½ü¤µ¤ì¤¿¹Ô¤Ï¤³¤Î¿§¤Ç¤¹¡£
• Lecture/ITSpiral/kyoto-u ¤Ø¹Ô¤¯¡£

*¥â¥Ç¥ëÃæ¿´¥½¥Õ¥È¥¦¥§¥¢³«È¯¡ÊµþÅÔÂç³ØÀ©ºî¡Ë [#u94b55be]

»ñÎÁ¤Ï¤¤¤º¤ì¤â³ØÆâ¤Î¤ß¥¢¥¯¥»¥¹²Äǽ

**¹ÖµÁ¥¹¥é¥¤¥É [#u5e23db9]
-[[Âè1²ó>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-lec1.ppt]]
-[[Âè2²ó>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-lec2.ppt]]
-[[Âè3²ó>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-lec3.ppt]]
-[[Âè4²ó>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-lec4.ppt]]
-[[Âè5²ó>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-lec5.ppt]]

**±é½¬²ÝÂê [#s559cc25]

***¥ì¥Ý¡¼¥È²ÝÂê [#p566d841]
³Æ²ó¤ÎÆâÍƤòÍ×Ì󤷤ƽҤ٤¿¾å¤Ç¡¤²¼µ­¤Î³Æ±é½¬²ÝÂê¤Ë²òÅú¤·¤Ê¤µ¤¤¡£¥¯¥¤¥º¤Ï½ü¤¯¡£¥ì¥Ý¡¼¥È¤ÎÂκۤˤâα°Õ¤¹¤ë¤³¤È¡£

:Äó½Ð´ü¸Â|7·î1Æü(·î)¤Î¼ø¶È³«»Ï»þ¡ÊÂè5²ó¼ø¶È¤Î1½µ´Ö¸å¡Ë

//#br

-Âè1²ó: [[±é½¬>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex1.pdf]] / [[¥¯¥¤¥º>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/quiz1.pdf]]
--ÌäÂêʸ¤Î°ÕÌ£¤¬¤ï¤«¤ê¤Ë¤¯¤¤¤È»×¤¦¤Î¤ÇÊä­¡§[[traceability.txt>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/traceability.txt]] 
// [[±é½¬Î¬²ò>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex1-a.pdf]]
-Âè2²ó: [[±é½¬>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex2.pdf]]  
// [[ά²ò>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex2-a.pdf]]
-Âè3²ó: [[±é½¬>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex3.pdf]]
-Âè4²ó: [[±é½¬>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex4.pdf]]
-Âè5²ó: [[±é½¬>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/sawada-ex5.pdf]]

**Êä½õ»ñÎÁ [#bca379f3]
-Âè1²ó: [[UML>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/uml.pdf]]
-Âè2²ó: [[¥á¥¿¥â¥Ç¥ë>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/metamodel.pdf]] ¡ÊËöÈø¤Ë¥¯¥¤¥º¤¢¤ê¡Ë
-Âè5²ó: [[¥â¥Ç¥ë¸¡ºº>http://www.info.kochi-tech.ac.jp/y-takata/kut-local/itspiral/kyoto-u/modelchecking.pdf]]