Summary: Information about the Z formal specification notation Archive-name: z-faq.japanese Maintainer: Jonathan Bowen <J.P.Bowen@reading.ac.uk> URL: http://www.faqs.org/faqs/z-faq/ (最終更新日は2006年です) Translated by : Takanori Ugai <ugai@fujitsu.com>
NAME: comp.specification.z STATUS: unmoderated 目的: 形式的仕様記述言語 Z にかんする話題
訳者注 : 日本語版でも直したつもりですが, 間違いがありましたら, ugai@fujitsu.com にお知らせ下さい.問題は行頭から "Subject:" で始まるようになっています.
訳者注 : FDT-j.html で日本国内のFDTに関する研究について情報を集めています. 情報提供にご協力下さい.