软件形式化
软件形式化技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
软件形式化 热门资料
查看全部 500 份 →Agent系统软件体系结构形式化建模方法
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构
2024-02-28
6
基于构件的软件形式化开发方法研究与应用.rar
如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。 本文针对现有信息系统开发方法的不足,在对构件复用技术和XML技术深入研究的...
2023-09-16
2
地理数据格式转化小软件
地理数据格式转化小软件，可以实现ESRI EOO(*.e00)，Info MIF(*.mif)，AutoCAD(*.dxf)，地球数据标准格式(*.vct)， ESRI Shape(*.shp)，NREDIS标准格式(*.nsi),地理要...
2015-08-22
176