Home

news ヘルプ

論文・著書検索結果 (83件)

[ BibTeX 形式で保存 ]    [ CSV形式で保存 ]    [ 絞り込み検索 ]

ファイル出力での研究業績数は250件が上限です

Toward Mining "Concept Keywords" from Identifiers in Large Software Projects.
Masaru Ohba, Katsuhiko Gondow:.
Int. Workshop on Mining Software Repositories (MSR2005).
Int. Workshop on Mining Software Repositories (MSR2005). pp. 48-52.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
May 2005.

ソフトウェアパターン研究の発展経緯と最近の動向.
鷲崎弘宜, 大杉直樹, 権藤克彦, 服部哲, 久保淳人, 下滝亜里, 小林隆志, 藤枝和宏, 大月美佳, 丸山勝久, 榊原彰.
情報処理学会 情処研報(ソフトウェア工学). Vol. 2005. No. 29. pp. 127-134.
会議発表論文 - 一般講演(口頭発表). 国内.
Mar. 2005.

Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C.
Katsuhiko Gondow, Tomoya Suzuki, Hayato Kawashima:.
11th Asia-Pacific Software Engineering Conference (APSEC).
11th Asia-Pacific Software Engineering Conference (APSEC). pp. 336-345.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Nov. 2004.

Optimizing the Execution Time for Checking the Consistency of XML Documents.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama.
Journal of Intelligent Information System (JIIS). Vol. 22. No. 3. pp. 257-279. Kluwer Academic Publishers.
論文. 査読あり. 海外.
May 2004.

ACMLに基づくプログラム情報抽出システムの設計.
川島勇人, 権藤克彦.
コンピュータソフトウェア. Vol. 21. No. 5. pp. 65-70.
論文. 査読あり. 国内.
Apr. 2004.

An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.
Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama.
10th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press. pp. 362-370.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Dec. 2003.

A case study for XML semantics Checker Model.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama:.
IEEE Int. Conf. On Systems, Man and Cybernetics (SMC 03).
IEEE Int. Conf. On Systems, Man and Cybernetics (SMC 03). pp. WD10.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Oct. 2003.

Class Refinement for Software Evolution.
Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama.
6th Int. Workshop on Principles of Software Evolution (IWPSE6), IEEE Computer Society Press. pp. 51-56.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Sept. 2003.

A Practical Example of XML Semantics.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama:.
Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03).
Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03). pp. 146-150.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Aug. 2003.

OAG*: Improved Ordered Attribute Grammars for Less Type 3 Circularities.
Shin Natori, Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama.
IEICE Transactions on Information and Systems. Vol. E86-D. No. 4. pp. 673-685.
論文. 査読あり. 海外.
Apr. 2003.

コンパクトなANSI CインタプリタXCIの設計と実装.
権藤克彦, 川島勇人.
電子情報通信学会論文誌. Vol. J86-D-I. No. 3. pp. 159-168.
論文. 査読あり. 国内.
Mar. 2003.

Experience with ANSI C Markup Language for a Cross-Referencer.
Hayato Kawashima, Katsuhiko Gondow.
Proc. Domain-Specific Language Minitrack, 36th Hawaii Int. Conf. on System Sciences (HICSS-36). pp. 18 pages.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Jan. 2003.

XMLを用いたANSI CのためのCASEツールプラットフォーム.
川島勇人, 権藤克彦.
コンピュータソフトウェア. Vol. 19. No. 6. pp. 21-34.
論文. 査読あり. 国内.
Nov. 2002.

Evolutionary Prototyping Technique Using Abstract Interpretation in Java.
Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama.
Proc. Int. Sympo. on Future Software Technology (ISFST2002). pp. S5A-1 (6 pages).
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Oct. 2002.

Support for Joining in Open Source Software Development Projects Using Public Data.
Mitsunori Fujita, Kazuhiro Fujieda, Katsuhiko Gondow, Koichiro Ochimizu.
Proc. Int. Sympo. on Future Software Technology (ISFST2002). pp. S1A-3, 6 pages.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Oct. 2002.

An Incremental Evaluation Approach to Check the Consistency of XML Documents.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama:.
IEEE Int. Conf. on Systems, Man and Cybernetics.
IEEE Int. Conf. on Systems, Man and Cybernetics. pp. vol.6, WA2Q1.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Oct. 2002.

