排序方式： 共有2条查询结果，搜索用时 0 毫秒
1
1.
为更深入地认识和表征知识工作,基于客观本体视角对知识工作系统中的知识系统及其功能的关系进行研究.将知识工作构造成以知识系统为投入,以功能为产出的生产系统,以此构造了知识工作框架系统,并应用该框架系统对文档编辑软件设计工作案例进行分析. 相似文献
2.
As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software. With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed. 相似文献
1