Info

站点地图

网站内容的概览。将鼠标停放到条目上数秒，可查看其描述信息。

• 新闻
• 公告
• 成员
  • 教师
  • 教工
  • 研究生
  • 毕业生
  • 访问学者
  • 客座教授
  • 兴趣专长
    • 面向服务的计算
    • 软件复用
    • 系统管理
    • 可信软件
    • 分布计算与中间件
    • 测试与验证
    • 形式化技术
    • 自主管理
    • 设计模式
    • 需求工程
    • 规约及验证
    • 体系结构与设计
    • 分析与测试
    • 逆向工程与重构
    • 程序理解
    • 工具与环境
    • 经验软件工程
    • 开发范型与过程
    • 软件度量
    • 面向侧面的开发
    • 移动与嵌入式系统
    • 开放标准与认证
    • 配置管理
    • 分布协同开发
    • 计算理论
    • 语言及编译
    • 操作系统
  • 研究小组
    • 面向对象与建模
    • 程序理解与测试
    • 资源库
    • 操作系统
    • 软件体系结构
    • 网构软件
    • 自主计算
    • 领域工程
    • 应用服务器
    • 实时嵌入式中间件
    • 软件过程管理
    • 软件分析与监测
    • 软件需求工程
• 科研
  • 产业化之路
    • 北大艾斯应用服务器
    • 特征建模支持工具
    • 公共软件构件库
    • 体系结构建模工具ABCTool介绍
    • 北大Java语言合约式设计支撑工具软件
    • 青鸟程序分析理解工具集
    • 面向对象的软件建模工具JBOO3.0
    • 项目管理组——青鸟项目管理工具（JBPM）
    • 电源管理
    • 中文18030标准的支持
    • 蓝牙支持
    • 嵌入式TCP/IP协议栈构件
    • VNC应用支持构件
    • 基于构件的嵌入式操作系统的绑定服务
    • PKUAS应用情况
    • 构件库
    • 引用图片
  • 科研项目
    • 已完成项目
    • 在研项目
  • 研究领域
    • 研究领域
    • 软件复用与软件构件技术
    • 软件工程基础理论
    • 中间件技术
    • 网络软件与特征交互
    • 软件工业化生产技术与系统
    • 面向对象方法与技术
    • 操作系统与系统软件
  • 合作研究
• 教学
  • 承担课程
    • 计算概论B
    • Linux程序设计环境
    • 课程列表
  • 讲座课程
    • 软件产品线工程
