Information and Systems-Software Science(Date:1994/11/17)

Presentation
表紙

,  

[Date]1994/11/17
[Paper #]
目次

,  

[Date]1994/11/17
[Paper #]
A Document Generation System for Abstract Sequential Machine Specifications

Tomoyuki Kudoh,  Yasunori Ishihara,  Hiroyuki Seki,  

[Date]1994/11/17
[Paper #]SS94-35
A Tool Detecting Patterns of Programmers' Behavior When They Likely Inject Bugs

Masazumi Yanagi,  Akito Monden,  Yoshihiro Takada,  Koji Torii,  

[Date]1994/11/17
[Paper #]SS94-36
Imprementation of a Document Editor for Natural Language Processing

Masakatsu Tsutsumi,  Kenji Araki,  Yoshikazu Miyanaga,  Koji Tochinai,  

[Date]1994/11/17
[Paper #]SS94-37
Software Process Description in a Petri Net Model and Its Distributed Execution

Hirozumi Yamaguchi,  Kozo Okano,  Teruo Higashino,  Kenichi Taniguchi,  

[Date]1994/11/17
[Paper #]SS94-38
A data model for algorithm base in a research supporting system of algorithms

Takuro Iida,  Kyoko Iwasawa,  Mario Nakamori,  

[Date]1994/11/17
[Paper #]SS94-39
Specification Method of real-time system using timed ∀-automaton

Satoshi Yamane,  

[Date]1994/11/17
[Paper #]SS94-40
A Scheduling Algorithm using Serialization Graph Testing for Distributed Database System

Harumasa Tada,  Masahiro Higuchi,  Mamoru Fujii,  Jun Okui,  

[Date]1994/11/17
[Paper #]SS94-41
[OTHERS]

,  

[Date]1994/11/17
[Paper #]