Reflective Specification: Applying A Reflective Language To Formal Specification

Publication Information

Title

Japanese:
English:	Reflective Specification: Applying A Reflective Language To Formal Specification

Author

Japanese:	佐伯元司, Takeshi Hiroi, 鵜飼孝典.
English:	MOTOSHI Saeki, Takeshi Hiroi, Takanori Ugai.

Language

English

Journal/Book name

Japanese:
English:	Proc. 7th International Workshop on Software Specification & Design

Volume, Number, Page

pp. 204-213

Published date

Dec. 1993

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

File