Command + control systems ; Programming(Computers) ; Reports ; Punched cards ; Magnetic tape ; Flow charting ; Specifications ; Air force operations;
机译:新的HDL代码生成功能简化了ASIC和FPGA的编程
机译:用杰克逊结构化程序将程序规范转换为伪代码
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:使用BML规范注释的Java字节码程序的测试用例生成
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:可重新配置的视频编码:用于规范新视频编码标准的流编程方法