E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
contract
《Design By
Contract
原则与实践》精彩片断选读
阅读更多《DesignByContract原则与实践》精彩片断选读CSDN书评组人民邮电出版社近期将推出的《DesignByContract原则与实践》一书,是国内第一次引进以DesignbyContract为主题的技术书籍,原文书《DesignbyContract,byExample》2001年由培生集团出版。由于这本书所讲述的DesignbyContract(本书译为“契约式设计”)技术并不像
lxy19791111
·
2007-08-30 16:00
出版
软件测试
编程
游戏
工作
基于角色管理(RBAC)的权限系统
比如,对合同这个类别(
contract
)的管理中,创建、删除等操作,对所有的用户都一视同仁,并不区分具体的对象实例(销售合同,生产合同)。
wapysun
·
2007-06-26 16:00
设计模式
框架
F#
基于角色管理(RBAC)的权限系统
比如,对合同这个类别(
contract
)的管理中,创建、删除等操作,对所有的用户都一视同仁,并不区分具体的对象实例(销售合同,生产合同)。
water84222
·
2007-06-26 16:00
设计模式
框架
F#
IBM
[转]Java在Interface方面的缺陷
从概念上将,Interface用来扮演使用者与实现者之间的契约(
contract
)。我们使用Interface来定义一组Ab
javatar
·
2007-06-21 15:00
java
Blog
OO
Access
sun
[转]Java在Interface方面的缺陷
从概念上将,Interface用来扮演使用者与实现者之间的契约(
contract
)。我们使用Interface来定义一组Ab
javatar
·
2007-06-21 15:00
java
Blog
OO
Access
sun
struts 页面传值
<%@ page import = "org.helpsoft.
contract
.dto.
wapysun
·
2007-06-01 09:00
struts
微软新语言Spec#终结Null引用异常
Spec#是C#的一个扩展,支持许多契约(
contract
)属性,如非Null类型系统,前置和后置条件,循环常量(loopinvariant)和对象常量等。
Jonathan Allen
·
2007-04-24 00:00
[原创]我的WCF之旅(7):面向服务架构(SOA)和面向对象编程(OOP)的结合——如何实现Service
Contract
的继承
当今的IT领域,SOA已经成为了一个非常时髦的词,对SOA风靡的程度已经让很多人对SOA,对面向服务产生误解。其中很大一部分人甚至认为面向服务将是面向对象的终结,现在的面向对象将会被面向服务完全代替。在开始本Blog之前,我先来谈谈我对SOA和OO的区别,首先申明,这只是一家之言,欢迎大家批评指正,并且关于SO的谈论不是本Blog的主题,只是主题的引子,在这里只是简单讨论而已。OO和SO之间具有共
varsoft
·
2007-04-11 11:00
编程
OO
oop
SOA
WCF
我的WCF之旅(7):面向服务架构(SOA)和面向对象编程(OOP)的结合——如何实现Service
Contract
的继承
当今的IT领域,SOA已经成为了一个非常时髦的词,对SOA风靡的程度已经让很多人对SOA,对面向服务产生误解。其中很大一部分人甚至认为面向服务将是面向对象的终结,现在的面向对象将会被面向服务完全代替。在开始本Blog之前,我先来谈谈我对SOA和OO的区别,首先申明,这只是一家之言,欢迎大家批评指正,并且关于SO的谈论不是本Blog的主题,只是主题的引子,在这里只是简单讨论而已。OO和SO之间具有共
·
2007-04-11 11:00
外贸英语-900句,从询盘,报盘,价格,品质,运输一直到外贸关系 3/4第1/2页
合同
Contract
(一)We'llhavethecontractreadyforsignature.我们应准备好合同待签字。
·
2007-04-11 00:00
第一个WCF程序
有空了再帖
contract
-first方式的。注意,要记着在server和client的project里加入对sy
ppenny
·
2007-04-09 16:00
WCF
第一个WCF程序
有空了再帖
contract
-first方式的。注意,要记着在server和client的project里加
ppenny
·
2007-04-09 16:00
WCF
Windows Live Messenger推出中英文字典了
你只需要在你的
Contract
中加入
[email protected]
就可以了。
varsoft
·
2007-03-30 13:00
windows
Windows Live Messenger推出中英文字典了
你只需要在你的
Contract
中加入
[email protected]
就可以了。
·
2007-03-30 13:00
[原创]我的WCF之旅(5):面向服务架构(SOA)和面向对象编程(OOP)的结合——如何实现Service
Contract
的重载(Overloading)
对于.NET重载(Overloading)——定义不同参数列表的同名方法(顺便提一下,我们但可以在参数列表上重载方法,我们甚至可以在返回类型层面来重载我们需要的方法——页就是说,我们可以定义两个具有相同参数列表但不同返回值类型的两个同名的方法。不过这种广义的Overloading不被我们主流的.NET语言所支持的——C#,VB.NET,但是对于IL来说,这这种基于返回值类型的Overloading
varsoft
·
2007-03-19 02:00
编程
应用服务器
oop
SOA
WCF
我的WCF之旅(5):面向服务架构(SOA)和面向对象编程(OOP)的结合——如何实现Service
Contract
的重载(Overloading)
对于.NET重载(Overloading)——定义不同参数列表的同名方法(顺便提一下,我们但可以在参数列表上重载方法,我们甚至可以在返回类型层面来重载我们需要的方法——页就是说,我们可以定义两个具有相同参数列表但不同返回值类型的两个同名的方法。不过这种广义的Overloading不被我们主流的.NET语言所支持的——C#,VB.NET,但是对于IL来说,这这种基于返回值类型的Overloading
·
2007-03-19 02:00
基于角色管理(RBAC)的权限系统
比如,对合同这个类别(
contract
)的管理中,创建、删除等操作,对所有的用户都一视同仁,并不区分具体的对象实例(销售合同,生产合同)。 细粒度:表示实例(i
weiwu83
·
2007-03-15 17:00
设计模式
框架
Blog
F#
IBM
UBF vs JSON
UBF(B) is the
contract
, it's almost erlang code: java 代码 +TYPES person
dcaoyuan
·
2007-03-05 21:00
json
xml
erlang
explanation from the Sun
Thereareanumberofsituationsinsoftwareengineeringwhenitisimportantfordisparategroupsofprogrammerstoagreetoa"
contract
"thatspellsouthowtheirsoftwareinteracts.Eachgroupshouldbeabletowritetheircodewithouta
rmn190
·
2007-02-26 08:00
WinFX Workflow学习笔记-Core Workflow Tenets
参照Service Oriented的四宗旨:Boundaries are explicitServices are autonomousShare schema and
contract
and not
ppenny
·
2007-02-09 16:00
thread
windows
workflow
Access
SOA
[摘自DbC原则与实践]DbC的一些优点和限制
1.契约(
Contract
)就是规范和审核,就是在程序中包含断言,运行时核查这些断言。
happyhippy
·
2006-12-17 23:00
[摘自DbC原则与实践]Design by
Contract
的六大原则和六大准则
1.DesignbyContract的六大原则:原则1区分命令和查询。查询返回一个结果,但不改变对象的可见性质。命令改变对象的状态,但不返回结果。原则2将基本查询同派生查询区分开。派生查询可以用基本查询来定义。原则3针对每个派生查询,设定一个后验条件,使用一个或多个基本查询的结果来定义它。这样一来,只要我们知道基本查询的值,也就能知道派生查询的值。原则4对于每个命令都撰写一个后验条件,以规定每个
happyhippy
·
2006-12-17 22:00
Override and Overload
子类override父类的method时,必须要保证overridingmethod和父类中的overriddenmethod具有相同的对外协议
contract
,即相同的参数列表
honzeland
·
2006-11-10 10:00
org.hibernate.tuple.Tuplizer是用来干什么的?
* A tuplizer defines the
contract
for things which know how to manage * a particular representation
sctom123
·
2006-11-01 22:00
Hibernate
Access
Domain Model:业务对象的进一步设计
这三大类是Party,Product和
Contract
。 Party 包括Part
lins
·
2006-10-09 22:00
金融
数据挖掘
table
domain
include
payment
Domain Model:业务对象的进一步设计
这三大类是Party,Product和
Contract
。 Party 包括Party对象和Role对象。
Anders小明的Blog
·
2006-10-09 22:00
javabean的妙用-eclipse结合hibernate插件、struts插件快速生成源代码(示例代码)
////////////////////////////////////////////////////////////////////// package com.sztelecom.
contract
.cmfee
jeffen2006
·
2006-07-27 14:00
java
eclipse
html
Hibernate
struts
敲响OO时代的丧钟——一种新的语言(6)
阅读更多四、channel与
contract
如果我们要对UserChannel进行校验,可以在两个层面进行。一个是每个方法,都可以写check:与test:。
庄表伟
·
2006-07-26 20:00
OO
工作
敲响OO时代的丧钟——一种新的语言(6)
四、channel与
contract
如果我们要对UserChannel进行校验,可以在两个层面进行。一个是每个方法,都可以写check:与test:。
庄表伟
·
2006-07-26 20:00
工作
OO
交大软件工程老师语录
有了
Contract
,就有了benefit和responsibil
ericluo
·
2006-07-25 10:00
XP
IBM
OO
Oracle
UML
交大软件工程老师语录
有了
Contract
,就有了benefit和responsibil
ericluo
·
2006-07-25 10:00
XP
IBM
OO
Oracle
UML
软件单元测试工具比较
Jtest先分析每个java类,然后自动生成junit测试用例并执行用例,从而实现代码的最大覆盖,并将代码运行时未处理的异常暴露出来;另外,它还可以检查以DbC(Design by
Contract
)规范开发的代码的正
lujar
·
2006-06-12 19:00
eclipse
框架
单元测试
软件测试
JUnit
20. Interfaces
An interface defines a
contract
.
talin2010
·
2006-05-31 23:00
interfaces
被遗忘的一种提高软件质量的方法 -- 契约式设计 (Design by
Contract
)
DesignbyContract(DbC)的概念已经出现很长时间了,最先是在Eiffel的一个特色,通过DbC来提高软件质量,目前很多语言也都有相应的实现,但是在GOOGLE上搜索中文网页,得到的资源并不是很多.直觉上来说,DbC确实是一个很好的想法,本着拓宽眼界的原则,就简单了解一下吧. 简单的说,DbC通过指定每个方法的前置条件,后置条件来保证代码质量.也就是说,它的假设前提是:"任
Shao Fan
·
2006-03-02 00:00
Why Function Programming is Important to Financial Modeling?
found that a functional programming language was the most effective tool for developing compositional
contract
cookoo
·
2006-02-22 19:00
C++
c
haskell
FP
pascal
ASP.NET 中一个绑定枚举类型的方法
定义一个枚举类型enumContractType{ Permanent=1,
Contract
=2, Internship=99}声明一个Web控件我们建立一个通用的绑定publicstaticHashtableBindToEnum
veryhappy
·
2006-01-28 22:00
Web
String
server
asp.net
asp
[导入]对象与经济学
经济学的核心概念是合同(
contract
),多个利益主体(具有不同的价值目标)在交互中达成一致协议。这本质上是个多目标优化的问题。这与物理学的精神是有着本质区别的。
canonical
·
2005-11-22 17:00
[导入]对象与经济学
阅读更多经济学的核心概念是合同(
contract
),多个利益主体(具有不同的价值目标)在交互中达成一致协议。这本质上是个多目标优化的问题。这与物理学的精神是有着本质区别的。
canonical
·
2005-11-22 17:00
XP
编程
VB
敏捷开发
[导入]对象与经济学
阅读更多经济学的核心概念是合同(
contract
),多个利益主体(具有不同的价值目标)在交互中达成一致协议。这本质上是个多目标优化的问题。这与物理学的精神是有着本质区别的。
canonical
·
2005-11-22 17:00
XP
编程
VB
敏捷开发
[导入]对象与经济学
经济学的核心概念是合同(
contract
),多个利益主体(具有不同的价值目标)在交互中达成一致协议。这本质上是个多目标优化的问题。
canonical
·
2005-11-22 17:00
编程
敏捷开发
XP
vb
Indigo - DataContract
在阅读之前,请先阅读我写过的第一篇有关Indigo的文章,当然,如果看过更之前的有关
Contract
-First的文章能更好的理解Indigo。
kaneb0y
·
2005-05-01 23:00
职场
indigo
休闲
Indigo - DataContract
在阅读之前,请先阅读我写过的第一篇有关Indigo的文章,当然,如果看过更之前的有关
Contract
-First的文章能更好的理解Indigo。
kaneb0y
·
2005-05-01 23:00
职场
indigo
休闲
Contract
-First, the key of Service-Oriented
说到“
Contract
-First”,那么就首先要补充一下这一句:“Servicesshareschemaandcontract,notclass”。
kaneb0y
·
2005-03-19 04:00
职场
休闲
Contract-First
Contract
-First, the key of Service-Oriented
说到“
Contract
-First”,那么就首先要补充一下这一句:“Servicesshareschemaandcontract,notclass”。
kaneb0y
·
2005-03-19 04:00
职场
休闲
Contract-First
Bertrand Meyer谈契约式设计
Design by
Contract
契约式设计 A Conversation with Bertrand Meyer, Part II Bertrand Meyer访谈之二 by Bill
javasee
·
2004-09-02 13:00
设计模式
编程
软件测试
performance
UML
上一页
27
28
29
30
31
32
33
34
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他