文献

J-GLOBAL ID：201502232297097196   整理番号：15A0447068

離散・構造化モデル記述言語系OOJの構築と科学技術計算教育への適用-分析からプログラムまでの一貫開発とV&V評価実現の検討-

A Design of Discretized and Structured Model Descriptive Language System OOJ and Its Applications to Scientific and Technical Calculation Education

著者 (6件)： 畠山正行 (茨城大 工) ,  池田陽祐 (茨城大 工) ,  三塚恵嗣 (日立システムズ) ,  大木幹生 (群馬工高専 教育研究支援セ) ,  加藤木和夫 (茨城県産業技術短大) ,  上田賀一 (茨城大 工)
資料名： 情報処理学会論文誌トランザクション 数理モデル化と応用(Web)  (情報処理学会論文誌 数理モデル化と応用(Web))
巻： 6  号： 3  ページ： WEB ONLY 23-42  発行年： 2013年12月27日 
JST資料番号： U0475A  ISSN： 1882-7780  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では分析・設計・実装・プログラムの4つの段階を順次追って一貫したプログラム開発ができる記述言語系OOJの開発を報告する。OOJの適用分野は科学技術計算分野であり,この分野に適した離散・構造化モデルを開発した。そして4つの段階間の記述が必ず「同等内容の別表現」となる特性,すなわち一貫相似性,を実現する設計とした。この特性の実現により分析記述は忠実にプログラムに反映され,開発過程の正しさや成果の妥当性が確保される。この特性は別視点から見ればV&Vの実現でもあり,プログラムの信頼性向上に貢献するゆえにプログラム開発にも有効かつ有用な構築指針になる。OOJがこの特性を実現していることは論証された。想定ユーザ評価は大学院生と学部3年生の記述レポートを分析して得た。院生全員と3年生の想定ユーザはOOJを十分に理解し容易に使いこなし,OOJの理解と記述が容易であることが結論できた。以上からOOJは一貫した開発過程の実現によるプログラム開発の容易化,信頼性の向上やV&Vの評価の実現,および理解と実記述の容易性という3つの特長のゆえに,想定ユーザには有用かつ簡潔に使える言語系であると結論できた。(著者抄録)

シソーラス用語： *ソフトウェア開発 ,  *プログラミング言語 ,  *コンパイラ ,  離散系 ,  モデリング ,  科学技術 ,  科学教育 ,  システム解析 ,  ソフトウェア設計 ,  システム設計
準シソーラス用語： システム分析 ,  科学技術計算

分類 (3件)： 計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H) ,  言語プロセッサ  (JD03040F)

引用文献 (50件)：

• 畠山正行:オブジェクト指向分析モデリングの明示形式化・詳細化・手順化,シミュレーション学会誌,Vol.21,No.4,pp.295-309(Dec.2003).
• 渡邉一衛:ものづくり・サービスづくりのシミュレーション,日本シミュレーション学会論文誌,Vol.28,No.1,pp.41-45(2009).
• 加藤廣:自動車開発のデジタル化はシミュレーションが主役,日本シミュレーション学会論文誌,Vol.27,No.2,pp.50-53(2008).
• 日本計算工学会(編):工学シミュレーションの標準手順,JSCESS-HQC002:2011,日本計算工学会(May2011).
• 池田陽祐,三塚恵嗣,加藤木和夫,大木幹生,上田賀一,畠山正行:UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価,情報処理学会論文誌:数理モデル化と応用,Vol.5,No.3,pp.63-78(2012).

タイトルに関連する用語 (8件)： 構造化モデル ,  記述言語 ,  構築 ,  科学技術計算 ,  教育 ,  分析 ,  開発 ,  評価