legacy systems; program querying; software evolution;
机译:通过SystemVerilog设计和验证嵌入式系统的模型驱动框架
机译:网络 - 物理生产系统运行时验证框架的设计与实现
机译:建立用于验证并发系统设计和实现的分类框架
机译:科涅克白兰地:用于记录和验证COBOL系统设计的框架
机译:分层超视频文档数据库系统:超视频文档数据库的设计和建模
机译:记录早期石器时代鳞片生产系统之间的差异:实验模型和考古验证
机译:科涅克白兰地:用于记录和验证Cobol系统设计的框架