• 文献
  • 2009
    • Dual-Container: Extending the EJB2.x Container to Support EJB3.0
    • Towards A Well Structured and Dynamic Application Server
    • Test-Data Generation Guided by Static Defect Detection
    • Interactive Fault Localization Using Test Information
    • VIDA: Visual Interactive Debugging
    • Jtop: Managing JUnit Test Cases in Absence of Coverage Information
    • Prioritize JUnit Test Cases in Absence of Coverage Information
    • 一种在线的动态网页分块缓存方法
    • 面向OSGi的应用服务器重构方法和实践
    • Learning in offshored and legacy software projects: How product structure shapes organization
  • 2008
    • Constructing Flexible Application Servers with Off-the-Shelf Middleware Services Integration Framework
    • On Similarity-Awareness in Testing-Based Fault Localization
    • A perspective on evolution of middleware technology supporting Internetware
    • 一种考虑QoS数据可信性的服务选择方法
  • 2007
  • 2006
    • Towards Interactive Fault Localization Using Test Information
    • Testing-Based Interactive Fault Localization
  • 2005
    • Eliminating Harmful Redundancy for Testing-Based Fault Localization using Test Suite Reduction: An Empirical Study
  • 2004
    • 用 Java / C# 开发手机程序及移动应用
    • Visual Basic 程序设计题解与实验指导
  • 2003
    • 面向对象的系统设计
    • 计算机上机实验考试应试指导
    • Windows CE .NET 系统分析及实验教程
    • C# 程序设计教程
    • Visual Basic 程序设计
    • 应用服务器原理与实现
    • 青鸟面向对象的软件建模工具的设计与实现
    • 基于软件体系结构的反射式中间件研究
    • 一种支持多协议的开放互操作框架
    • 一种支持变化性的构件模型 JBCOM/E
    • 面向对象的软件建模工具 JBOO 的研究与实现
    • ABC ：基于软件体系结构、面向构件的软件开发方法
    • 一种面向特征的领域模型及其建模过程
    • 基于软件体系结构的反射式中间件研究
    • UML 中衍型的精确定义与分析
    • UML 的发展和存在的问题
    • UML 现存的问题和发展道路
    • 面向 Aspect 的程序设计ꆼ一种新的编程范型
    • 面向对象方法与 UML
    • 面向对象的软件建模工具
    • 面向对象的软件建模工具 JBOO3.0
    • 构件库技术的研究与发展
    • 统一消息平台的原理与设计
    • 短消息平台的原理与设计
    • UML 中衍型的精确定义与分析
    • 一个支持面向对象变化影响分析的依赖模型
    • 开放式互操作框架的设计与实现
    • 面向对象系统中基于度量的可复用构件获取机制
    • 层次型Java软件质量度量模型研究
    • 计算机在雷电定位中的应用
    • 软件体系结构质量评价概述
    • 面向对象软件度量工具体系框架研究
    • 支持度量模型构造的OOSMMCS系统的设计
    • 一种改进的面向对象软件变化影响分析方法
    • 度量模型构造中主度量分析器PMA的设计
  • 2002
    • 软件技术进展
    • 数据结构复习与应试指导
    • 基于构件的商业领域软件开发平台的构造
    • 可视化编程环境下人机界面的面向对象设计
    • 面向 Java 语言的逆向工程工具JBRET-JAVA
    • 基于 ORB 的应用程序自动开发方法及其支撑工具
    • 一种面向对象的领域工程方法
    • 空中运动目标时变时延估计方法的仿真研究
    • 面向设计层的构件模型和构件组装工具
    • 扩充 CDL 支持构件演化模型的方法研究
    • 青鸟网上构件库系统的访问控制机制
    • PKUAS ：一种面向领域的构件运行支撑平台
    • 特征交互问题导论
    • 浅论软件技术发展
    • 基于层次消息总线的软件体系结构风格
    • 扩充 CDL 支持构件演化与组装的技术研究
    • 通用网络化智能传感器的设计与实现
    • 软件构件概念的变迁
    • UML 数据交换
    • 软件变化管理系统研究
    • “软件体系结构”词条
    • 统一建模过程述评
    • UML 系统模型的组织
    • IEEE1451 智能传感器接口标准研究
    • ABC Tool ：一种基于软件体系结构的构件组装工具
    • JBOO 软件过程
    • 基于规约匹配的构件检索
    • 面向对象软件回归测试技术研究
    • PKUAS 的安全机制
    • 基于 IP Marking Technology 构建 DDoS 跟踪系统
    • 面向领域的构件运行支撑平台研究与实现
    • 基于 UML 的 JBOO 的研制
    • TRDC 模式下的青鸟面向对象软件建模工具的系列研发
    • 面向对象的软件建模工具中的一致性检查机制
    • 面向对象的软件建模工具的研制
    • An Architecture-Based Approach for Component-Oriented Development
    • A Model-based Approach to Object-Orented Software Metrics
    • Building Enterprise Reuse Program-- A Model-based Approach
    • A Component-based Software Configuration Management Model and its Supporting System
    • ABC/ADL: An ADL Supporting Component Composition, In Chris George and Huaikou Miao (Eds.): Formal Methods and Software Engineering
    • An Application Server that support online evolution
    • Hierarchical Message Bus-based Software Architectural Style
    • On the Formalized Semantics of Static Modeling Elements in UML
  • 2001
    • 多构件库统一刻面检索机制
    • 基于UML的软件建模工具的研制
    • CSCW 系统体系结构中协作机制的研究
    • CSCW 系统体系结构模型的研究
    • 基于组件技术的 CSCW 系统结构的研究
    • 基于构件的软件配置管理模型
    • 基于复用的软件生产技术
    • UML2001 ：标准化的《奥德赛》史诗
    • UML 的现状及未来发展
    • 定义 UML 核心
    • 面向对象领域设计中的变化性处理
    • 一个可扩展的 OO 构件模型的设计
    • UML2.0 之路：快车道还是绕行
    • Reused-based Software Production Technology
    • Software Component Composition based on ADL and Middleware
    • A Software Configuration Management Model for Supporting Component-Based Software Development
    • 操作系统教程
    • ABC Tool - 一种基于软件体系结构的构件组装工具
    • 领域工程：一种支持软件复用的有效途径
    • Windows 操作系统原理
    • 高级语言程序设计复习与应试指导
    • 数据结构
    • 标准化智能传感器软件开发平台
    • 嵌入式Linux 技术研究
    • 操作系统构件提取方法研究
    • 一个基于 IEEE1451.2 接口标准的通用智能传感器软件开发平台的设计与实现
    • End-to-End Integration Testing in CBSD
    • JBOORET: an Automated Tool to Recover OO Design and Source Models
    • A Configuration Management System Supporting Component-based Software Development
    • A Component Model for Perspective Management of Enterprise Software Reuse
  • 2010
    • Enabling On Demand Deployment of Middleware Services in Componentized Middleware
    • PDFs
    • Growth of Newcomer Competence: Challenges of Globalization
    • Developer fluency:Achieving true mastery in software projects
    • Towards Self-adaptive Resource Management for Large-scale Shared Clusters
    • Test Input Reduction for Result Inspection to Facilitate Fault Localization
    • Towards an Empirical Reuse Approach for the Software Evolution: A Case Study
  • 2011
    • Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach
    • Does the initial environment impact the future of developers?
    • 以代理为中心的 OSGi 构件资源监控方法
• 活动
  • 2009植树
• 关于