統一的プログラム表現にもとづく統合的ソフトウェア開発支援環境の構築に関する研究

Abstract

1 はじめに 2 並行プログラムの表現モデル 3 並行プログラムからのCFN､DUNおよびPDNの自動生成 4 開発支援環境の構築 5 Ada並行プログラムにおけるデッドロックの自動検出 6 おわりにMade available in DSpace on 2012-07-10T06:56:03Z (GMT). No. of bitstreams: 2 kasahara1.pdf: 11691328 bytes, checksum: 517c8e573d6e5b31f67f5cd2d6fbacdc (MD5) kasahara2.pdf: 6637546 bytes, checksum: e4799c452349a8d0b2e96945b3e820ff (MD5) Previous issue date: 1996-03-27主1-参1システム情報_情報工学（？