Please enable JavaScript.
Coggle requires JavaScript to display documents.
软件及其工程化(software and its engineering) (软件符号与工具(software notations and…
软件及其工程化(software and its engineering)
软件组织与属性(software organization and properties)
相关软件领域(contextual software domains)
电商基础设施(e-commerce infrastructure)
软件基础设施(software infrastructure)
解释器(interpreters)
中间件(middlewares)
消息导向中间件(message oriented middleware)
反射式中间件(reflective middleware)
嵌入式中间件(embedded middleware)
虚拟机(virtual machines)
操作系统(operating systems)
文件系统管理(file systems management)
内存管理(memory management)
虚拟内存(virtual memory)
主存(main memory)
分配与接触分配策略(allocation / deallocation strategies)
垃圾回收(garbage collection)
分布式内存(distributed memory)
二级存储(secondary storage)
进程管理(process management)
调度(scheduling)
死锁(deadlocks)
多线程(multithreading)
多进程 / 多程序处理 / 多任务(multiprocessing / multiprogramming / multitasking)
监视器(monitors)
互斥(mutual exclusion)
并发控制(concurrency control)
功耗管理(power managemnt)
进程同步(process synchronization)
通信管理(comunication management)
缓冲区(buffering)
输入输出(input / output)
消息传递(message passing)
虚拟世界软件(virtual worlds software)
交互式游戏(interactive games)
虚拟世界训练模拟(virtual worlds training simulations)
软件系统结构(software system structures)
嵌入式软件(embeded software)
软件架构(software architectures)
多层架构(n-tier architectures)
对等架构(peer-to-peer architectures)
数据流架构(data flow architectures)
协同通信进程(cooperating communicating processes)
分层系统(layered systems)
发布订阅/基于事件的架构(publish-subscribe / event-based architectures)
黑板架构(blackboard architecture)
;
see also
模拟器/解释器(simulators / interpreters)
面向对象架构(object oriented architectures)
紧密耦合架构(tightly coupled architectures)
基于空间的架构(space-based architectures)
;
see also
3层架构(3-tier architectures)
软件系统模型(software system models)
Petri 网(petri nets)
状态系统(state systems)
实体关系建模(entity relationship modeling)
模型驱动软件工程(model-driven software engineering)
特性交互(feature interaction)
大规模并行系统(massively parallel systems)
超大规模系统(ultra-large-scale systems)
分布式系统组织原则(distributed system organizing principles)
云计算(cloud computing)
客户端-服务器架构(client-server architectures)
网格计算(grid computing)
网络应用组织原则(organizing principles of web applications)
实时系统软件(real-time systems software)
抽象，建模与模块化(abstraction, modeling and modularity)
软件功能性属性(software functional properties)
正确性(correctness)
同步(synchronization)
功能性(functionality)
实时可调度性(real-time schedulability)
一致性(consistency)
完备性(completeness)
访问保护(access protection)
形式化方法(formal methods)
模型检查(model checking)
软件校验(software verification)
自动化静态分析(automated static analysis)
动态分析(dynamic analysis)
额外功能属性(extra-functional properties)
互通性(interoperability)
软件性能(software performance)
软件可靠性(software reliability)
软件容错(software fault tolerance)
检查点 / 重启(checkpoint / restart)
软件安全性(software safety)
软件可用性(software usability)
软件符号与工具(software notations and tools)
通用编程语言(general programming languages)
语言类型(language types)
并行编程语言(parallel programming languages)
分布式编程软件(distributed programming languages)
命令式语言(imperative languages)
面向对象语言(object oriented languages)
函数式语言(functional languages)
并发编程语言(concurrent programming languages)
约束与逻辑语言(constraint and logic languages)
数据流语言(data flow languages)
可扩展语言(extensible languages)
汇编语言(assembly languages)
多范式语言(multiparadigm languages)
超高级语言(very high level languages)
语言特性(language features)
抽象数据类型(abstract data types)
多态(polymorhism)
继承(inheritance)
控制结构(control structures)
数据类型与结构(data types and structures)
类与对象(class and objects)
模块与包(modules / packages)
约束(constraints)
递归(recursion)
并发编程结构(concurrent programming structures)
程序，函数与子例程(procedures, functions and subroutines)
模式(patterns)
协程(coroutines)
框架(frameworks)
形式化语言定义(formal language definition)
语法(syntax)
语义(semantic)
编译器(compilers)
解释器(interpreters)
增量编译器(incremetal compilers)
可重定向编译器(retargetable compilers)
即时编译器(Just-in-time compilers)
动态编译器(dynamic compilers)
翻译器编写系统和编译器生成器(translator writing systems and compiler generators)
源码生成(source code generation)
运行时环境(runtime environments)
预处理器(preprocessors)
解析器(parsers)
上下文特定语言(context specific languages)
标记语言(markup languages)
可扩展标记语言 - extensible markup language(XML)
超文本语言(hypertext languages)
脚本语言(scripting languages)
领域特定语言(domain specific languages)
应用特定语言(specialized application languages)
API 语言(API languages)
图形用户接口语言(graphic user interface languages)
窗口管理器(window managers)
命令与控制语言(command and control languages)
宏语言(macro languages)
样例编程(programming by example)
基于状态的定义(state based definitions)
视觉语言(visual languages)
接口定义语言(interface defintion languages)
系统描述语言(system description languages)
系统建模语言(system modeling languages)
编排语言(orchestration languages)
架构描述语言(architecture description languages)
集成框架(integration frameworks)
统一建模语言 - unified modeling language (UML)
规范语言(specificaion languages)
设计语言(design languages)
开发框架与环境(developement frameworks and environments)
软件即服务编排系统(software as a service orchestration systems)
集成与视觉开发环境(integrated and visual development environments)
面向对象框架(object oriented frameworks)
应用特定开发环境(application specific development environments)
软件配置管理与版本管理系统(software configuration management and version control systems)
软件库与仓库(software libraries and repositories)
软件维护工具(software tools)
软件创建与管理(software creation and management)
设计软件(designing software)
需求分析(requirements analysis)
软件设计工程(software design engineering)
软件设计权衡(software design tradeoffs)
软件实现规划(software implementation planning)
软件设计技术(software design techniques)
软件开发流程管理(software development process management)
软件开发方法(software software development methods)
快速应用开发(rapid application development)
敏捷软件开发(agile software management)
能力成熟度模型(capability maturity model)
瀑布模型(waterfall model)
螺旋模型(spiral model)
V模型(V-model)
设计模式(design patterns)
风险管理(risk managment)
软件开发技术(software development techniques)
软件原型法(software prototyping)
面向对象开发(object oriented development)
流程图(flowcharts)
可重用性(reusability)
软件产品线(software product lines)
错误处理与恢复(error handling and recovery)
自动化编程(automatic programming)
基因编程(genetic programming)
软件验证与确认(software verification and validation)
软件原型法(software prototyping)
操作分析(operational analysis)
软件缺陷分析(software defect analysis)
故障树分析分析(fault tree analysis)
流程验证(process validation)
演练(walkthroughs)
结对编程(pair programming)
用例(use cases)
验收测试(acceptance testing)
可追踪性(tracability)
形式化软件验证(formal software verification)
实证软件验证(empirical software validation)
软件开发后续问题(software post-development issues)
备份程序(backup procedures)
软件演化(software evolution)
文档(documentation)
软件版本控制(software version control)
软件维护(maintaining software)
软件逆向工程(software reverse engineering)
系统管理(system adminstration)
软件开发协作(collaboration in software development)
开源模型(open source model)
编程团队(programming teams)
基于搜索的软件工程(search-based software engineering)