函数映射论文

Z规格说明中关系和函数到C++STL的自动转换
论文摘要软件开发的形式化方法被当今计算机界誉为克服“软件危机”，提高软件可靠性和生产效率的革命性途径。形式化开发方法中，人们利用软件的规格说明来描述计算机“做什么”。目前Z是最...