Information and Systems-Software Science(Date:2007/07/26)

Presentation
表紙

,  

[Date]2007/7/26
[Paper #]
目次

,  

[Date]2007/7/26
[Paper #]
Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems

Toshiki MURATA,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2007/7/26
[Paper #]SS2007-16
Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting

Yuji SASADA,  Masahiko SAKAI,  Naoki NISHIDA,  Toshiki SAKABE,  Keiichiro KUSAKARI,  

[Date]2007/7/26
[Paper #]SS2007-17
Multi-Completion Procedures for Term Rewriting Systems using the Dependency Pair Method

Haruhiko SATO,  Masahito KURIHARA,  

[Date]2007/7/26
[Paper #]SS2007-18
Scenario Map for Classifying Scenarios

Satoru YANAGAWA,  Atsushi OHNISHI,  

[Date]2007/7/26
[Paper #]SS2007-19
Proposal and Implementation of an API Documentation Tool for the Java Language

Kazuaki HASHIMOTO,  Yasuhiro SUGIYAMA,  

[Date]2007/7/26
[Paper #]SS2007-20
TrmiMonitor : A Remote Object Management Console for TRMI

Kazuki TOYAMA,  Toshihiro KITAGAWA,  Mitsuru NAGATA,  Yasuhiro SUGIYAMA,  

[Date]2007/7/26
[Paper #]SS2007-21
A Case study : Design of Warehouse Management Program in JML and Verification with ESC/Java2

Masayuki OWASHI,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2007/7/26
[Paper #]SS2007-22
Scenario Validation with Definition-Reference Relationships upon Condition of Actors

Hiroya ITOGA,  Atsushi OHNISHI,  

[Date]2007/7/26
[Paper #]SS2007-23
Interface Migration Using Abstract Interaction Description

Takuto YANAGIDA,  Hidetoshi NONAKA,  

[Date]2007/7/26
[Paper #]SS2007-24
Supporting Construction of Domain Ontologies for Requirements Analysis

Ryo HASEGAWA,  Motohiro KITAMURA,  Haruhiko KAIYA,  Motoshi SAEKI,  

[Date]2007/7/26
[Paper #]SS2007-25
An Evaluation of Computerized Tools for Method Construction

DE WEERD Inge VAN,  Motoshi SAEKI,  

[Date]2007/7/26
[Paper #]SS2007-26
Right-weight Formal Methods for Real-time Components

Shin NAKAJIMA,  

[Date]2007/7/26
[Paper #]SS2007-27
Analyzing failures and their recovery operations based on state transition models

Teruyoshi ZENMYO,  

[Date]2007/7/26
[Paper #]SS2007-28
Abstraction of Extended Timed Automata for UPPAAL Based on Counterexample-Guided Abstraction Refinement Loop

Takeshi NAGAOKA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2007/7/26
[Paper #]SS2007-29
複写される方へ

,  

[Date]2007/7/26
[Paper #]
Notice for Photocopying

,  

[Date]2007/7/26
[Paper #]
奥付

,  

[Date]2007/7/26
[Paper #]