机译:Java Bean语义约束的动态检查框架
机译:Java Bean语义约束的动态检查框架
机译:将动态验证元数据转换为运行时Java Bean验证约束注释
机译:用于Java Beans语义约束的自动动态检查工具
机译:数据库系统的全局语义完整性约束检查
机译:JUST(Java用户细分工具)用于断层图的半自动细分
机译:SWOBE-将语义Web语言RDF,SPARQL和SPARUL嵌入Java中,以确保类型安全,检查查询的可满足性以及确定查询结果类型
机译:salsa:将约束求解器与BDD结合用于自动不变检查