@techreport{oai:ipsj.ixsq.nii.ac.jp:00021453,
 author = {池田, 瑞穂 and 中村, 岳志 and 高田, 喜朗 and 関, 浩之 and Mizuho, Ikeda and Takeshi, Nakamura and Yoshiaki, Takata and Hiroyuki, Seki},
 issue = {114(2001-SE-135)},
 month = {Nov},
 note = {代数的仕様記述の部分クラスである抽象的順序機械型仕様（ASM仕様）を用いたユーザインタフェース（UI）の形式的仕様記述法とそこからのプロトタイプ生成法を提案する。まず，個々のUIモジュールがメッセージ送受信によって非同期に動作するような，簡潔な多プロセスモデルである抽象的ウィンドウシステム（AWS）モデルを導入する。次に，AWSに基づきUIのASM仕様を記述する方法について述べる。また，Javaを実装アーキテクチャとした，UIのASM仕様を実装するための枠組を提案する。この枠組に従ってASM仕様をJavaプログラムに変換するコンパイラを作成した。コンパイラを用いて仕様記述例をコンパイルした結果についても述べる。, In this paper, we propose a formal description method  of user interface (UI) based on a subclass of algebraic specifications called abstract sequential machine (ASM) specifications and also discuss a prototype generation method from an ASM specification.We first introduce an abstract window system (AWS), which is a simple multiprocess model where each UI module behaves asynchronously by sending or receiving messages. Based on AWS model, ASM specifications of some UI are presented. We also describe experiments with a compiler which translates an ASM specification into a Java program.},
 title = {ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成},
 year = {2001}
}