形式仕様記述言語VDM++を使って、"Software Requirements Analysis and Specification Techniques"を教えています。
Organization
法政大学大学院情報科学研究科
Following Organizations
No Organizations you are following
$ analyze @shinsahara
posted articles:
- No data
answered questions:
- No data