changeset 9:2ec35bc5e0d5

Add english abstract
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 09 Dec 2014 13:46:02 +0900
parents ec6d1a28cd15
children 15ca58a54b6a
files sigse.tex
diffstat 1 files changed, 12 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/sigse.tex	Tue Dec 09 12:11:56 2014 +0900
+++ b/sigse.tex	Tue Dec 09 13:46:02 2014 +0900
@@ -1,3 +1,5 @@
+% TODO: 。とか、とか
+
 \documentclass{ipsjpapers}
 
 % ユーザが定義したマクロなど.
@@ -42,13 +44,18 @@
 
 プログラムの信頼性が変化するのはプログラムの変更時である。
 プログラムの変更を表現するデータ構造 Delta を定義し、異なるバージョンのプログラムを同時に実行可能にする。
-異なるバージョン間のプログラムのトレースを比較し、信頼性の変化の可視化とデバッグの支援を行なう手法を提案する。
+異なるバージョン間のプログラムのトレースを比較し、信頼性の変化の指摘とデバッグの支援を行なう手法を提案する。
 
 \end{abstract}
 % 英文概要
 \begin{eabstract}
-TODO: abstract
-TODO: 。とか、とか
+We will propose software development method with improve reliability of program.
+
+If program modified, reliability change with relation.
+We define Delta that data structure for expression of program modification.
+Delta be able to execute program has multiple version at the same time.
+
+We propose method to visualising reliability and support debug by compare traces between different version programs.
 
 \end{eabstract}
 
@@ -134,8 +141,8 @@
 
 \bibitem{moggi} Eugenio Moggi: Notion of Computation and Monads(1991)
 \bibitem{category} Michael Barr and Charles Wells: Category Theory for Computing Science(1989)
-\bibitem{proofs-and-types} Jean-Yves Girard, Paulr Taylor, Yves Lafont, Proofs and Types(1990)
-\bibitem{agda} The Agda Wiki - Agda \\ \verb|http://wiki.portal.chalmers.se/agda/pmwiki.php|
+\bibitem{proofs-and-types} Jean-Yves Girard, Paulr Taylor, Yves Lafont: Proofs and Types(1990)
+\bibitem{agda} The Agda Wiki - Agda: \\ http://wiki.portal.chalmers.se/agda
 
 \end{thebibliography}