Information and Systems-Software Science(Date:2006/06/15)

Presentation
表紙

,  

[Date]2006/6/15
[Paper #]
目次

,  

[Date]2006/6/15
[Paper #]
A complete specification transformation from OTS/CafeOBJ to OTS/Maude

Masaki NAKAMURA,  Weiqiang KONG,  Kazuhiro OGATA,  Kokichi FUTATSUGI,  

[Date]2006/6/15
[Paper #]SS2006-13
Transformation of Equational Rewriting Systems for Removing some Equations

Koichi MIURA,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichiro KUSAKARI,  

[Date]2006/6/15
[Paper #]SS2006-14
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,  

[Date]2006/6/15
[Paper #]SS2006-15
Some Cases on Model-Checking of Finite-state Automaton with Constraints

Shin NAKAJIMA,  

[Date]2006/6/15
[Paper #]SS2006-16
Identification of Inconsistency between Class Diagram and Sequence Diagram

Erwin Widodo,  Atsushi Ohnishi,  

[Date]2006/6/15
[Paper #]SS2006-17
A Method of Reliability Assessment for Open Source System Development Based on Genetic Algorithms

Yoshinobu TAMURA,  Shigeru YAMADA,  

[Date]2006/6/15
[Paper #]SS2006-18
Combining Software Development Methodologies with Project Management Technologies

Koichiro Ochimizu,  

[Date]2006/6/15
[Paper #]SS2006-19
複写される方へ

,  

[Date]2006/6/15
[Paper #]
Notice about photocopying

,  

[Date]2006/6/15
[Paper #]
奥付

,  

[Date]2006/6/15
[Paper #]