高階ペトリネットによる分散協調型システムの仕様記述とプログラム自動設計
スポンサーリンク
概要
- 論文の詳細を見る
本稿では分散協調システムの仕様記述および設計自動化技法について述べる．提案手法では高階ペトリネットによる分散システムの抽象的仕様を入力とし，最終的にはJavaによる実行プログラムを自動で得る．そのための仕様自動詳細化技法およびプログラムコード生成技法について述べる．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)