软件开发过程

龙软科技:深耕智能矿山信息化 迈向国际领先的资源开采软件服务商

深耕智能矿山信息化跻身行业领军者 展望未来,以科创板上市为新契机,龙软科技将深度分析与升华多年积累的煤炭工业两化融合和公共安全信息化管控经验,以客户价值为导向,基于LongRuan GIS +互联网+大数据+人工智能,为煤炭工业、危化企业、智慧安监、应急救援提供可满足其深层次需求

从码农到工匠:优秀程序员的共同特质和素养

未经审视的人生不值得过。——苏格拉底在我的工作经历中,会发现有一些技术人员成长很快,能够迅速成为团队的骨干,也有一些技术人员总是在原地踏步,工作十年和工作一年的区别并不大。渐渐地,我发现这些优秀的技术人员都有一些共同的特质和素养,从而帮助他们不断进步,脱颖而出。10.

智能合约系列 | 智能合约工程重要环节:形式化验证方法

北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院 周楚涵 胡凯 形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理转化成智能合约模型,可以消除自然语言的歧义性

人工智能给敏捷项目管理带来的九大好处

人工智能在改善和加快软件开发并提高项目质量方面具有巨大潜力,尤其在提高软件开发效率方面。几十年来,人工智能已在各种行业中证明了其卓越的才能。从机器人到制造业,再到贸易商的库存变动和货币预测,人工智能已成为我们生活的一部分。