IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Software Science (SS)  (Searched in: 2006)

Search Results: Keywords 'from:2006-08-03 to:2006-08-03'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 15 of 15  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2006-08-03
13:00
Hokkaido Hokkaido University Software Design Method using Extended Finite-state Automata with Constraints
Shin Nakajima (NII)
 [more] SS2006-25
pp.1-6
SS 2006-08-03
13:30
Hokkaido Hokkaido University Semantics of identifying objects in computers by using attributes, and its syntax translation
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo)
The objective is to be able for users to describe the purpose of a processing using intended attributes instead of ordin... [more] SS2006-26
pp.7-12
SS 2006-08-03
14:00
Hokkaido Hokkaido University Static call-graph generator for C++ using debugging information -- Detecting virtual function calls by light-weight binary-level type analysis --
Yui Terashima, Katsuhiko Gondow (Titech)
 [more] SS2006-27
pp.13-18
SS 2006-08-03
14:45
Hokkaido Hokkaido University Design and Implementation of a Web Board Game Using Double-Phase XSLT Structure
Takayo Nagase, Naruki Mitsuda, Naoki Fukuyasu, Takuo Matsunobe, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.)
 [more] SS2006-28
pp.19-24
SS 2006-08-03
15:15
Hokkaido Hokkaido University A Resource Discovery Method Based on Multi-Agents in P2P Systems
Yoshikuni Harada, Yasushi Kambayashi (N.I.T.)
 [more] SS2006-29
pp.25-29
SS 2006-08-03
15:45
Hokkaido Hokkaido University Automatic Updating System of Java Software Component Repository using Desktop Search System
Makoto Ichii, Kazumasa Kimura, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
Component retrieval systems are proposed for effective software development and SPARS-J is one which targets Java compon... [more] SS2006-30
pp.31-36
SS 2006-08-03
16:30
Hokkaido Hokkaido University Report on Effectiveness of Refactoring for Code Clone
Yoshiki Higo, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.)
Refactoring is a disciplined technique for restructuring an existing body
of code, altering its internal structure with... [more]
SS2006-31
pp.37-42
SS 2006-08-03
17:00
Hokkaido Hokkaido University Effects of Thesarus in Requirements Elicitation
Junzo Kato (consultant), Motoshi Saeki (Titech), Atsushi Ohnishi (Rits U), Haruhiko Kaiya (Shinshu u), Shuichiro Yamamoto (NTT Data)
 [more] SS2006-32
pp.43-48
SS 2006-08-03
17:30
Hokkaido Hokkaido University On the Definition of Software Accountability
Koichiro Ochimizu (JAIST)
We propose the definition and the realization method of a new concept named “Software Accountability” that enables an in... [more] SS2006-33
pp.49-54
SS 2006-08-04
08:45
Hokkaido Hokkaido University Multi-Completion with new encoding for Partial Order Constraints
Haruhiko Sato, Masahito Kurihara (Hokkaido Univ.)
 [more] SS2006-34
pp.1-6
SS 2006-08-04
09:15
Hokkaido Hokkaido University The Research about Creating Auto Edition Template with the Formal Languages Method
Kenichi Zai (Rococo)
The technology of auto edition is being required with the development of technology of the publishing industry now. The ... [more] SS2006-35
pp.7-11
SS 2006-08-04
09:45
Hokkaido Hokkaido University Hierarchical Model Checking to Ensure Timeliness QoS Described in UML/OCL
Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
 [more] SS2006-36
pp.13-18
SS 2006-08-04
10:30
Hokkaido Hokkaido University Extension of Interaction Model by Mapping Method
Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara (Hokkaido Univ.)
We can find inconvenient situations that existing services offer user interfaces predefined and fixed by designers.
In ... [more]
SS2006-37
pp.19-22
SS 2006-08-04
11:00
Hokkaido Hokkaido University An Efficient Model Checking Method for Programs with History-based Access Control
Jing Wang, Yoshiaki Takata, Hiroyuki Seki (NAIST)
我々は、実行履歴に基づくアクセス制御を含む再帰プログラムの形式モデルHBACプログラムを提案し、HBACプログラムのモデル検査法について考察してきた。本発表では、提案するモデル検査法におけるいくつかの最適化手法を述べる。また、実装した検証ツ... [more] SS2006-38
pp.23-28
SS 2006-08-04
11:30
Hokkaido Hokkaido University Hierarchical Model-checking for Web Application with SPIN
Yuu Hamaguchi, Akira Yoshimura, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
 [more] SS2006-39
pp.29-34
 Results 1 - 15 of 15  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan