＜研究歴＞

ソフトウェア工学および情報システム工学の研究に従事．
関数型モデルに基づくソフトウェア設計自動化とプログラム自動生成，
ソフトウェア再利用，ソフトウェアプロセス，開放型CASE環境および
ソフトウェアリポジトリなどの研究を経て，現在の中心的興味はソフ
トウェアの意味的モデルとその応用である．

所属学会：
情報処理学会，日本ソフトウェア科学会，IEEE Computer Sciety, ACM,
電子情報通信学会，システム制御情報学会．

＜受賞＞

1988年3月  (社)情報処理学会 学術奨励賞
2009年3月  (社)情報処理学会 学会活動貢献賞

＜著書＞

Y. Ohno (ed.):（分担執筆）
Distributed Environments - Software Paradigms and Workstations,
Springer-Verlag, Tokyo, 1991.
［執筆担当：Chapter 3, pp.20--38: Y. Matsumoto and T. Ajisaka:
A Computer-Aided Software Requirements Engineering Environment: KyotoDB-I.］

池田克夫編：（分担執筆）
新コンピュータサイエンス講座 情報工学実験，オーム社，1993.

上原三八，鯵坂恒夫編：
オブジェクト指向最前線'98，朝倉書店，237p, 1998.

和歌山大学ソフトウェア工学部デザイン情報学科編：（分担執筆）
デザイン情報学入門，日本規格協会，2000.

鯵坂恒夫編著：（分担執筆）
プログラミング言語（新世代工学シリーズ），オーム社，167p, 2000.

池田克夫編著：（分担執筆）
マルチメディアドキュメンテーション（分散協調メディアシリーズ），
共立出版，221p, 2000.

鯵坂恒夫，佐伯元司：
方法論工学と開発環境，共立出版，217p, 2001.

鯵坂恒夫，満田成紀編：
ソフトウェア工学の基礎X，近代科学社，264p, 2003.

Katsuro Inoue, Tsuneo Ajisaka, Harald Gall eds.:
Principles of Software Evolution (IWPSE2004), IEEE Press, 165p, 2004.

鯵坂恒夫：
ソフトウェア工学入門，サイエンス社，127p, 2008.

＜主要論文＞（抜粋）

T. Ajisaka, K. Agusa and Y. Ohno:
Integral Software Development through a Functional Language,
Proc. Int'l Symposium on Current Issues of Requirements
Engineering Environments, Ohm/North-Holland, pp.33--38, 1982.

鯵坂恒夫，阿草清滋，大野 豊：
関数スキーマベースを用いたソフトウェア設計自動化，
情報処理学会論文誌，26巻 2号，pp.304--311, 1985.

鯵坂恒夫，阿草清滋，大野 豊：
ソフトウェア設計自動化のための仕様記述言語F，
情報処理学会論文誌，27巻 7号，pp.688--696, 1986.

T. Ajisaka, K. Agusa and Y. Ohno:
An Automatic Program Generation System Based on Function Schema Base,
Proc. 11th Ann. Int'l Computer Software and Applications Conf. (COMPSAC),
IEEE Comp. Soc. Press, pp.214--220, 1987.

Y. Matsumoto and T. Ajisaka:
A Distributed Type Computer-Aided Software Requirements Engineering
Environment, Proc. Distributed Computer Control Systems 1989,
L. Motus and S. Narita (eds.), pp. 1--7, Pergamon Press, 1989.

