机译:整合IS规范语言内部质量特征的技术
Department of Software Engineering, Institute of Mathematics and Informatics Gostauto 12, 01108 Vilnius, Lithuania;
IS specification languages; internal quality; quality characteristics; aggregation methods;
机译:扩展正式的安全协议规范语言以用于新的验证技术
机译:建模语言规范技术概述
机译:托管和分布式自然语言需求规范:传统与基于重用的技术
机译:学习设定语言,包装袋语言和集合函数的新技术
机译:使用离心机对内部固化混凝土中预润湿的轻质骨料进行质量控制
机译:2011-2016年中国心脏生物标志物质量指标及内部质量控制状况
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:用轻质骨料和其他技术对高性能混凝土进行内部养护。