表格表达式（tabular expression，tabular notation），理学-计算机科学技术-计算机软件-软件基础理论-形式规约，一种基于多维表格化结构表示计算机系统中变量之间关系或函数的形式化符号。表格表达式通过类似分治的思想对描述复杂系统行为的数学公式进行分解和模块化处理，增强可读性、可理解性和可验证性。其最早由加拿大软件工程领域的学者D.L.帕纳斯（David Lorge Parnas，1941-02-10～ ）等在为美国海军开发A-7E舰载机软件系统时所提出。其目的是提供一种既能够描述实际软件系统的复杂行为，又便于领域工程人员和软件人员理解的需求表达方式。表格表达式在形式上是单元格的集合，由表头和主格构成，每个表头是一个一维网格，主格是一个多维网格。表格中的每个单元格包含函数表达式或谓词表达式；通过采用单元格连接图来解释单元格之间的信息流向，以及对应条件的表格谓词规则和对应赋值的表格关系规则，可定义表格表达式的语义。