“功能性语言”的意思、由来-百科全书

词条	功能性语言
释义	功能性语言信息科学卷功能性语言　　亦称“功能规约语言”。用以书写软件功能规约的语言。主要涉及规约对象、规约方法，以及规约性质等。可分为非形式规约语言和形式规约语言。后者逐渐为人们所接受并用于软件工程实践。出处：信息科学卷 • 计算机科学技术 • 软件与系统
随便看	文书鉴定文事文人文人画文从字顺文以载道文件文件中心文件传输协议文件分析文件包含文件双重价值论文件名称文件处理文件处理单文件处理程序文件夹文件扩展名文件有机联系文件格式文件框文件生命周期文件生命周期研究文件管理文件管理程序

百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。