Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
スポンサーリンク
概要
著者
関連論文
- TCCT : タイマを柔軟に制御可能な時間付きプロセス計算
- 時間イベントパターンマッチング
- Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)
- Towards a Formal Framework for Multimedia Data and Their Players With QoS
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- モジュラー・プログラミングのための支援環境
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- B-19-18 ネットワーク上にP2Pで構築された共有空間の維持(B-19. ネットワークソフトウェア, 通信2)
- B-6-188 SOBAフレームワークにおけるファイアウォール越えのP2P通信手法(B-6. ネットワークシステム)
- B-6-187 SOBAフレームワークによるP2Pネットワーク上の共有情報伝搬機構(B-6. ネットワークシステム)
- B-15-9 ネットワーク上に構築されたP2P仮想共有空間への携帯端末からの参加(B-15.モバイルマルチメディア通信)
- ソフトウェアの形式的開発技法,その実用化への課題 : IFIP'83パネル討論会から
- Ada「批判」 (プログラミング言語 : PascalとAda)
- Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
- システム管理から見たプログラムとスクリプトとの機能比較 (井上勝人教授記念号)
- 日本語・満州語の辞書作成のためのシステム (1) (井上勝人教授記念号)
- 当世ワ-クステ-ション事情
- Consumer Electronics 関連産業における情報化の進展 : 情報の価値と情報システムの評価,生産・流通システムとの関連において
- 日本語・満州語の辞書作成のための補助システム(IV)
- 日本語・満州語の辞書作成のための補助システム(III)
- 日本語・満州語の辞書作成のための補助システム(?) (瀬戸廣明教授記念号)
- 工業高専におけるマイクロプラグラミング教育