ソフトウェア開発過程の形式化とその詳細化による支援システムの作成 : JSDを例として

稲田, 良造; 荻原, 剛志; 井上, 克郎; 鳥居, 宏次

このアイテムのアクセス数:68件（2022-05-20 21:57 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26473

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_J72-D-I_12_874	pdf	1.0 MB	31

論文情報

タイトル	ソフトウェア開発過程の形式化とその詳細化による支援システムの作成 : JSDを例として
別タイトル	Constructing Software Development Support System by Formalization and Refinement
タイトル (ヨミ)	ソフトウェア　カイハツ　カテイ　ノ　ケイシキカ　ト　ソノ　ショウサイカ　二　ヨル　シエン　システム　ノ　サクセイ　JSD　ヲ　レイ　トシテ
著者	稲田, 良造稲田, 良造
	荻原, 剛志荻原, 剛志
	井上, 克郎井上, 克郎
	鳥居, 宏次鳥居, 宏次
著者の別表記	Inada, Ryozo
	Ogihara, Takeshi
	Inoue, Katsuro
	Torii, Koji
著者 (ヨミ)	イナダ, リョウゾウ
	オギハラ, タケシ
	イノウエ, カツロウ
	トリイ, コウジ
抄録	ソフトウェアの開発の効率を向上したり，作られるソフトウェアの品質を保つ目的で，ソフトウェアの開発過程をできるだけ定型化する試みがされている．本論文では，初心者でも定型化された開発過程に従って容易に開発が行えるようにする支援システムの作成方法を，開発法JSD（Jackson System Development）を例にして述べる．支援システム作成の手順は，まずJSDの開発過程を自然語で整理し，それを関数型開発過程記述言語PDL（Process Description Language）の記述に変換した．しかし，この記述には，多くの未定義関数が存在し，また実際に使用するユーティリティプログラム名やファイル名等の情報が不足している．そこで，必要な情報を段階的に付加し，記述の詳細化を行って，PDLで書かれた支援システムの完全なプログラムを得た．このプログラムを実行することで，JSDに従って開発を行うために必要なエディタ等が順次自動的に起動される支援システムになる。
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会論文誌D-1
巻	J72-D-I
号	12
開始ページ	874
終了ページ	882
刊行年月	1989-12-25
ISSN	09151915
NCID	AN10071319
URL	http://hdl.handle.net/11094/26473
関連情報 (references)	http://search.ieice.org/
権利情報	copyright©1989 IEICE
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会論文誌D-1.J72-D-I(12) P.874-P.882
DC.title	ソフトウェア開発過程の形式化とその詳細化による支援システムの作成 : JSDを例として
DCTERMS.alternative	Constructing Software Development Support System by Formalization and Refinement
DC.creator	稲田, 良造
	荻原, 剛志
	井上, 克郎
	鳥居, 宏次
DC.creator	Inada, Ryozo
	Ogihara, Takeshi
	Inoue, Katsuro
	Torii, Koji
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1989-12-25
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26473
DCTERMS.abstract	ソフトウェアの開発の効率を向上したり，作られるソフトウェアの品質を保つ目的で，ソフトウェアの開発過程をできるだけ定型化する試みがされている．本論文では，初心者でも定型化された開発過程に従って容易に開発が行えるようにする支援システムの作成方法を，開発法JSD（Jackson System Development）を例にして述べる．支援システム作成の手順は，まずJSDの開発過程を自然語で整理し，それを関数型開発過程記述言語PDL（Process Description Language）の記述に変換した．しかし，この記述には，多くの未定義関数が存在し，また実際に使用するユーティリティプログラム名やファイル名等の情報が不足している．そこで，必要な情報を段階的に付加し，記述の詳細化を行って，PDLで書かれた支援システムの完全なプログラムを得た．このプログラムを実行することで，JSDに従って開発を行うために必要なエディタ等が順次自動的に起動される支援システムになる。
DC.rights	copyright©1989 IEICE
citation_title	ソフトウェア開発過程の形式化とその詳細化による支援システムの作成 : JSDを例として
citation_author	稲田, 良造
	荻原, 剛志
	井上, 克郎
	鳥居, 宏次
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	1989-12-25
citation_journal_title	電子情報通信学会論文誌D-1
citation_volume	J72-D-I
citation_issue	12
citation_firstpage	874
citation_lastpage	882
citation_issn	09151915
citation_public_url	http://hdl.handle.net/11094/26473

閲覧可能ファイル

論文情報

論文詳細を表示