2024-03-29T00:27:16Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001268652023-11-17T02:17:36Z06504:08067:08075
AESOPの多面的な図的仕様記述手法A study on a multiateral diagrammatical specification method on AESOPjpnhttp://id.nii.ac.jp/1001/00127050/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=126865&item_no=1&attribute_id=1&file_no=1大阪大学工学部情報システム工学科大阪大学工学部情報システム工学科大阪大学工学部情報システム工学科大阪大学工学部情報システム工学科大阪大学工学部情報システム工学科笠原, 匡孝唐沢, 圭種田, 克行岩田, 誠寺田, 浩詔図的仕様記述体系AESOPは、データ駆動パラダイムの特徴の活用によって、多面的かつ図的な要求仕様記述から、動的データ駆動プロセッサ上で高度並列に実行可能なプログラムを直接的に生成する体系を確立し、ソフトウェアの部品化ならびに保守・運用を容易にすることを目標としている。本稿では、AESOP研究の一環として、システムの要求定義水準から継承される半形式的な図的ソフトウェア仕様記述と、実行可能プログラム生成に必要な形式的図的記述を素直に融合して併用する手法を提案する。AN00349328全国大会講演論文集第49回ソフトウェア工学1731741994-09-202015-01-20