Zobrazeno 1 - 10
of 10
pro vyhledávání: '"プログラムスライシング"'
Publikováno v:
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 102(617):13-18
アスペクト指向プログラミングは, ロギングや同期処理のような複数のオブジェクトが関わる処理を単一のモジュールに記述するための新しいモジュール単位「アスペクト」を導入する.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::32dc683180d994b6c274536965c8d074
https://hdl.handle.net/11094/26721
https://hdl.handle.net/11094/26721
Publikováno v:
ソフトウェアエンジニアリングシンポジウム2012論文集. 2012:1-6
ソースコード中で互いに一致または類似した部分を持つコード片のことをコードクローンと呼び，特にメソッド単位のコードクローンを類似メソッドという．もし，類似メソッドを持つ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2846faae748d59e60fb021fa4d4b29dc
https://hdl.handle.net/11094/50124
https://hdl.handle.net/11094/50124
Publikováno v:
電子情報通信学会論文誌D-I. (11):848-851
複数の変数が同一空間を指すエイリアス関係の解析は，オブジェクト指向言語におけるスライス計算には必須である．本論文では，エイリアス関係を考慮したJava向けの静的スライシング
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::167eb84f3d524f6e447d0ce9c208e823
https://hdl.handle.net/11094/26582
https://hdl.handle.net/11094/26582
Publikováno v:
ソフトウェアエンジニアリングシンポジウム2013論文集. 2013:1-6
プログラム理解の時間を減らすための技術として，プログラムスライシングが提案されている．プログラムスライシングは，プログラム内のある文を基準として，その文に影響を与える
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::6e274041d71b9656c6ed5d3dcba7901d
https://hdl.handle.net/11094/50226
https://hdl.handle.net/11094/50226
Publikováno v:
コンピュータソフトウェア. 26(2):127-146
ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するもので
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::cf04dab4ef0a9360e8dad36617d41174
https://hdl.handle.net/11094/51610
https://hdl.handle.net/11094/51610
Publikováno v:
情報処理学会論文誌. 45(6):1522-1532
アスペクト指向プログラミングは,複数のオブジェクトに関連した処理をオブジェクトから分離し,新しいモジュール単位「アスペクト」として記述する.アスペクトは保守性や再利用性を
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::bbdb08fbd02e4a1fe98624e81beaf7f7
https://hdl.handle.net/11094/50190
https://hdl.handle.net/11094/50190
Publikováno v:
情報処理学会研究報告. ソフトウェア工学研究会報告. (84):33-40
プログラムスライシング技術は,プログラム内のある地点のある変数の値に影響を与える文(slice)を抽出する技術で,様々な分野で応用されている.本論文では,プログラム依存グラフおよび
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::e5ae2f00efe05609dd6694b9c396f325
https://hdl.handle.net/11094/50126
https://hdl.handle.net/11094/50126
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保
昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりな