搜索资源列表
SQLjibenyuju
- 掌握SQL四条最基本的数据操作语句：Insert，Select，Update和Delete。 练掌握SQL是数据库用户的宝贵财 富。在本文中，我们将引导你掌握四条最基本的数据操作语句—SQL的核心功能—来依次介绍比较操作符、选择断言以及三值逻辑。当你完成这些学习后，显然你已经开始算是精通SQL了。 -master four basic SQL data manipulation statement : Insert, Select, Update and Delete. Train
lunwen
- 针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the form of a Lua development of con
jun02
- 国外游戏开发者杂志2002年第六期配套代码，包含Emil Dotchevski演示他在C 脚本系统中使用的断言表达式的代码--Code of game development magazine in 2002 the sixth issue, contains code that Emil Dotchevski`s demonstration how to use assertion expression in the C scr ipt system
nov00
- 国外游戏开发者杂志2000年第十一期配套代码，包含Herb Marselas的为他的断言系统写的类似于3d stduio的界面--Code of game development magazine in 2000 the 11th issue, contains Herb Marselas writes interface similar 3d stduio that for hisassertion system
zzbds
- 本文目标 如何使用本教程 正则表达式到底是什么？ 入门 测试正则表达式 元字符 字符转义 重复 字符类 反义 替换 分组 后向引用 零宽断言 负向零宽断言 注释 贪婪与懒惰 处理选项 平衡组/递归匹配 还有些什么东西没提到 联系作者 最后,来点广告... 一些我认为你可能已经知道的术语的参考 网上的资源及本文参考文献 更新说明 -In this p
OVL
- OVL——基于断言的verilog验证 Verilog数字系统设计:RTL综合、测试平台与验证-OVL- assertion-based verification of Verilog Verilog digital system design: RTL synthesis, test and verification platform
cuo-wu-he-yi-chang
- 说明 ~~~~~~~~~~~~~~~ 第8章“错误和异常”中的全部示例代码。包括： 目录 描述 ------------------------------------------------------------------------------ Assert 使用断言做Logger系统的一个公用单元。 Error 一个跳过系统错误，并继续执行其后代码的技巧示例。 ExcRecheck 用于说明异常类型检测的依赖性所导致的问题。 Excep
openws-1.3.0-bin.tar
- SAML（Security Assertion Markup Language，安全断言标记语言）是由OASIS管理，得到各主流IT厂商支持和部署最广泛的网站SSO标准。它提供了一个安全且可扩展的数据格式集，在各种环境下交换数据和身份识别信息。-The OpenWS library provides a growing set of tools to work with web services at a low level. These tools include classes for cr
tongxunlu
- C语言编写的通讯录 1.问题分析和任务定义：根据设计题目的要求，充分地分析和理解问题，明确问题要求做什么，（而不是怎么做）限制条件是什么。 2.概要设计：对问题描述中涉及的操作对象确定相应的数据类型，定义主程序模块和各抽象数据类型。逻辑设计的结果应写出主模块的算法，并画出模块程序流程图； 3.详细设计：写出伪码算法。在这个过程中，要综合考虑系统功能，使得系统结构清晰、合理、简单和易于调试， 4.程序编码：把详细设计的结果进一步求精为程序设计语言程序。同时加入一些注解和断言，
SYMBIAN2
- Symbian C++高效编程：本书旨在帮助读者编写良好的基于Symbian OS的C++程序。全书共分为21章，分别介绍了Symbian OS中的类命名约定、异常退出、清除栈、两段构造、描述符、良好的描述符风格、动态的数组与缓冲区、使用活动对象的事件驱动多任务、活动对象、Symbian OS的线程与进程、客户/服务器原理、客户/服务器框架实践、二进制类型、ECOM、严重错误、用断言发现bug、调试宏与测试类、兼容性、轻量级模板、API、良好的编码风格等内容。 本书适合于使用Symbia
DebugDemo
- vc 使用断言宏检测程序的运行状态\DebugDemo的程序源码，很不错的demo-vc assert macro tests using the operational status of \ DebugDemo the program source code, very good demo
sva
- sva断言，Assertions on overlapping behaviour with SVA-Assertions on overlapping behaviour with SV
DebugDemo
- vc——使用断言宏检测程序的运行状态\DebugDemo-vc- use assert macro testing process running \ DebugDemo
DebugDemo
- vc——使用断言宏检测程序的运行状态\DebugDemo的程序源码,值得一看！-vc- use assert macro testing process running \ DebugDemo the program source code, worth a visit!
DebugDemo
- 使用断言宏检测程序的运行状态\DebugDemo\DebugDemo.rar,很不错的vc源码，希望对大家有所帮助。-Assert macro tests using the operational status of \ DebugDemo \ DebugDemo.rar, very good vc source, we want to help.
java_assertion
- java_assertion---J2SE 1.4在语言上提供了一个新特性，就是assertion(断言)功能，它是该版本在Java 语言方面最大的革新。在软件开发中，assertion是一种经典的调试、测试方式，本文 将深入解析assertion功能的使用以及其设计理念，并给出相关的例子 。 -Java assertion
Kernel-for-Relation-Extraction
- 最短的路径依赖关系提取 我们提出了一个新颖的方法来提取关系，根据观察断言之间的关系之间的两个命名实体在同一个句子1所需的信息通常是由两个实体之间的依赖关系图中的最短路径捕获。实验上提取的ACE（自动内容抽取）报纸语料表明，新的最短路径依赖内核外执行最近的做法，根据去依赖树内核顶层的关系-We present a novel approach to relation extraction, based on the observation that the information requir
shut
- 这是一本关于流程控制，异常处理和断言引用的文章，希望有用处-This is a book about process control, handling exceptions and assertions of cited articles, I hope useful
SystemVerilog断言及其应用
- 该书用来阐述如何使用断言，以及断言的语法和示例(The book is devoted to the use of assertions, as well as to the syntax and examples of assertions)
MyAssert
- 使用自定义断言，显著增加代码可阅读性，缩短业务检查类处理代码量(Using custom assertions significantly increases code readability and shortens the amount of code processed by business inspection classes)