セッション6 : コンポーネント技術
10:41 <#0:akr> ★コンポーネント技術に基づく Undo/Redo 機能実装手法★
10:51 <#0:akr> Emacs だと region 内の undo ができたりするんだけど、そういうのは単純にはいかない気がする。
10:58 <#0:akr> ★Component-based Algebraic Specification and Verification in CafeOBJ★
11:13 <#0:sohda> 。
11:21 <#0:Ichiji> ★LEAD++による動的適用可能なコンポーネントウェアの構成方法★