Deriving Knowledge Base Assertions from XML Documents.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama.
Proc. Int. Sympo. on Knowledge Creation in Economics, Environmental and Societal Systems. pp. 87-93.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Sept. 2002.

The XML Semantics Checker Model.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama.
3rd Int. Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02). pp. 430-438.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Sept. 2002.

Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama.
3rd Int. Conf. on Internet Computing 2002 (IC'2002). pp. 653-659.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
June 2002.

Towards ANSI C Program Slicing using XML.
Katsuhiko Gondow, Hayato Kawashima.
2nd Int. Workshop on Language Descriptions, Tools and Applications (LDTA02), Electronic Notes in Theoretical Computer Science (ENTCS). Vol. 5. No. 3. pp. 20.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Apr. 2002.

The SLXS Specification Language for Describing Consistency of XML Documents.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama.
4th Int. Workshop on Information Computer Science (WICS2002), IEEE Computer Society. pp. 289-304.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Mar. 2002.

Checking Consistency of XML Semantics Using Attribute Grammars.
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama.
Int. Conf. on East-Asian Language Processing and Internet Information Technology (EALPIIT2002). pp. 29-38.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Jan. 2002.

Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus -.
Katsuhiko Gondow, Takuya Katayama.
Informatica: An International Journal of Computing and Informatics. Vol. 24. No. 1. pp. 287-299.
論文. 査読あり. 海外.
Sept. 2000.

Javaによるプログラミング入門.
権藤克彦.
224ページ. サイエンス社.
著書.
July 2000.
公式リンク  

Using Object-Oriented Attribute Grammars as ODB System Generator.
Takeshi Hagiwara, Katsuhiko Gondow, Takashi Imaizumi, Takuya Katayama.
3rd Int. Workshop on Attribute Grammars and their Applications (WAGA'00). pp. 141-160.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
July 2000.

On Eliminating Type 3 Circularities of Ordered Attribute Grammars.
Shin Natori, Katsuhiko Gondow, Takashi Imaizumi, Takeshi Hagiwara, Takuya Katayama.
2nd Int. Workshop on Attribute Grammars and their Applications (WAGA'99). pp. 93-112.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Mar. 1999.

SMAF: A Framework for Future Embedded Systems.
Takuro Kitayama, Tatsuo Nakajima, Ichiro Satoh, Hideyuki Tokuda, Takuo Watanabe, Katsuhiko Gondow.
IEEE International Workshop on Networked Appliances. No. S2-1. pp. 1-4.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Nov. 1998.

A Formal Semantics of Object Oriented Attribute Grammars.
Katsuhiko Gondow, Takuya Katayam.
Int. Sympo. on Biologically Inspired Computation (IMSA'97). pp. 32-40.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Oct. 1998.

構文木に基づく細粒度ソフトウェアコンフィグレーションマネージメントでの影響解析.
小林隆志, 権藤克彦.
レクチャーノート/ソフトウェア工学19 ソフトウェア工学の基礎IV, 日本ソフトウェア科学会. pp. 119-126.
会議発表論文 - 一般講演(口頭発表). 査読あり. 国内.
Nov. 1997.

A Tool for Constructing Software Objectbases from Language Structures.
Takeshi Hagiwara, Katsuhiko Gondow, Takashi Imaizumi, Takuya Katayama.
Int. Conf. Information Systems and Technologies for Network Society. pp. 71-78.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Sept. 1997.

オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化.
権藤克彦, 片山卓也.
コンピュータソフトウェア. Vol. 12. No. 3. pp. 28-48.
論文. 査読あり. 国内.
May 1995.

オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用.
権藤克彦, 今泉貴史, 萩原威志, 片山卓也.
電子情報通信学会論文誌. Vol. J78-D-I. No. 5. pp. 478-491.
論文. 査読あり. 国内.
May 1995.

Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars.
Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama.
1st JSSST Int. Sympo., Object Technologies for Advanced Software, Lecture Notes in Computer Science, No.742. pp. 77-94.
会議発表論文 - 一般講演(口頭発表). 査読あり. 海外.
Nov. 1993.

©2007 Institute of Science Tokyo All rights reserved.