摘要： 毕业设计：文献参考（1） 一、基本信息 标题：一种软件自适应 UML 建模及其形式化验证方法 来源：中国科学院软件研究所 作者：韩德帅，杨启亮，邢建春 二、研究背景 软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一 阅读全文

摘要： 毕业设计：文献参考（11） 一、基本信息 标题：UML顺序图形式化语义的研究综述 来源：计算机科学 作者：郭艳燕,张楠,童向荣 二、研究背景 随着模型驱动软件开发方法的发展和形式化方法在软件开发中的应用，已经成为软件行业标准的统一建模语言ＵＭＬ（ｕｎｉｆｉｅｄｍｏｄｅｌｉｎｇｌａｎｇｕａｇｅ）的精确 阅读全文

摘要： 2020软件工程个人作业06 软件工程 https://edu.cnblogs.com/campus/zswxy/software-engineering-2017-1/ 本作业要求 https://edu.cnblogs.com/campus/zswxy/software-engineering- 阅读全文

摘要： 2020软件工程个人作业06 软件工程 https://edu.cnblogs.com/campus/zswxy/software-engineering-2017-1/ 本作业要求 https://edu.cnblogs.com/campus/zswxy/software-engineering- 阅读全文

摘要： https://www.cnblogs.com/yys1007260118/p/12643899.html 队友博客 阅读全文

摘要： 软件工程https://edu.cnblogs.com/campus/zswxy/software-engineering-2017-1 作业要求 https://edu.cnblogs.com/campus/zswxy/software-engineering-2017-1/homework/10 阅读全文

摘要： 2020软件工程作业01 这个作业属于哪个课程 https://edu.cnblogs.com/campus/zswxy/software-engineering-2017-1 这个作业要求在哪里 https://edu.cnblogs.com/campus/zswxy/software-engin 阅读全文

摘要： 2020软件工程作业01 这个作业属于哪个课程 https://edu.cnblogs.com/campus/zswxy/software-engineering-2017-1 这个作业要求在哪里 https://edu.cnblogs.com/campus/zswxy/software-engin 阅读全文