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-06-22 to:2006-06-22'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 12 of 12  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2006-06-22
13:30
Okayama   A complete specification transformation from OTS/CafeOBJ to OTS/Maude
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (JAIST)
There are two ways to describe a state machine with algebraic specifications: observation transition systems on CafeOBJ ... [more] SS2006-13
pp.1-6
SS 2006-06-22
14:00
Okayama   Transformation of Equational Rewriting Systems for Removing some Equations
Koichi Miura, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
In equational rewriting, which is rewriting modulo equations, the set of all direct successors from a given term is in g... [more] SS2006-14
pp.7-12
SS 2006-06-22
14:45
Okayama   Usable Rules and Labeling Product-Typed Term for Dependency Pair Method in Simply-Typed Term Rewriting Systems
Takahiro Sakurai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
 [more] SS2006-15
pp.13-18
SS 2006-06-22
15:15
Okayama   Some Cases on Model-Checking of Finite-state Automaton with Constraints
Shin Nakajima (NII/JST)
 [more] SS2006-16
pp.19-24
SS 2006-06-22
16:00
Okayama   Identification of Inconsistency between Class Diagram and Sequence Diagram
Erwin Widodo, Atsushi Ohnishi (Ritsumeikan Univ.)
Aside of its advantages, the emerging problem in Unified Modeling Language (UML) practice is models’ inconsistency. In t... [more] SS2006-17
pp.25-30
SS 2006-06-22
16:30
Okayama   A Method of Reliability Assessment Based on Genetic Algorithm for Open Source Software
Yoshinobu Tamura (HIT), Shigeru Yamada (Torrori Univ.)
An OSS (open source software) system which serves as key components of critical infrastructures in the society are still... [more] SS2006-18
pp.31-36
SS 2006-06-22
17:00
Okayama   Combining Software Development Methodologies with Project Management Technologies
Koichiro Ochimizu (JAIST)
We propose the definition and the realization method of a new concept named “Software Accountability” that enables an in... [more] SS2006-19
pp.37-42
SS 2006-06-23
09:30
Okayama   Applying Partial Redundancy Elimination to Instruction Scheduling
Munehiro Takimoto (TUS)
 [more] SS2006-20
pp.1-6
SS 2006-06-23
10:00
Okayama   Management of temporary information by sticky notes and its application
Daisuke Kiyosaki, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto (Aichi Pref. Univ.)
In software development, it is important to share knowledge between developers.While information managed by document is ... [more] SS2006-21
pp.7-12
SS 2006-06-23
10:30
Okayama   Extraction of traceable differences between multiple versions of source code
Takayuki Omori, Tetsuo Yamamoto, Katsuhisa Maruyama (Ritsumeikan Univ.)
In a software development using a version control system, it is hard to capture details of differences between two versi... [more] SS2006-22
pp.13-18
SS 2006-06-23
11:15
Okayama   An Integrated Tool for Supporting Ontology Based Requirements Elicitation
Motohiro Kitamura, Ryo Hasegawa (tokyo institute of technology), Nobuo Yamabe, Haruhiko Kaiya (shinshu university), Motoshi Saeki (tokyo institute of technology)
Because requirements analysts do not always have sufficient knowledge in the problem domain (domain knowledge), it is si... [more] SS2006-23
pp.19-24
SS 2006-06-23
11:45
Okayama   Implementation of Mail Archive System with Collaborative Editing
Kho Yee Choy, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
Existing mail archive system provides only basic search functions. Therefore, developers cannot retrieve useful informat... [more] SS2006-24
pp.25-30
 Results 1 - 12 of 12  /   
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