Y. Matsumoto and T. Ajisaka:
A Data Model in the Software Project Database KyotoDB,
JSSST (Japan Society for Software Science and Technology Advances Softw.
Sci. Tech., Vol.2, pp.103--121, 1990.

鯵坂恒夫，松本吉弘：
ソフトウェアエンジニアリング・データベース KyotoDB の設計と実現，
情報処理学会論文誌，33巻 11号，pp.1402--1413, 1992.

鯵坂恒夫：開放型CASEプラットフォーム，
コンピュータソフトウェア，10巻，2号，pp.4--12, 1993.

A. Sawada, N. Mitsuda, T. Ajisaka and Y. Matsumoto:
Utilities for Avoiding Constraints Violation in Creating and Updating
the Data in PCTE, Campbell, I. (ed.), PCTE Technical Journal, No.1,
pp.93--113, PIMB Association, 1993.

N. Mitsuda, T. Ajisaka and Y. Matsumoto:
A Semantic-Directed Graph Editor on PCTE,
Proc. Joint Conference on Software Engineering '93, pp.69--76,
IPSJ (Information Processing Society of Japan) and KISS (Korea Information
Science Society), 1993.

T. Ajisaka:
Meta-Integration for Process Integrated CASE Environments,
Proc. 9th Int'l Software Process Workshop (ISPW), pp.62--66,
IEEE Comp. Soc. Press, 1994.

P. Fillon, N. Mitsuda, A. Sawada, T. Ajisaka and Y. Matsumoto:
A Facility to Trace Dependencies Between PCTE Objects for Software Maintenance,
Lindquist, T. and Koehnemann, H. (eds.), PCTE Technical Journal, No.2,
pp.332--350, PIMB Association, 1994.

鯵坂恒夫：ソフトウェアプロセス--プロセス支援環境，
情報処理，36巻，5号，pp.431--437, 1995.

A. Sawada, N. Mitsuda, T. Ajisaka and Y. Matsumoto:
Generating Data Access Programs from PCTE Schemas with Constraints,
Int'l Journal on Software Engineering and Knowledge Eng., Vol.5, No.3,
pp.327--345, 1995.

T. Ajisaka:
The Software Quark Model: a Universal Model for CASE Repositories,
Information and Software Technology, Vol.38, No.3, pp.173--180,
Elsevier Science, 1996.

池田克夫，鯵坂恒夫：情報発信・伝達技術の現状と展望，
システム／制御／情報，40巻，7号，pp.274--278, 1996.

小田章夫，鯵坂恒夫：
Cプログラムに対するカプセル発見手法とその支援ツール，
電子情報通信学会論文誌，Vol.J79-D-I, No.10, pp.745--758, 1996.

T. Ajisaka:
A Semantic Analysis of High Precision for Software Evolution,
Proc. Int'l Workshop on Principles of Software Evolution (IWPSE98),
pp.43--47, 1998.

T. Ajisaka:
Electronic Commerce for Software,
Research and Advanced Technology for Digital Libraries --
Lecture Notes in Computer Science 1513, pp.791--800, Springer, 1998.

沢田篤史，満田成紀，鯵坂恒夫：
ソフトウェアリポジトリにおける意味制約の管理，
情報処理学会論文誌，39巻 11号，pp.3097--3109, 1998.

M. Noro and T. Ajisaka:
Manipulating Software Semantics with Unified Computational Model and
Software Quark Model,
Proc. 6th Asia-Pacific Software Engineering Conference (APSEC'99),
pp.476--483, IEEE Comp. Soc. Press, 1999.

T. Ajisaka:
Software Quark Model: an elementary particle model for measuring
software evolution,
Proc. Int'l Workshop on Principles of Software Evolution (IWPSE2001),
pp.79--82, 2001.

満田成紀，鯵坂恒夫，沢田篤史：
情報相分割にもとづくユーザインタフェース設計，
電子情報通信学会論文誌，Vol.J85-D-I, No.11, pp.1047--1056, 2002.

S. Nagano and T. Ajisaka:
Functional Metrics using COSMIC-FFP for Object-Orinted Realtime Systems,
Proc. 13th Int'l Workshop on Software Measurement, pp.177--185, 
Otto-von-Guericke-Universitaet Magdeburg, 2003.

S. Nagano and T. Ajisaka:
Improvement of an Analytical Model by Extracting Inappropriate
Areas via the Functional Size Measurement Method,
Proc. 15th Int'l Workshop on Software Measurement, pp.121--128, 2005.

M. Minoh, K. Kakusho, N. Babaguchi, T. Ajisaka: 
Sensing Web Project -- How to Handle Privacy Information in Sensor Data,
Proc. of 12th Int'l Conf. on Information Processing and Management
of Uncertainty in Knowledge-Based Systems (IPMU'08), pp.863--869, 2008.

長野伸一，鯵坂恒夫：
制御系ソフトウェアのオブジェクト指向分析に基づく機能規模測定法，
電子情報通信学会論文誌，Vol.J91-D, No.12, pp.2904--2914, 2008.

満田成紀，鯵坂恒夫：
センサ情報共有のためのアーキテクチャとデータ形式標準，
人工知能学会誌，24巻，2号，pp.202--207, 2009.

＜文部省科学研究費＞（94年度以降で代表のもののみ）

1994年度  一般研究(C)  900 千円
ソフトウェア開発保守のプロセスと支援環境の連係に関する研究

1995年度  一般研究(C)  1,000 千円
メゾソフトウェアの概念要素と構造に関する研究

1996年度  基盤研究(C)(2)(一般)  1,000 千円
メゾソフトウェアモデルによるデザインリカバリに関する研究

1997〜1999年度  重点領域研究(2)(領域名：ソフトウェア発展; 公募研究)  2,200 千円
ソフトウェアクォークモデルに基づく発展パターンの発見と発展支援

2000年度〜2002年度  基盤研究(B)(1)  7,100 千円
メディア情報解析による質的情報の評価指標に関する研究

2004年度〜2005年度  萌芽研究  2,600 千円
情報の微視的意味構成とその計量に関する研究

2009年度〜2010年度  挑戦的萌芽研究  2,900 千円
ソフトウェアの精密分析/設計