软件工程

测试, 质量保证, 软件工程, 需求分析, 项目管理

验收测试 (Acceptance Testing)

UAT, 质量, 软件开发, 软件测试, 验收测试

Java, UML, 建模, 开源软件, 软件工程

ArgoUML (ArgoUML)

ArgoUML, Java, UML, 开源, 统一建模语言

人工智能, 数学, 计算机科学, 软件工程, 逻辑学

自动定理证明 (Automated theorem proving)

ATP, 自动定理证明, 自动推理, 证明, 逻辑

数据结构, 算法, 编程基础, 计算机科学, 软件工程

抽象数据类型 (Abstract Data Type)

ADT, 抽象数据类型, 数据结构, 算法, 编程

人物传记, 图形用户界面, 编程语言, 计算机科学, 软件工程

艾伦·凯 (Alan Kay)

Smalltalk, 图灵奖, 艾伦·凯, 计算机科学家, 面向对象编程