Presentation	1996/1/18 Interactive Diagnosing System on Z Notation(2) Tamao Yoshida, Noboru Mastuda, Toshio Okamoto,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	Many formal specification languages for developing computer systems have been proposed so far. The Z notation (Z) is one of the most famous specification languages. Z is to be beneficial to cost and quality, but it's needed for learners long time and efforts to learn it. We are developing a diagnosing system to support learners constructing a specification in Z. This system diagnoses the documents in z and answers to user's questions. And this system automatically constructs a sequel to specification in response to user's demand. Using this system, users (especially, the biginners) can easily learn how to make specification in Z.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)
Paper #	AI95-52
Date of Issue

Conference Information
Committee	AI
Conference Date	1996/1/18(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Artificial Intelligence and Knowledge-Based Processing (AI)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Interactive Diagnosing System on Z Notation(2)
Sub Title (in English)
Keyword(1)
1st Author's Name	Tamao Yoshida
1st Author's Affiliation	The Graduate School of Information Systems, University of Electro-Communication()
2nd Author's Name	Noboru Mastuda
2nd Author's Affiliation	The Graduate School of Information Systems, University of Electro-Communication
3rd Author's Name	Toshio Okamoto
3rd Author's Affiliation	The Graduate School of Information Systems, University of Electro-Communication
Date	1996/1/18
Paper #	AI95-52
Volume (vol)	vol.95
Number (no)	460
Page	pp.pp.-
#Pages	8
Date of Issue