请输入您要查询的百科知识:
词条
功能性语言
释义
功能性语言
信息科学卷
功能性语言
亦称“功能规约语言”。用以书写软件功能规约的语言。主要涉及规约对象、规约方法,以及规约性质等。可分为非形式规约语言和形式规约语言。后者逐渐为人们所接受并用于软件工程实践。
出处:信息科学卷 • 计算机科学技术 • 软件与系统
随便看
█
轩
█
█
瀡
█
█
█
砑
█
█
█
█
█
█
█
█
疏
█
█
█
鳅
█
█
█
砖
█
█
█
█
█
靼
█
█
█
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/8/30 8:55:50