Information and Systems-Software Science(Date:1993/09/21)

Presentation
目次

,  

[Date]1993/9/21
[Paper #]
Software Devetopment and Management Method using CASE Integration Technology

Satoru Fujii,  Tomonori Nakamura,  Yuko Hinooka,  Nobuyuki Onishi,  

[Date]1993/9/21
[Paper #]SS93-20
Quality and Process Improvement Database(QPID)

Katsutoshi Shintani,  Mitsutaka Okada,  Masami Matsubara,  Yoriko Okamoto,  

[Date]1993/9/21
[Paper #]SS93-21
An Application of OMT into an Image Filing System-extendability and guidelines for analysis-

Ryu Nakazato,  Kazuki Yoshida,  Hiroko Iriuchijima,  Akihiro Yamashiro,  

[Date]1993/9/21
[Paper #]SS93-22
An Optimal Allocation of the Fixed Number of Processors to Nested Parallel Loops

Shiao-Chieh Lee,  Ken'ichi Harada,  

[Date]1993/9/21
[Paper #]SS93-23
Dependence Analysis and Program Slicing of Recursive Programs

Ryoichi Ueda,  Lin Lian,  Katsuro Inoue,  Koji Torii,  

[Date]1993/9/21
[Paper #]SS93-24
Program Slicing using a path dependence flow graph

Kuniaki Naoi,  Naohisa Takahashi,  

[Date]1993/9/21
[Paper #]SS93-25
A model description language and its supporting system for prototyping

Shungo Shimizu,  Yoshikazu Ueda,  

[Date]1993/9/21
[Paper #]SS93-26
Derivation of Formal specifications based on object-oriented approach from requirement description

Yozo Takizawa,  Yoshikazu Ueda,  

[Date]1993/9/21
[Paper #]SS93-27
Components Searching by Formal Specification and its Evaluation

Syunichi Kurino,  Hirofumi Matsuzawa,  Yoshiaki Fukazawa,  

[Date]1993/9/21
[Paper #]SS93-28
An Environment for Automatically Measuring Programmers′ Capability of Testing and Debugging

Fusayuki Fujita,  Yoshihiro Takada,  Kenichi Matsumoto,  Koji Torii,  

[Date]1993/9/21
[Paper #]SS93-29
A System For Programming-In-Personal-Languages

Kaname Kobayashi,  Takahisa Kimura,  

[Date]1993/9/21
[Paper #]SS93-30
[OTHERS]

,  

[Date]1993/9/21
[Paper #]