semi-formal

1. Once you have the conceptual base expressed in a semi-formal language such as SKOS, it's a matter of your own good XML design sense and creativity to incorporate it into a schema.
   使用SKOS这类半正式语言表达了概念基础后，需要依靠自己的良好XML设计和创造性来将概念融入到模式中。
2. By way of background for any Python beginners reading this, Python has long had some semi-formal documentation standards.
   作为提供给阅读这篇Python文章的任何初学者的背景资料，Python一直有些半正式的文档标准。
3. In addition to the move being a semi-formal policy, employees themselves have grown more concerned about security since the China attacks.
   除了这项带有半官方政策色彩的举措，员工自身在谷歌中国遭攻击后也日益关心起安全问题。
4. Dress is most often informal, except on weekends, when semi-formal attire may be worn.
   去餐馆一般是穿便装，只在周末时着半正式的服装。
5. Local fairs serve as places for sows to trade and boars to compete in semi-formal personal combat.
   当地集市是母猪做买卖的地方，公猪则在此进行半正式的单人搏击赛。
6. Angela is desperate to attend the semi-formal, but knows that her grandparents would never allow it.
   安琪拉绝望地去参加半正式的，但是知道，她的祖父母永远不会允许它。
7. It is a semi-formal dance.
   这是一个半正式的舞会。
8. For semi-formal, daytime parties, you can just wear an appropriate short dress.
   当你参加一个白天的半正式的派对时，你只要穿适宜的套装即可。
9. That long, black and white top looks so cool as a casual top, but it could also be pulled together as a semi-formal one.
   长的黑白相间的上衣看上去像休闲款上衣一样酷，但它也可以与半正式的衣服一起搭配。
10. Besides of this, we compared the simulation and the semi-formal method by inserting bugs, it shows that the semi-formal method based on SAT-BMC is much better in time and stability.
    此外，还通过插入错误的方法，比较了传统仿真方法和半形式化的方法，发现基于SAT&BMC的半形式化方法在寻找错误所需的时间和稳定性方面都拥有巨大的优势。
11. For shorten this gap, the semi-formal verification method which combines simulation and formal became more popular.
    为了缩短这个差距，将仿真与形式化相结合的半形式化（Semi-Formal）验证方法成为目前国内外科研机构以及EDA厂商研究的热点。
12. And got some significant results which can also be very useful when other members in our group doing semi-formal verification research.
    获取的这些有意义的结果，将为组内进一步开展半形式化验证工作提供了一些参考。
13. A Petri Net Based Semi-formal Approach to Object-Oriented Development
    一种基于Petri网的半形式化面向对象的开发方法
14. The semi-formal property of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems.
    统一建模语言（UML）半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。
15. Third, we use model checking based on SAT-BMC algorithm as our semi-formal verification system's formal analysis engine.
    然后采用了基于SAT&BMC的模型检验方法作为半形式化验证系统的形式化分析引擎。
16. Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
    针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
17. Research and Implementation of Semi-formal Verification Method for Godson 2's Functional Units
    龙芯2号功能部件半形式化验证方法的研究与实现
18. UML, widely used in object-oriented modeling, is a semi-structured and semi-formal modeling language, so it can not provide rigorous formal reasoning and modeling checking, simulation execution and the quality of systems.
    面向对象建模广泛采用UML建模，作为一种半结构半形式化的建模语言，不能提供严谨的形式化推理和模型检验，不能驱动仿真执行，不能用于保证系统的质量。
19. Forth, depending on a limited syntax language, a research on the method and process of the semi-formal specification of the top level function is developed. This top level specification paves the way for the system verification and the covert channel analysis.
    第四，借助一种受限的句法语言，研究了对系统顶层功能进行半形式化规范的方法和过程，而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。
20. It not only provides a good visual representation of the symbol, but also makes the data model be strictly defined with UML semi-formal semantics. So it has some practical value on the development of C~ 4ISR systems.
    该方法不仅提供了良好的可视化表示符号，而且利用UML的半形式化语义对数据模型进行严格定义，对C~4ISR系统的开发具有一定的实际参考价值。
21. This thesis builds a hybrid semi-formal technique combined with traditional simulation based approach and multiple SAT solving technique.
    该方法是混合半形式的，结合了传统基于模拟的方法和多可满足性问题求解技术。

adj

1. moderately formal
   1. he wore semiformal attire
   2. a black-tie dinner

   Synonym:    semiformalblack-tie