1987年 Specification Based software Development System Pure Tell IIAS-SIS Research Report Hisayuki Horai, Motoshi Saeki, Hajime Enomoto 記述言語 掲載種別 機関テクニカルレポート,技術報告書,プレプリント等 エクスポート BibTeX RIS