ソフトウェアの形式的開発技法,その実用化への課題 : IFIP'83パネル討論会から
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 1984-04-13
著者
関連論文
- 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 (計算機構の数学的研究)
- 当世ワ-クステ-ション事情