Contents of Report

[Data of Report]

Report Number:: TM0677
Date of Registration:: 1989.02
English Title:: A Study on Verification of Service Specification in Communication Software Development
Japanese Title:: ***
English Author:: K.Shibata,Y.Ueda,S.Yuyuma,H.Hasegawa
Japanese:: ***
Name of Organization to which author belongs:: Oki,Oki,Oki,Oki
PDF:: tm0677.pdf

	Summary	.... 2
1	Introduction	.... 2
2	Outline of EXPRESS	.... 2
3	Basic Terminology	.... 6
4	Expression of Service Specification	.... 7
5	Verification of Service Specification	.... 8
6	Conclusion	.... 9
7	Acknowledgement	.... 9
8	References	.... 9
	End	.... 10

目次をクリックすると、PDFファイルが表示されます。