WeblyWalkThrough:VDM-SL的Web API服务器-开源

【文件属性】：

文件名称：WeblyWalkThrough:VDM-SL的Web API服务器-开源

文件大小：29.36MB

文件格式：ZIP

更新时间：2024-06-03 22:42:02

开源软件

Webly Walk-Through是由VDM-SL驱动的Web API原型服务器。 九州大学（c）2014年面向架构的形式方法研究中心版权所有（c）该计划的开发得到了科学研究资助计划（S）24220001对高质量软件开发的面向架构的形式方法的支持