ジャクソンシステム開発法の代数的言語による記述の試み
スポンサーリンク
概要
- 論文の詳細を見る
近年,ソフトウェアの生産性と信頼性の向上を目的として多くのソフトウェア方法論が提案されている.しかし,これらの方法論の大半は,例示的な,あるいはあいまいな記述となっており,実際に適用するのが困難である.そこで,方法論全体を厳密にかつ詳細に記述する必要性が指摘されている. これまでにOsterweilの手続き的アプローチやWilliamsの動作的アプローチなどが提案されている.本稿では,システム開発過程の全体を階層的に捉え,厳密にかつ詳細に記述するモデルMを提案する.更に,このモデルMに基づいて,ジャクソンシステム開発法の一部である入力順序判定部作成過程の詳細について代数的言語を用いて記述し,実行する.
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
井上 克郎
大阪大学 基礎工学部 情報工学科
-
菊野 亨
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
井上 克郎
大阪大学 基礎工学部
-
菊野 亨
大阪大学 基礎工学部
-
飯田 元
大阪大学 基礎工学部
-
烏居 宏次
大阪大学 基礎工学部
関連論文
- ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出(ネットワーク環境でのディペンダビリティ)
- 大学院情報系学生に対する技術者倫理教育(技術者倫理・情報倫理教育の現状と課題,及び一般)
- 3状態相互排他アルゴリズムの安定時間の下限について
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- ペアワイズテスト : ソフトウェアテストの効率化を求めて
- 再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
- マルチエージェントを用いた無中断予備VP設定方式
- D-CCFinder:超大規模ソースコード集合を対象とした分散処理型コードクローン検出・可視化システム
- 5 組込みシステムにおけるソフトウェアプロダクトラインの導入(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- Analyzerの簡単化 (情報科学の数学的理論)
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
- ホームネットワークシステムにおける連携サービスのモデル検査による検証
- モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
- ホームネットワークシステムにおけるサービス競合の分類と解消について
- ソフトウェアメトリクスのデータマイニングによる障害発生要因特定
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 製品リリース履歴における論理的結合集合に基づいた横断フィーチャ分析法
- メソッド呼び出しに関する不具合修正での変更作業の分析
- ソフトウェアプロジェクト予測に用いるメトリクスの削減
- 複数の部分木の置換を許した属性木に対する属性評価アルゴリズムの提案
- ア***ロセッサの再構成に関するプロセッサ割当問題について
- プログラム仕様に用いる自然語処理のための語句の意味定義
- ベイズ識別器による不具合予測のための相関ルールマイニングを用いたメトリクス絞り込み
- ソフトウェア開発データに対する相関ルールマイニングを利用した不具合増加要因の調査
- ソフトウェアプロジェクト診断のためのチェックリスト導出(レビュー,品質(学生セッション))
- 企業横断的データからのプロジェクト改善案の相関ルールマイニングによる抽出
- 相関ルールマイニングによる企業横断データにおける不具合工数密度の分析
- 相関ルールマイニングの適用によるソフトウェア生産性の決定要因の分析(学生セッション C_開発プロセス)
- UseCASEを利用したソフトウェアフォールトに対するSS-FTAの提案
- ジャクソンシステム開発法の代数的言語による記述の試み
- GPUを用いた状態可到達性解析の高速化(ネットワーク環境でのディペンダビリティ,及び一般)
- 欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出
- Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
- メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察 (ソフトウェアサイエンス)
- フォールトプローンモジュール検出手法間の精度比較 : Fault-pronenessフィルタリングとロジスティック回帰
- ソースコード中に含まれる不具合トークンをテキスト分類に基づいて推定するツールの試作と評価
- ソースコード中に含まれる不具合トークンをテキスト分類に基づいて推定するツールの試作と評価
- Fault-Proneフィルタリング--不具合を含むモジュールのスパムフィルタを利用した予測手法
- 相関ルールマイニングによるソフトウェア開発プロジェクト中のリスク要因の分析(推薦論文・ソフトウェア工学の基礎)
- オーバーサンプリングを用いた効率的品質管理のための変数選択手法
- オーバーサンプリングを用いた効率的品質管理のための変数選択手法
- ベイズ識別器による混乱予測に基づくソフトウェアプロジェクト管理支援ツールの試作(学生セッション C_開発プロセス)
- 汎用テキスト分類フィルタを利用した不具合を含むソースコードの予測
- 相関ルールマイニングを用いた混乱プロジェクトの特徴分析ランダムサンプリングデータへの適用
- ピアの近接性を考慮したスキップグラフの構築
- 1-2 スパムフィルタリングに基づくフォールトプローンモジュール検出器の開発(セッション1「プロジェクト管理・ソフト」)
- 5B-2 品質定量指標のための異なるプログラミング言語間での規模の比較の試み(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- ゴシップ型ブロードキャストの高信頼化のための適応的再送手法の提案(ネットワーク,SWoPP2006)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
- ソースコード中の識別子に基づくカテゴリ階層構築手法(ソースコード分析と可視化)
- ソースコード中の識別子に基づくカテゴリ階層構築手法(ソースコード分析と可視化)
- デスクトップ検索システムを用いたJavaソフトウェア部品リポジトリの自動更新機能の実現
- 記号モデル検査を用いたシステムの耐故障性の自動検証手法の提案
- ピアの近接性を考慮したスキップグラフの構築
- ピアの近接性を考慮したスキップグラフの構築
- 5B-1 相関ルールマイニングを利用したソフトウェアプロジェクト混乱要因の関連性に関する調査(プロジェクトの定量的管理,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- マルチエージェントを用いた無中断予備VP設定方式
- 強化学習型情報処理における人間の行動決定について
- プログラムテキストの更新履歴を利用した初期フォールト数推定の自動化の試み
- ソフトウェアプロセス記述言語SPDLとその処理系の設計
- メソッド間の依存関係を利用した再利用支援システムの実装
- 開発履歴データのリアルタイム収集・分析システムEPMの拡張について : SRGMを用いた予測グラフの実現および既存解析システムとの連携
- 制限された動的情報を用いたブロック単位スライシング手法の提案
- 制限された動的情報を用いたブロック単位スライシング手法の提案
- 開発支援システムREFINEを用いたCプログラム依存関係解析ツールの試作
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
- システム特性を考慮したペアワイズテストの改良
- サーベイ論文「ペアワイズテスト-ソフトウェアテストの効率化を求めて-」に関する訂正と補足
- 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- データベースカーネルの設計と仕様の代数的記述
- C++プログラムの複雑度評価尺度の提案とその実験的評価
- コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価 (ソフトウェアサイエンス)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- 優秀賞受賞論文 コードレビューの密度と効率がコード品質に与える影響の分析 (「SEC journal」論文賞)
- 定量的プロジェクトマネジメント : メトリクスデータ利用の新技術(「ソフトウェア信頼性工学の新展開」)
- 「SEC journal」創刊記念論文 優秀賞受賞論文 プロジェクト混乱予測システムのベイズ識別器を利用した開発--ソフトウェア開発現場への本格導入を目指して (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- ソフトウェア開発における不具合発見履歴と最終品質の関係に対する統計的分析
- レビュー作業の質に着目したソフトウェア最終品質の推定
- モデル指向開発環境の提案(一般,学生セッション,一般)
- コードクローンを対象としたリファクタリングの有効性に関する調査
- ソースコードの差分を用いた関数呼び出しパターン抽出手法の提案(開発支援(1)(学生セッション))
- ソフトウェア開発プロジェクトにおける開発計画の分析 : 品質, 生産性との関連性
- 無線モバイルマイクロセンサーネットワークにおける自己組織的センサー配置手法の提案
- 非決定性フィーチャーインタラクションに対するP-インバリアントに基づく検出法の実験的評価
- 類似メソッドの集約のための差分抽出支援
- 協同編集機能を持つメールアーカイブシステムの試作
- 更新履歴情報と静的情報を用いて同一機能を実装しているクラス群を抽出する手法の提案
- 履歴情報を用いたソースコードの変更危険度計測手法の提案
- 開発過程記述用図式エディタの作成