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 |