腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
采用
精
益
方法
、
是否有关于采用基于
精
益
原则的敏捷方法的研究?我要找的一些
数据
:在敏捷方法方面,采用
精
益
如何与其他敏捷方法(如Scrum、XP等)进行比较?
浏览 0
提问于2011-02-13
得票数 5
2
回答
在DevOps方法学上的改进?
、
我想知道,这里是否有人在DevOps方法学下的软件开发团队中工作,并应用改进
精
益
来进行持续改进?谢谢。
浏览 0
提问于2011-04-22
得票数 0
1
回答
根据
精
益
查询结果建立猫鼬模型
、
我正在使用一个
精
益
查询来更快地从
数据
库中检索一个大型
数据
集。检索到的大多数
数据
都是使用而不是修改或保存的,因此
精
益
查询很好,但是我需要使用模式方法修改和保存一小部分对象。在我迭代
精
益
查询的结果时,是否可以为这些结果创建mongoose对象,将大部分结果保留在
精
益
格式中?我所知道的唯一方法是使用
数据
创建新对象,然后将isNew设置为false,但这要求我为此创建一个构造函数,看起来有
浏览 4
提问于2015-12-23
得票数 2
回答已采纳
3
回答
关于
精
益
软件开发的书:您能推荐哪一本?
、
有没有人读过她和她丈夫汤姆写的所有关于
精
益
软件开发的三本书?:2006年:实施
精
益
软件开发玛丽和汤姆·波彭迪克是公认的瘦专家,所以我很可能读过他们的一本书,但我一本也没读过。 我该从哪一个开始?
浏览 0
提问于2010-11-09
得票数 5
回答已采纳
3
回答
敏捷、
精
益
和看板方法论之间有何关系?
、
、
但是什么是“
精
益
软件开发”和“看板”呢? 可以说Scrum、Lean和Kanban是敏捷方法论的实现吗?或者
精
益
和看板是不同的方法论?
精
益
和看板是否提供了一个框架/指导方针(如敏捷),并将实现留给了相邻的一组实践,如XP和Scrum?
浏览 0
提问于2010-08-04
得票数 33
回答已采纳
2
回答
如何在
精
益
验证程序中定义函数?(在"A函数是内射的,则有左逆“中)
“在
精
益
公司。我怎样才能在
精
益
公司证明这一点呢?
浏览 8
提问于2022-06-28
得票数 0
回答已采纳
3
回答
精
益高尔夫小贴士
、
、
精
益
是一种定理证明语言和编程语言。这也是写当月语言的时候! 人们对
精
益高尔夫有什么建议?和往常一样,小贴士应该专为
精
益
而设。“删除注释”不是答案),并坚持每一个答案一个提示。
浏览 0
提问于2021-10-08
得票数 9
1
回答
精
益
4导出代码到另一种语言
、
是否有可能将
精
益
语言(从
精
益
4)导出到另一种语言,就像Isabelle用代码生成Haskell或Scala一样? 在文件里没有找到。
浏览 3
提问于2022-11-03
得票数 0
1
回答
用for循环计数器迭代queryset的Django模板
、
我试图将这些列显示为3列,以便将其显示为:右
精
益
中心
精
益
左
精
益
因此,我有三个查询集,如下所示: right_articles = sline.article_set.filter
浏览 5
提问于2018-05-17
得票数 0
回答已采纳
2
回答
Lean 4‘未知标识符证明’
、
、
我在使用
精
益
4时遇到了一个问题。当我尝试运行这个片段时,我会得到以下错误:这意味着
精
益
找不到这是我的问题,我如何让
精
益
识别Proof 谢谢!
浏览 6
提问于2021-09-14
得票数 1
回答已采纳
1
回答
“接受人的条件”是
精
益
软件开发价值之一。你能详细说明一下吗?
、
上周发生的
精
益
软件和系统联合会2011年会议阐述了
精
益
软件开发的愿景和价值。第一条是“接受人类的条件”。
浏览 0
提问于2011-05-11
得票数 8
回答已采纳
2
回答
BDD和
精
益
方法可以一起使用吗?
、
、
、
他对BDD相当不屑一顾,他说我们应该使用
精
益
方法,比如SBCE (基于集的并发工程)和其他我不知道的东西,因为到目前为止我还没有读到很多关于
精
益
实践的文章。 这两种方法相互排斥吗?
精
益
有自己的语言满足需求吗?
浏览 0
提问于2014-12-22
得票数 3
1
回答
如何在程序代码引号中省略一部分编程代码?
、
特别是,我有以下代码片段(来自
精
益
证明助手):⟨λa', if a = a' then b else 0, finite_subset
浏览 0
提问于2018-04-25
得票数 0
回答已采纳
14
回答
如何阻止
精
益
编程成为牛仔编码?
、
、
、
我的团队已经逐渐采用了越来越多的轻量级方法,从Scrum转移到
精
益
/看板,在那里正式的过程越来越少。在某种程度上,我们将回到牛仔编码;实际上,我担心我们可能已经在边界线上了。如何在非常轻量级的
精
益
和敏捷流程与无政府状态之间划清界限?我们怎么知道我们什么时候越界了呢?我们怎样才能防止自己越界呢?这个问题也可能被表述为,“在
精
益
消除浪费的努力中,哪些过程不能被安全地消除”?
浏览 0
提问于2009-07-23
得票数 24
回答已采纳
1
回答
将nat的证明转换为非负整型的证明
nlemma two_ne_four_mul_any (z:ℤ) (nonneg: 0 ≤ z): 2 ≠ 2 * 2 * z所以,问题是,这可以在
精
益
中得到证明,人们应该如何去做呢?
浏览 4
提问于2020-12-14
得票数 3
2
回答
如何在
精
益
中定义偏序集?
、
、
、
我希望在
精
益
定理证明器中证明。首先,我需要定义像偏序集这样的东西,这样我就可以定义infimum/上界。在
精
益
中是如何做到这一点的?提到了setoid,它们是具有关联的等价关系的类型。
浏览 5
提问于2016-03-27
得票数 1
回答已采纳
1
回答
堆栈将包保存在缓存中多长时间?
、
、
我正在使用
精
益
定理验证器,我希望构建类似堆栈的特性,并开始构建库缓存。我不确定的一件事是什么时候删除缓存中的旧包。我可以认为,如果我安装了两个版本的
精
益
,比如3.3.0和3.3.1,我可以主张保留所有在这些版本上工作的包的所有版本。因为
精
益
语法动作很快,所以有很强的限制性。
浏览 2
提问于2017-10-27
得票数 6
回答已采纳
2
回答
定理中命题的卷括号与圆括号的区别
我对定理中的命题使用括号感到非常困惑。请参见以下四个片段: (P -> Q) -> (¬ Q -> ¬ P) := sorry (P -> Q) -> (¬ Q -> ¬ P) := sorry (P -> Q) -> (¬ Q -> ¬ P) := sorry theor
浏览 0
提问于2019-04-23
得票数 1
回答已采纳
2
回答
如何使
精
益
FingerSwipe事件触发器在开始滑动?
、
、
、
我使用
精
益
触觉资产进行触摸检测。我用
精
益
FingerSwipe脚本控制我的玩家,在四个方向(上、右、下、左),在滑动结束时触发。
浏览 11
提问于2020-03-29
得票数 1
回答已采纳
1
回答
如何证明
精
益
中的分布性(命题有效性属性6)?
、
、
在经历了大多数练习,并在
精
益
手册第3章末尾的
精
益
中解决/证明了前五个命题有效性/性质之后,我仍然无法理解以下含义(证明性质6所需的含义之一): theorem Distr_or_L (p q r :from pqpr.left, sorry end 我面临的困难主要是因为当p不是真的时,因为我不知道如何使用
精
益
工具将假设中我非常感谢这里的任何帮助;请帮助我理解如何在上面的设置中构造
浏览 13
提问于2020-01-16
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
动作分析软件,视与视ECRS工时分析软件首次分享精益生产背后的精益设计
秒表时间分析在精益中的应用
数里话特色:“敏捷精益咨询分析服务” 简介
【精益管理】精益布局六大原则
精益思想之我见
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
云直播
活动推荐
运营活动
广告
关闭
领券