日米におけるソフトウェア仕様記述言語の現状調査 : 中間報告

スポンサーリンク

概要

• 論文の詳細を見る

• ソフトウェア仕様を記述する言語と,仕様からプログラムを生成するジェネレータ等の支援系が,多数開発されている.仕様と一口に言っても,関数型や論理型の形式的仕様記述から自然言語や図式の非形式的仕様まで様々なものがあり,利用・開発状況も多岐に渡る.その現状について日米で協同調査を行った結果を中間報告する.

• 一般社団法人情報処理学会の論文
• 1989-03-15

著者

• 佐藤 賢二

  九州大学工学部情報工学科

• 荒木 啓二郎

  九州大学工学部

• CHANG Carl

  University of Illinois

関連論文

• Adaプログラム分離コンパイル支援ツールADAMAKE
• 日米におけるソフトウェア仕様記述言語の現状調査 : 中間報告
• FIFOキューを同期手段とする並列プログラムについて(II) : 並列プログラムの待ちなし変換
• 九州・山口地区における研究者用実験ネットワークJUNETの現状

スポンサーリンク