高水準ペトリネットによるソフトウェア開発方法論
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 1994-07-15
著者
-
青山 幹雄
富士通(株)
-
内平 直志
(株)東芝
-
平石 邦彦
北陸先端科学技術大学院大学 情報科学研究科
-
内平 直志
(株)東芝研究開発センター
-
青山 幹雄
新潟工科大学
-
内平 直志
東芝 研開セ
-
平石 邦彦
北陸先端科学技術大学院大学
関連論文
- ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム(システムバイオロジー,システムバイオロジー,一般)
- 分散処理システムの性能評価(信頼性-情報通信システムの性能評価)
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- ICカードを利用した教育環境における報奨システムの提案(e-Learningにおける学習評価/一般)
- 整数計画法を用いた確率ブーリアンネットワークの最適制御 (SSI2009特集--次世代のシステム知を拓くシステム・情報技術)
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 形式検証技術の数理 : 安心・安全なシステム構築に向けて
- カラードペトリネットによるワークフローシステムのモデル化と検証
- 有限時間区間に対するハイブリッドシステムの離散抽象化
- 離散状態の流体化によるシステム検証(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (ネットとシステム)
- 連続化近似を用いたワークフローの性能評価(グラフ,ペトリ,ニューラルネット及び一般)
- 混合論理動的システム表現の改良に関する研究(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 研究室配属のためのシラバスシステムの提案と試作(セッション4 : 教育・学習支援)
- AP-4-9 これからのコンカレント技術 : システムバイオロジー(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- A-3-9 温度並列SAのシーケンスペアによるパッキング問題への適用(A-3.VLSI設計技術,一般講演)
- 記号計算に基づくハイブリッドシステムの解析
- 周期的なタイムスロット付きジャストインタイムスケジューリング問題のヒューリスティックアルゴリズム
- D-7-6 遺伝子転写制御領域に含まれる特異的文字列の解析とDNAマイクロアレイデータを用いた遺伝子間の依存関係推定(D-7. MEとバイオサイバネティックスA)
- D-7-7 転写制御領域の解析と破壊株データからの遺伝子の依存関係推定
- ハイブリッドシステムの定性的解析について
- エージェント指向ペトリネットPN^2の効率的解析について : 動作を保存する縮約法
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 時制論理に基づく仕様記述とそのデバッグ環境
- 連続化近似を用いたワークフローの性能評価(グラフ,ペトリ,ニューラルネット及び一般)
- ハイブリッドシステムの定性的解析について
- エージェント指向ペトリネットPN^2の効率的解析について : 動作を保存する縮約法
- エージェント指向ペトリネットの理論的解析について
- 離散事象システムの言語安定性について
- ペトリネットによるマルチエージェントシステムのモデル化(ペトリネットの応用特集号)
- 量子計算によるプトリネットの解析について
- 時間付き離散事象システムの時間付き安定性
- 繰り返し囚人のジレンマゲームにおける競合共進化モデルの特性について
- CST2000-1 自動搬送車の動作計画問題のグラフ理論的解法について
- 複数の評価構造の統合について
- ペトリネットは便利な道具
- 不確実な電力事業環境下における発電設備投資計画法
- 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
- ウィンターワークショップ・イン・沖縄'95開催報告
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- 高水準ペトリネットによるソフトウェア開発方法論
- 分散環境における顧客保守支援システム
- 分散開発環境におけるコミュニケーション分析
- 特集「アジア・太平洋のソフトウェア技術」の編集にあたって (アジア・太平洋のソフトウェア技術)
- 製造業のサービス事業化の課題と設計支援技術
- 時制論理とペトリネット(AIの推論とOR)
- AP-4-3 コンカレント技術ロードマッピングへの招待(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- ネット指向戦略シナリオ・プランニング手法の提案
- プログラム開発における自動設計の一考察
- 分散並行開発における設計情報管理環境
- COMPSAC '90に参加して
- 通信ソフトウェアCASE環境ICAROS : 構想
- 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
- 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
- 製造業のサービスイノベーションのための知識処理技術(サービスイノベーションとAI)
- コンカレント工学における技術ロードマッピングに関する考察(コンカレントシステム, 一般)
- 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
- 離散事象システムの網羅的シミュレーション
- シ-ケンス制御プログラムの検証技術
- 特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
- 様相論理による並行プログラムの積重ね式検証法
- 大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
- 特集「分散開発環境」の編集にあたって
- 5. 分散処理システムの開発とネット理論 ( ネット指向パラダイムを求めて)
- 分散環境開発 1.分散開発環境: 新しい開発環境像を求めて (<特集>分散開発環境)
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 推論型システム記述言語 MENDEL
- 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について (システム数理と応用)
- 看護・介護サービスのための時空間を越えたコラボレーション支援
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて
- A-12-13 節電と経済活性化を両立させるサービス設計(A-12.システム数理と応用,一般セッション)
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)