窦亮
- 作品数：33 被引量：104H指数：6
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金上海高校本科重点教学改革项目国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 基于Online Judge进行程序设计类课程实践的混合推荐
- 2019年
- 针对计算机程序设计类课程中学生在Online Judge平台上进行编程实践时的个性化表现,提出混合推荐方法的思想及实现方法,探讨综合考虑教学要求和学生个性化特点的学习路径推荐方法。
- 肖春芸贺樑窦亮杨静
- 关键词：程序设计
- 一种面向领域增量任务的大语言模型持续学习方法
- 本发明公开了一种面向领域增量任务的大语言模型持续学习方法，该方法包括：领域知识表征计算和解耦、领域知识预热及领域定位。领域知识表征计算和解耦通过正交约束分离领域不变适配器和领域特定适配器，并学习到对应的知识。领域知识预热...
- 丁炫文周杰窦亮陈琴
- UML动态行为图的机械语义形式验证与精化研究
- 如今的软件系统已经广泛应用于人们日常生活的各个领域,然而,开发出可靠和正确的软件系统依然是一个巨大的挑战。形式化方法使用基于数学符号的形式规范描述系统,使得设计开发人员能够对系统进行严格的形式化描述、分析和验证,提高系统...
- 窦亮
- 关键词：UML序列图UML状态图精化
- 文献传递
- 企业架构设计规范研究与实践被引量：6
- 2018年
- 现今企业分布式的特性和复杂性的加强,对企业架构方法的定制性、扩展性和敏捷性提出了新的要求.本文对三种主流的企业架构方法 Zachman、FEA和TOGAF进行了横向对比和介绍,对TOGAF方法论配套的架构设计语言ArchiMate和统一建模语言UML进行了纵向对比和分析,通过一个真实案例展示了使用ArchiMate设计企业架构的基本方法,以及在实践过程中如何根据项目需要进行定制,此案例可为企业架构设计提供参考.
- 杨英明丁宝宝邬桐窦亮
- 关键词：企业架构建模语言TOGAFUML
- 一种非侵入式Java开源软件的二次开发方法
- 本发明公开了一种非侵入式Java开源软件的二次开发方法，其特点是该方法基于运行时字节码修改的开源软件二次开发，具体包括：插件开发和动态替换等步骤，所述插件开发使用Java语言编写各个指定方法被修改后的程序逻辑并将代码编译...
- 汪庆顺窦亮贺樑
- 基于MVC设计模式的电子名片系统的设计与实现被引量：11
- 2005年
- 设计并实现了一个基于MVC设计模式的电子名片系统,并对系统实现中的一些难点及解决办法进行了介绍。这种方法经实践验证安全性和移植性都比较好。
- 窦亮金恩年黄国兴
- 关键词：电子名片JAVABEANSERVLET数据库连接池MVC设计模式
- 编译实验课程的教学研究与实践被引量：6
- 2009年
- 本文在研究了国内外高校编译实验课程教学情况的基础上,介绍了华东师范大学计算机系"编译原理实践"课的实施情况。教师从教学内容、教学方法、教学手段等方面对该课程进行了深入的研究和改革,提高了学生的动手实践能力,有助于培养学生的"计算机思维能力"。
- 窦亮杨宗源王婷婷
- 关键词：实践教学课程改革
- 一种基于领域专用语言的接口自动化测试方法
- 本发明公开了一种基于领域专用语言的接口自动化测试方法，其特点是采用领域专用语言描述的方法，将文字化的业务规则描述转换为规范的领域知识，使用测试脚本生成器，自动生成覆盖正反向场景的接口测试脚本，实现接口自动化测试。本发明与...
- 蔡晨暄窦亮
- 一种基于动态服务拓扑映射的Kubernetes容器网络数据包指标采集的方法及系统
- 本发明提供了一种基于动态服务拓扑映射的Kubernetes容器网络数据包指标采集方法及系统。所述方法步骤包括：a)动态构建服务拓扑映射关系：实时感知Endpoint变化，构建和更新服务拓扑映射关系图；b)动态识别获取Po...
- 窦亮侯传杰方奕
- 文献传递
- 定理证明器Coq与机械语义研究
- 2015年
- 随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互式定理证明器Coq具备强大的描述能力,可以形式化地描述程序语法和语义,利用其内置函数式编程语言实现对程序语义的复杂操作,通过其证明系统形式地证明操作的正确性。根据形式语义的理论,针对简单类型Lambda演算的操作语义和指称语义,展示了如何利用定理证明器Coq的归纳定义实现它们的形式描述,并对语义的重要属性进行证明,表明机械语义是确保基础软件正确性的基础。
- 窦亮刘强杨宗源
- 关键词：定理证明形式语义
