机译:生成B前提的系统方法:应用于数据库领域
Institut Telecom SudParis, CNRS/SAMOVAR, 9 rue Charles Fourier, 91011 Evry Cedex, France;
integrity constraints; formal specification; B operations; invariant; precondition;
机译:从关系数据库生成三层应用程序:一种正规且实用的方法
机译:数据库应用程序教学中的系统方法:解决实际业务问题时是否存在转移?
机译:教学数据库应用程序中的系统方法:解决现实的业务问题时是否存在转移?
机译:使用特定于域的标记语言构建应用程序:系统开发基于XML的软件的方法
机译:两级域分解预处理器在水文学中的应用。
机译:使用全面的文本挖掘和数据库融合方法生成血液暴露数据库
机译:关于具有微分约束耦合的预处理鞍点系统 3 $ d $和1 $ d $域 - 匹配和非匹配FEm的应用程序 离散化
机译:二维和三维椭圆问题的区域分解预处理器:第一种方法