|
4
|
1 \begin{thebibliography}{1}
|
|
|
2
|
|
|
3 \bibitem{bib:soba}
|
|
|
4 {}.
|
|
|
5 \newblock {SOBA Project}, March 2004.
|
|
|
6
|
|
|
7 \bibitem{bib:ellis}
|
|
|
8 {C. A. Ellis and S. J. Gibbs }.
|
|
|
9 \newblock {Concurrency control in groupware systems}.
|
|
|
10 \newblock 1989.
|
|
|
11
|
|
|
12 \bibitem{havelund98model}
|
|
|
13 K.~Havelund and T.~Pressburger.
|
|
|
14 \newblock Model checking java programs using java pathfinder, 1998.
|
|
|
15
|
|
|
16 \bibitem{bib:groupkit}
|
|
|
17 Mark Roseman and Saul Greenberg.
|
|
|
18 \newblock {\em Building Real Time Groupware with GroupKit, A Groupware
|
|
|
19 Toolkit}.
|
|
|
20 \newblock 1996.
|
|
|
21
|
|
|
22 \bibitem{rep-sourceforge}
|
|
|
23 {Shinji KONO}.
|
|
|
24 \newblock {rep}, Aug 2006.
|
|
|
25
|
|
|
26 \bibitem{kono04g}
|
|
|
27 {安村 恭一 and 河野 真治(琉球大)}.
|
|
|
28 \newblock {巡回トークンを用いた複数人テキスト編集とセッション管理}.
|
|
|
29 \newblock 情報処理学会システムソフトウェアとオペレーティング・システム研究会,
|
|
|
30 June 2004.
|
|
|
31
|
|
|
32 \bibitem{bib:xp}
|
|
|
33 長瀬嘉秀.
|
|
|
34 \newblock {\em eXtreme Programming}.
|
|
|
35 \newblock 日本XPユーザグループ関西支部, 2002.
|
|
|
36
|
|
|
37 \end{thebibliography}
|
