问题：
[单选题]下列有关形式化的说法错误的是
A形式化是软件工程发展的方向
B形式化研究做什么
C形式化研究怎么做
D形式化是自动化的必由之路
答案解析：
您可能感兴趣的问题
- ５．世界银行工程造价的构成与我国现阶段工程造价的构成有哪些不同？
- １２．工程量清单中的单价应如何确定？请列出计算表达式。
- ９．试述财务评价内容和指标体系，它们之间有何联系？项目财务赢利能力应由哪些指标来判别？
- ７．设计方案优选的途径有哪些？
- １５．某建筑外墙厚３７０ｍｍ，中心线总长８０ｍ，内墙厚２４０ｍｍ，净长线总长为３５ｍ。底层建筑面积为６００ｍ２，室内外高差０．６ｍ。地坪厚度１００ｍｍ，已知该建筑基础挖土量为１０００ｍ３，室外设计地坪
- 1.什么是工程招投标？工程招投标对我国建设市场的规范化有何现实意义？
- １５．某施工单位参加投标，其报价为最低合理价，除提出将固定合同价改为可调合同价的要求，其余均实质性响应招标文件要求。试问可否将该单位作为中标单位？为什么？
- ３．工程变更产生的原因有哪些？应如何加强控制，减少工程变更？
- ５．竣工验收中的质量核定是由哪个部门组织核定的？在竣工验收中有何意义？
- ８．竣工结算与竣工决算有何联系？二者在建设阶段所起的作用有何不同？