论文部分内容阅读
电气自动化技术在现代建筑中的应用探讨
【机 构】
:
山东山大华天科技集团股份有限公司 山东济南 250000
【出 处】
:
建筑工程技术与设计
【发表日期】
:
2020年5期
其他文献
针对当前需求管理工具缺乏对软件过程的支持,设计一个基于软件过程的需求管理系统。通过需求过程管理,使需求管理在指定的软件过程下进行,以适应不同软件过程的要求;通过需求变
领域驱动设计为大规模软件系统的实现提供了方法论,是实践经验的总结。它强调领域模型的建立、通用语言的使用以及团队沟通在软件系统实施过程中的重要性,在领域建模方面提供了
软件演化过程构件实际是一个高内聚且内部一致的软件构件。针对软件演化过程的特点,把封装了形式化描述片段的过程构件作为构成演化过程模型的基本元素来探究演化过程构件的搜
会议
针对符号执行建立的路径条件求解困难的问题,结合混合约束求解的最新研究成果,提出了一个多策略的路径条件求解算法。分析了路径条件的具体特征,通过路径条件的变换及时消除不可