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 |