Print edition: ISSN 0913-5685
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2006-13
A complete specification transformation from OTS/CafeOBJ to OTS/Maude
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (JAIST)
pp. 1 - 6
SS2006-14
Transformation of Equational Rewriting Systems for Removing some Equations
Koichi Miura, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 7 - 12
SS2006-15
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.)
pp. 13 - 18
SS2006-16
Some Cases on Model-Checking of Finite-state Automaton with Constraints
Shin Nakajima (NII/JST)
pp. 19 - 24
SS2006-17
Identification of Inconsistency between Class Diagram and Sequence Diagram
Erwin Widodo, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 25 - 30
SS2006-18
A Method of Reliability Assessment Based on Genetic Algorithm for Open Source Software
Yoshinobu Tamura (HIT), Shigeru Yamada (Torrori Univ.)
pp. 31 - 36
SS2006-19
Combining Software Development Methodologies with Project Management Technologies
Koichiro Ochimizu (JAIST)
pp. 37 - 42
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.