请输入您要查询的百科知识:
词条
功能性语言
释义
功能性语言
信息科学卷
功能性语言
亦称“功能规约语言”。用以书写软件功能规约的语言。主要涉及规约对象、规约方法,以及规约性质等。可分为非形式规约语言和形式规约语言。后者逐渐为人们所接受并用于软件工程实践。
出处:信息科学卷 • 计算机科学技术 • 软件与系统
随便看
光电转换
光电转换技术
光电转换效率
光电转换材料
光电钟
光电阴极
光电集成
光电颗分仪
光疏介质
光疗
光的干涉
光的微粒说
光的波动说
光的电磁理论
光的相干性
光的衍射
光的量子理论
光盘
光盘复制
光盘库
光盘树脂
光盘档案耐久性
光盘老化
光盘驱动器
光相
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/7/15 19:56:34