编解码器指的是一个能够对一个信号或者一个数据流进行编解码操作的设备或者计算机程序。这里指的变换既包括将信号或者数据流进行编码或者提取得到一个编码流的操作，也包括为了观察或者处理从这个编码流中恢复适合观察或操作的形式的操作。编解码器经常用在视频会议和流媒体等应用中。一个编解码器不应该同编码或压缩格式或标准混淆，一种格式是一种文档，一种存储数据的方式，但是编解码器却是一段程序用于读或写这样的文件。实际上，有时编解码器不严谨地意指格式。
编解码器编码一个数据流或者用于传输、存储、加密的信号，解码一段用于回放或编辑。视频数码机的类比数位转换器将它的模拟信号转换成数字信号，然后数字信号通过视频编解码器用于存储和传输。接受器然后通过视频编解码器转换成模拟信号用于最后的模拟显示。经过编码的音频或者视频原始码流经常被叫做“Essence”，以区别于之后加入码流的元数据和其它用以帮助访问码流和增强码流健壮性的数据。大多数编解码器是有损的，目的是为了得到更大的压缩比和更小的文件大小。当然也有无损的编解码器，但是通常没有必要为了一些几乎注意不到的的质量损失而大大增加编码后文件的大小。除非该编码的结果还将在以后进行下一步的处理，此时连续的有损编码通常会带来较大的质量损失。
形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和健壮性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。
对微软的批评围绕着其产品和商业运作等各个方面。软件的易用性、健壮性以及计算机安全问题是受到批评的共同目标。踏入21世纪，Microsoft Windows和其他程序的安全漏洞成了一些恶意软件事故中的目标。微软还被指责在产品中锁定销售商和消费者，软件没有遵循现行标准。Linux和Windows的总体拥有成本比较也是长期的争议点。
软计算是通过对不确定、不精确及不完全真值的容错以取得低代价的解决方案和健壮性的处理方式，和传统计算不同。硬计算的主要特征是严格、确定和精确。但是硬计算并不适合处理现实生活中的许多问题，例如驾驶汽车。它模拟自然界中智能系统的生化过程来有效处理日常工作。软计算包括几种计算模式：模糊逻辑、人工神经网络、遗传算法和混沌理论。这些模式是互补及相互配合的，因此在许多应用系统中组合使用。
编解码器指的是一个能够对一个信号或者一个数据流进行编解码操作的设备或者计算机程序。这里指的变换既包括将信号或者数据流进行编码或者提取得到一个编码流的操作，也包括为了观察或者处理从这个编码流中恢复适合观察或操作的形式的操作。编解码器经常用在视频会议和流媒体等应用中。一个编解码器不应该同编码或压缩格式或标准混淆，一种格式是一种文档，一种存储数据的方式，但是编解码器却是一段程序用于读或写这样的文件。实际上，有时编解码器不严谨地意指格式。
编解码器编码一个数据流或者用于传输、存储、加密的信号，解码一段用于回放或编辑。视频数码机的类比数位转换器将它的模拟信号转换成数字信号，然后数字信号通过视频编解码器用于存储和传输。接受器然后通过视频编解码器转换成模拟信号用于最后的模拟显示。经过编码的音频或者视频原始码流经常被叫做“Essence”，以区别于之后加入码流的元数据和其它用以帮助访问码流和增强码流健壮性的数据。大多数编解码器是有损的，目的是为了得到更大的压缩比和更小的文件大小。当然也有无损的编解码器，但是通常没有必要为了一些几乎注意不到的的质量损失而大大增加编码后文件的大小。除非该编码的结果还将在以后进行下一步的处理，此时连续的有损编码通常会带来较大的质量损失。
形式化方法，中文也称形式方法、正规方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和健壮性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。
软件测试中的压力测试是在超过正常运作条件以外的条件下运作系统，以确认健壮性的方式。压力测试对于关键任务软件格外的重要，但可以适用于各种的软件。压力测试一般较强调软件在高负载下的健壮性、可用性及异常处理，以及哪些在一般使用环境下算是正常行为。
软件测试中的压力测试是在超过正常运作条件以外的条件下运作系统，以确认健壮性的方式。压力测试对于关键任务软件格外的重要，但可以适用于各种的软件。压力测试一般较强调软件在高负载下的健壮性、可用性及异常处理，以及哪些在一般使用环境下算是正常行为。
Elm是一个领域特定语言编程语言，用于声明式编程地创建基于Web浏览器的图形用户界面。Elm是纯函数式编程的，开发它时强调了易用性、性能和健壮性。它宣传为“实际上没有运行时间异常处理”，Elm编译器的类型系统使之成为可能。
Mini wiki
