WEKO3
アイテム
形式的仕様による共通問題の仕様記述YARNによるアプローチ
https://ipsj.ixsq.nii.ac.jp/records/122665
https://ipsj.ixsq.nii.ac.jp/records/1226652148688b-9797-43fc-965a-31c1732a06a2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001344378.pdf (168.6 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1992-09-28 | |||||
| タイトル | ||||||
| タイトル | 形式的仕様による共通問題の仕様記述YARNによるアプローチ | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | A Case Study of Formal Specification with YARN Specification Language | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 三菱信託銀行システム企画部 | ||||||
| 著者所属 | ||||||
| 日本アイ・ビー・エム(株)ESA技術 | ||||||
| 著者所属 | ||||||
| 日本アイ・ビー・エム(株)SE研究所 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Mitsubishi Trust and Banking Corp. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| IBM Japan Ltd. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| IBM Japan Ltd. | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金融など典型的な事務計算分野においては、基幹業務の事務合理化を中心にしたシステム化はほぼ一巡し、これらをいかに有機的に統合化するかが課題として重要性を増してきている。このような変化は、システムの対象としてより大規模で複雑な問題を扱うことにつながるとともに、ユーザー自身が明確な要求を十分提示しきれないような事態をうみ出しつつある。こうした状況の下で事務計算分野においても、オブジェクト指向技術と要求定義のための仕様化技術の有効性について期待が高まってきている。形式的仕様については、いくつかの仕様記述言語が提案されているが、それらは数学的バックグラウンドを必要とする。しかし、現実に事務計算分野で仕様化作業を行っている技術者のうち、大学等でこれらに必要な教育を受けている者は必ずしも多くはない。したがって普及をはかるうえでは、できる限り基隆的な概念にしぼり、無理なく習得できることが記述言語に要請される。さらに事務計算のシステム化領域は、社会経済の変化にともない、常に環境変化にさらされていることから、変化へ柔軟に対応し、不完全なものから完全なものへ漸進的に記述を進めていけることも記述言語に要請される。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第45回, 号 ソフトウェア工学, p. 173-174, 発行日 1992-09-28 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
