Information and Systems-Software Science(Date:2002/02/25)

Presentation
表紙

,  

[Date]2002/2/25
[Paper #]
目次

,  

[Date]2002/2/25
[Paper #]
Symbolic Execution for Abstraction of Functional Specification

Hiroshi MORIMOTO,  Tadamasa SATOU,  

[Date]2002/2/25
[Paper #]SS2001-46
Formalizing and Keyword Detection in Software Failures Description

Yoshiko YATA,  Tadamasa SATOU,  

[Date]2002/2/25
[Paper #]SS2001-47
AGORA : Attributed Goal-Oriented Requirements Analysis Method

Haruhiko KAIYA,  Motoshi SAEKI,  Kenji KAIJIRI,  

[Date]2002/2/25
[Paper #]SS2001-48
Compositional Proof of Hybrid Systems and its experiences

Satoshi YAMANE,  

[Date]2002/2/25
[Paper #]SS2001-49
[OTHERS]

,  

[Date]2002/2/25
[Paper #]