We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language motivated by the design of a descriptive language to encode complex requirements on computer systems, and we explain how these key properties must be addressed to model these requirements with simple definitions. We give an overview of a tool that helps to describe problems in an easy way that we consider more transparent and less error-prone.

翻译：摘要：我们提出Soda（符号化客观描述分析语言），这是一种能够以自然方式处理定性与定量特征，并极大简化其正确性验证任务的语言。受面向计算机系统复杂需求编码的描述性语言设计启发，我们阐述了该语言的关键特性，并解释了如何通过简洁定义对这些需求进行建模。最后，我们概述了一个辅助工具，该工具能以更透明、更不易出错的方式简化问题描述过程。