@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00120530,
 book = {全国大会講演論文集},
 issue = {ソフトウェア工学},
 month = {Feb},
 note = {LOTOSは,ISOで開発された形式記述技法(FDT)であり,仕様解析に有効視されている数学的枠組をもっている.しかし,他のFDTであるSDL,Estelleなどと比べ,記述内容の読解性に難点がある.ISOでは,従来のテキストLOTOS(T-LOTOS)に加えて,読解性を向上させるグラフイカルLOTOS(G-LOTOS)を開発中であるが,G-LOTOSに対しての仕様記述段階での計算機支援が現状,ほとんどない状態である.本稿では,G-LOTOSを使用し,読解性・解析性向上,LOTOSを用いた記述例の作成・評価を容易にすることを目的とした支援環境GLOER(Graphic LOtos Editor)について,報告する.},
 pages = {169--170},
 publisher = {情報処理学会},
 title = {GLOER : G-LOTOSエディタの試作},
 volume = {第42回},
 year = {1991}
}