项目简介
本项目针对既有的软件开发方法和支撑技术体系缺乏对开放环境中多种非确定性的系统化应对这一问题, 从软件的个体适应、群体生态、自主能力和可信保障等角度切入, 在以下四个方面部署了研究工作:(1)自适应软件系统的非确定性应对,(2)开放生态环境下软件系统的持续演化, (3)自适应软件系统的智能化支撑,(4)软件智能适应行为的可信性保障。
研究方向
形式化规格、分布式系统、一致性与可靠性、系统工程化。
公开内容
公开视频、论文解读、评述文章、开源项目与媒体报道。
合作与传播
欢迎技术交流、学术合作与开源共建。
精选内容
主观策展的代表性条目,覆盖公开演讲、论文与开源项目。
公开报告索引
所有公开内容统一索引,支持关键词搜索与类型筛选。
类型