形式仕様記述言語VDM++を使って、"Software Requirements Analysis and Specification Techniques"を教えています。
Organization
法政大学大学院情報科学研究科
Following Organizations
No Organizations you are following
Following Organizations
No following Organizations
Find Organizations to follow
Search Organizations