Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2007-16
Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems
Toshiki Murata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 1 - 6
SS2007-17
Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting
Yuji Sasada, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 7 - 12
SS2007-18
Multi-Completion Procedures of Term Rewriting Systems using the Dependency Pair Method
Haruhiko Sato, Masahito Kurihara (Hokkaido Univ.)
pp. 13 - 18
SS2007-19
Scenario Map for Classifying Scenarios
Satoru Yanagawa, Atsushi Ohnishi (Ritsumeikan U.)
pp. 19 - 24
SS2007-20
Proposal and Implementation of an API Documentation Tool for the Java Language
Kazuaki Hashimoto, Yasuhiro Sugiyama (Nihon Univ.)
pp. 25 - 30
SS2007-21
TrmiMonitor: A Remote Object Management Console for TRMI
Kazuki Toyama (Nihon Univ.), Toshihiro Kitagawa (SRA OSS), Mitsuru Nagata, Yasuhiro Sugiyama (Nihon Univ.)
pp. 31 - 36
SS2007-22
A Case study - Design of Warehouse Management Program in JML and Verification with ESC/Java2 -
Masayuki Owashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 37 - 42
SS2007-23
Scenario Validation with Definition-Reference Relationships upon Condition of Actors
Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 43 - 48
SS2007-24
Interface Migration Using Abstract Interaction Description
Takuto Yanagida, Hidetoshi Nonaka (Hokkaido Univ.)
pp. 49 - 52
SS2007-25
Supporting Construction of Domain Ontologies for Requirements Analysis
Ryo Hasegawa, Motohiro Kitamura (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.), Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 53 - 58
SS2007-26
An Evaluation of Computerized Tools for Method Construction
Inge van de Weerd (Utrecht Univ.), Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 59 - 63
SS2007-27
Right-weight Formal Methods for Real-Time Components
Shin Nakajima (NII)
pp. 65 - 70
SS2007-28
Analyzing failures and their recovery operations in information systems based on state transition models
Teruyoshi Zenmyo (Toshiba)
pp. 71 - 75
SS2007-29
Abstraction of Extended Timed Automata for UPPAAL Based on Counterexample-Guided Abstraction Refinement Loop
Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ)
pp. 77 - 82
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.