metanorma / mn-samples-plateau

Project PLATEAU by MLIT: Japanese Ministry of Land, Infrastructure, Transport and Tourism (国土交通省)
https://www.mlit.go.jp/plateau/
1 stars 0 forks source link

Document 02: Adopt ModSpec for requirements #118

Closed ronaldtse closed 2 months ago

ronaldtse commented 3 months ago

The PLATEAU team has accepted the recommendation to use ModSpec for requirements.

We need to encode requirements, recommendations, etc formally.

ronaldtse commented 2 months ago

This is all done.