Mercurial > hg > Papers > 2012 > nobu-thesis

changeset 42:1d66e06ae2c2 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modify
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Tue, 28 Feb 2012 22:47:04 +0900
parents 8ee3d6448aa6
children 8539cd84106e
files presen/cbc.md presen/presentation.html
diffstat 2 files changed, 8 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/presen/cbc.md	Tue Feb 28 22:31:20 2012 +0900
+++ b/presen/cbc.md	Tue Feb 28 22:47:04 2012 +0900
@@ -334,10 +334,10 @@
 CbC
 ========
 <li><font color=red size=5em>状態遷移記述をベースとしたより細かい単位でのプログラミングを実現する</font></li>
-- 組込みソフト、Real-time処理、通信プロトコル記述、どれも状態遷移ベース
-- 現存する記述言語は状態遷移の記述に向いていない
-- スタックが状態を隠蔽するため、分割しにくい、検証が難しい
-- 以上の問題を解決する言語として CbC は提案されている。
+<li>組込みソフト、Real-time処理、通信プロトコル記述、どれも状態遷移ベース</li>
+<li>現存する記述言語は状態遷移の記述に向いていない</li>
+<li>スタックが状態を隠蔽するため、分割しにくい、検証が難しい</li>
+<li>以上の問題を解決する言語として CbC は提案されている。</li>
 
 具体的な CbC の利用予定
 ---------
--- a/presen/presentation.html	Tue Feb 28 22:31:20 2012 +0900
+++ b/presen/presentation.html	Tue Feb 28 22:47:04 2012 +0900
@@ -685,10 +685,10 @@
             
             
             <section><p><li><font color=red size=5em>状態遷移記述をベースとしたより細かい単位でのプログラミングを実現する</font></li>
-- 組込みソフト、Real-time処理、通信プロトコル記述、どれも状態遷移ベース
-- 現存する記述言語は状態遷移の記述に向いていない
-- スタックが状態を隠蔽するため、分割しにくい、検証が難しい
-- 以上の問題を解決する言語として CbC は提案されている。</p>
+<li>組込みソフト、Real-time処理、通信プロトコル記述、どれも状態遷移ベース</li>
+<li>現存する記述言語は状態遷移の記述に向いていない</li>
+<li>スタックが状態を隠蔽するため、分割しにくい、検証が難しい</li>
+<li>以上の問題を解決する言語として CbC は提案されている。</li></p>
 <h2>具体的な CbC の利用予定</h2>
 <ul>
 <li>モデル検査</li>