代数规约（algebraic specification）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。
基于代数语义，对系统或者系统模块进行的形式规约。
《计算机科学技术名词 》第三版。
水利万物而不争,
而万物莫能与之争。
