@article{oai:ipsj.ixsq.nii.ac.jp:00096965,
 author = {畠山, 正行 and 池田, 陽祐 and 三塚, 恵嗣 and 大木, 幹生 and 加藤木, 和夫 and 上田, 賀一 and Masayuki, Hatakeyama and Yousuke, Ikeda and Keishi, Mitsuka and Mikio, Ohki and Kazuo, Katougi and Yoshikazu, Ueda},
 issue = {3},
 journal = {情報処理学会論文誌数理モデル化と応用（TOM）},
 month = {Dec},
 note = {本論文では分析・設計・実装・プログラムの4つの段階を順次追って一貫したプログラム開発ができる記述言語系OOJの開発を報告する．OOJの適用分野は科学技術計算分野であり，この分野に適した離散・構造化モデルを開発した．そして4つの段階間の記述が必ず「同等内容の別表現」となる特性，すなわち一貫相似性，を実現する設計とした．この特性の実現により分析記述は忠実にプログラムに反映され，開発過程の正しさや成果の妥当性が確保される．この特性は別視点から見ればV&Vの実現でもあり，プログラムの信頼性向上に貢献するゆえにプログラム開発にも有効かつ有用な構築指針になる．OOJがこの特性を実現していることは論証された．想定ユーザ評価は大学院生と学部3年生の記述レポートを分析して得た．院生全員と3年生の想定ユーザはOOJを十分に理解し容易に使いこなし，OOJの理解と記述が容易であることが結論できた．以上からOOJは一貫した開発過程の実現によるプログラム開発の容易化，信頼性の向上やV&Vの評価の実現，および理解と実記述の容易性という3つの特長のゆえに，想定ユーザには有用かつ簡潔に使える言語系であると結論できた．, In the present paper, we will report a descriptive language system OOJ that can be applied from the analysis stage up to the program stage throughout the design and the implementation stage. OOJ is designed based on the discreted and structured model and applied in the fields of science and engineering calculations. In OOJ, the corresponding descriptions among four stages are integrally similar. That is, the descriptions in these four stages have some different phrases but the equivalent contents. These characteristics realize the concept of the V&V, and contribute to the upgrade of the reliability of the program. The assumed user estimations have been performed by the report of the graduate school students and the third grade undergraduate students. As the results, all third grade students and the graduate school students have gotten the sufficient recognition for OOJ and well-qualified Java program. We got the conclusion with high feasibility that OOJ contributes to the upgrade of the program reliability, to the evaluation of the V&V concept, and finally to the easiness and usability for the assumed users.},
 pages = {23--42},
 title = {離散・構造化モデル記述言語系OOJの構築と科学技術計算教育への適用　―分析からプログラムまでの一貫開発とV&V評価実現の検討―},
 volume = {6},
 year = {2013}
}