机译:一种面向设计的方法来构建正确的超媒体文档
Fed Inst Santa Catarina, BR-88495000 Garopaba, SC, Brazil;
Univ Fed Santa Catarina, BR-88040900 Florianopolis, SC, Brazil;
Univ Fed Espirito Santo, BR-29075910 Vitoria, ES, Brazil;
Univ Fed Santa Catarina, BR-88040900 Florianopolis, SC, Brazil;
Hypermedia document; Formal verification; Model checking; MDE;
机译:结合建筑词典法的聚类模型在多文档汇总中的应用。
机译:一种基于本体的质量标准电子文档管理系统的构建方法-ISO / TS 16949:2002汽车标准的案例研究
机译:建立基于本体的质量标准电子文档管理系统的方法-以ISO / TS 16949:2002汽车标准为例
机译:超媒体文档的设计方法和形式验证
机译:架构+超媒体:一种在超媒体环境中探索架构既是内容又是方法的教学方法。原型项目:交互式多媒体CD-ROM,用于探索西藏的神圣建筑。
机译:建立用于深部脑刺激(DBS)手术的电生理图谱时纠正脑移位的方法
机译:超媒体文件的正式规范和验证设计方法