腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
为什么
这个
循环
不变量
中
的
保护
是
无效
的
、
、
、
我正在尝试创建一个
循环
不变量
,以检查具有偶数索引
的
数组
中
的
所有元素是否都具有数字2(编程以查找质数,在此步骤
中
它将生成SPF)。我真的不能理解这里发生了什么,但任何帮助都是非常感谢
的
浏览 17
提问于2021-10-23
得票数 1
1
回答
将命令映射到CQRS
中
的
对象值
、
、
、
一方面,应该
保护
不变量
(使
无效
状态不可能在编译时而不是在运行时),另一方面,将域知识从域中传递出去
是
错误
的
。我用
的
是
CQRS和E
浏览 0
提问于2018-07-21
得票数 0
回答已采纳
2
回答
不变量
和验证规则之间有什么区别?
、
、
在DDD
中
,我经常看到术语
不变量
。迪诺·埃斯波西托谈到了这一点。如果我查看.NET库,就会看到一个类。
不变量
和验证规则是否相同?例如,只有在订单总额超过250美元
是
不变
的
情况下,才能提供50%
的
折扣吗? 或者,在
不变量
保护
对象不失效
的
情况下,它们是否不同?验证
是
检查对象
的
有效性,即使它已经更改了它
的
状态(它可以是有效
的
,也可以是
无效
的</
浏览 3
提问于2015-05-12
得票数 30
回答已采纳
2
回答
在CQRS
中
,命令处理程序能否与聚合根分离?
、
、
、
一方面,应该
保护
不变量
(使
无效
状态不可能在编译时而不是在运行时),另一方面,将域知识从域中传递出去
是
错误
的
。我用
的
是
CQRS和ES。 在我
的
聚合根周围使用
浏览 0
提问于2018-07-21
得票数 3
回答已采纳
2
回答
为什么
一行输出(在while
循环
中)使
不变量
为false?
、
我试着更深入地理解while
循环
。我理解基本原则,即只要测试条件为真,就会重复一段时间
的
语句。makes the invariant true again} 我不明白,
为什么
写一行输出不变为这本书
的
作者犯了一个错误吗? 编辑-变体只是一个智能工具,可以更容易地理解while
循环
。在
这个
例子
中
,变量
是
"
浏览 1
提问于2013-10-15
得票数 1
回答已采纳
2
回答
寻找一个简单
循环
的
不变量
、
当我试图向达夫尼证明我
的
程序
是
正确
的
,所以我需要你
的
帮助:给出
的
程序如下:requires N <={ r := r+a; return r;作为第一步,我想知道
循环
是
做什么
的
,所以我创建了一个表:在此基础上,我为当
循环
结束时,
循环
浏览 1
提问于2021-11-30
得票数 0
回答已采纳
1
回答
Spring在DDD
中
的
验证
、
、
、
、
我将在Spring中使用DDD构建一个新
的
应用程序。我将拥有一个REST适配器、一个JPA适配器和我
的
域模型。当我在我
的
领域中做验证
浏览 17
提问于2021-11-23
得票数 0
1
回答
理解
循环
不变式和断言在dafny
中
的
工作方式
我试图理解
为什么
我下面的断言
是
失败
的
。我可以理解这是因为
循环
不变量
,但是
为什么
Dafny要这样做呢?当我已经清楚地说明了
循环
条件
是
while I< n时,
为什么
它如此依赖于
循环
不变量
?
浏览 7
提问于2020-09-02
得票数 0
3
回答
环不变证明理解
、
、
我正在尝试学习C
中
的
循环
不变量
,我有一个代码,我有
循环
不变量
,但是我不完全理解
为什么
。以下
是
代码:void ReverseArray(int A[], int m, int nASIZE OR m == n OR m == n+1 */} /* for the initial val
浏览 4
提问于2013-10-03
得票数 2
回答已采纳
2
回答
使用IoC在SOA应用程序中使用DDD进行验证
、
在我
的
服务外观层
中
,我有一个带有接受DTO (数据契约)对象
的
方法/操作
的
服务类。AutoMapper用于将此DTO映射到我
的
域对象
的
一个实例
中
,以应用任何更改。问题
是
,一旦数据被持久化,其他客户端就可以立即使用它,所以我必须确保没有
无效
数据被持久化。我读过DDD (Evans)和Nilsson
的
“蓝皮书”,不清楚我应该采用什么方法进行验证。如果我
的
目标
是
防止实体进入<e
浏览 1
提问于2011-09-28
得票数 5
回答已采纳
1
回答
用于线性阵列搜索
的
循环
不变量
boolean answer = false if a[i] == 0 i = i + 1i <= a.length
这个
问题要求在
不变量
<
浏览 0
提问于2014-01-17
得票数 2
1
回答
循环
不变量
,用于重复调用readLine()
、
我有一个while
循环
(如下所示),它不断地从文件
中
读取数据,直到达到EOF。我应该为任何非平凡
的
循环
编写一个
循环
不变量
。这是一个微不足道
的
循环
吗?如果不是,那么
这个
while
循环
的
循环
不变量
是什么?我以前从来没有写过
不变量
。 System.out.println(line); lin
浏览 2
提问于2015-01-22
得票数 2
3
回答
如何找到
循环
不变
的
java
、
、
我试图找到
循环
的
不变量
(例如,在下面的代码
中
),我真的不知道如何在一般情况下找到
不变量
。有没有人可以帮我找到一个
不变量
,也可以帮我找到下面的代码?
浏览 0
提问于2013-06-09
得票数 1
回答已采纳
1
回答
用
循环
不变量
证明简单算法
的
正确性
、
、
、
我正在尝试学习
循环
不变技术,以产生更有效
的
算法。我对通过求
循环
不变量
来证明正确性
的
理解
是
,
循环
不变量
在迭代之前和迭代之后必须
是
真的,以确认所需
的
输出。对于我在下面列出
的
算法(按递减顺序排序序列)--我认为这是满足正确性确认
的
特性:我还认为,在这种情况下,i >=0和i< A.length将是
循
浏览 10
提问于2022-01-24
得票数 1
回答已采纳
1
回答
我在达夫尼
的
代码有什么问题?
我试着使用dafny来验证我
的
qsort函数
的
正确性,但是我想知道
为什么
我
的
代码已经被验证失败了。这是我
的
代码: requires a.Length > 0 {= t; qsort(a,storeIndex+1,right); } 这些错误<em
浏览 4
提问于2018-04-11
得票数 2
回答已采纳
1
回答
Dafny:快速指数计算(
循环
)
、
、
、
我试图在Dafny
中
实现并编译一个快速指数算法,但我遇到了一些问题。上下文:我不知道如何在
循环
的
减少和i
浏览 6
提问于2021-04-19
得票数 0
回答已采纳
2
回答
什么
是
编程语言中
的
不变量
,
为什么
它很重要?
、
有人能解释编程语言中
的
不变量
是什么以及它们
为什么
重要吗?
浏览 0
提问于2016-01-12
得票数 1
2
回答
如何找到
循环
不变量
、
我知道
循环
不变量
是
用来证明问题
的
正确性
的
,但我不太明白如何想出一个
循环
不变量
,不管
这个
问题有多微不足道。这里有一个例子,有人能指出我应该考虑
的
步骤是什么吗?我知道
循环
中所有正在变化
的
值都必须包含在我
的
不变量
中
。请指导我解决
这个
问题,我也要找到后置条件。一个解释比一个答案更有价值;请帮助。
浏览 0
提问于2015-10-20
得票数 4
2
回答
Dafny
循环
不变量
失败,即使
不变量
断言有效。这是一个小bug吗?
、
嗨,为了教学,我准备了一大堆简单
的
愚蠢
的
问题。基本上一切都很好,但是...要么我错过了Dafny
中
关于
循环
不变量
的
一些细节,要么这是一个弱点/bug?
浏览 47
提问于2021-07-31
得票数 0
1
回答
如何用dafny证明气泡排序
的
时间复杂性?
、
、
、
在dafny
中
是否有一种方法可以创建一个特定于单个
循环
迭代
的
不变量
?下面,我试图创建一个dafny程序,以上限
的
掉期数量
的
泡沫排序。
这个
值存储在变量n
中
,所以我想用(a.Length * (a.Length - 1))/2来确定n
的
上限。原因
是
,如果数组
是
相反
的
,那么在内部
循环
的
第一次迭代
中
必须有n个交换,然后在内部<
浏览 6
提问于2021-09-28
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
D菜谱0708
以太坊伊斯坦布尔之后的重入攻击问题
函数式编程圣经
揭秘为什么函数式世界的程序员能休息两天
微软推出新编程语言 Bosque,超越结构化程序设计
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券