Software engineering; Data management; Automatic programming; Object oriented programming; Relational data bases; Specifications; Theses; Prototypes; Information retrieval; Computer applications;
机译:将Z规范转换为可执行代码:在数据库域中的应用
机译:从B正式规范到可执行代码:应用到关系数据库领域
机译:从分布式存储系统中的MDS编码数据检索私人信息
机译:关于在SMart自主存储(SmAS)磁盘上部署和执行数据密集型代码
机译:使用语义二进制面向对象的数据库系统(SEM-ODB)进行XML存储和检索。
机译:使用整数熵代码对化学指纹进行无损压缩可改善存储和检索
机译:关于在smart自治存储(smas)磁盘上部署和执行数据密集型代码?