Information and Systems-Software Science(Date:1999/01/23)

Presentation
表紙

,  

[Date]1999/1/23
[Paper #]
目次

,  

[Date]1999/1/23
[Paper #]
A Technique for Supporting Change Specifications Based on Relationships Between Specifications and Programs

Takahiro Nakanishi,  Motoshi Saeki,  

[Date]1999/1/23
[Paper #]SS98-45
Proposal of a Slicing Algorithm and Its Efficiency and Accuracy Trade-off

Akira Nishimatsu,  Katsuro Inoue,  

[Date]1999/1/23
[Paper #]SS98-46
Evaluation of Function Point Measurement Tool for Requirements Specification

Takashi KASHIMOTO,  Shinji KUSUMOTO,  Katsuro INOUE,  Ayane SUZUKI,  Masaya SHOZUI,  Katsuhiko YUURA,  Michio TSUDA,  

[Date]1999/1/23
[Paper #]SS98-47
On Unification of Organic Programming Language GAEA

Hiroshi Ishikawa,  

[Date]1999/1/23
[Paper #]SS98-48
Specifying The Address Resolution Protocol by using Behavioural Specifications

Hiroshi Unno,  Kokichi Futatsugi,  

[Date]1999/1/23
[Paper #]SS98-49
How to apply behavioural semantics to concurrent distributed systems

Michihiro Matsumoto,  Kokichi Futatsugi,  

[Date]1999/1/23
[Paper #]SS98-50
Hyperlattice Representation for Scopes of Channel Names in Concurrent Processes

Masaki Murakami,  

[Date]1999/1/23
[Paper #]SS98-51
[OTHERS]

,  

[Date]1999/1/23
[Paper #]