回答情况：
提问时间：
问题标签：
有没有人读过她和她丈夫汤姆写的所有关于精益软件开发的三本书？：2006年:实施精益软件开发玛丽和汤姆·波彭迪克是公认的瘦专家，所以我很可能读过他们的一本书，但我一本也没读过。
我该从哪一个开始？
浏览 0提问于2010-11-09得票数 5
回答已采纳
1回答
是否有关于采用基于精益原则的敏捷方法的研究？我要找的一些数据：在敏捷方法方面，采用精益如何与其他敏捷方法(如Scrum、XP等)进行比较？
浏览 0提问于2011-02-13得票数 5
但是什么是“精益软件开发”和“看板”呢？
可以说Scrum、Lean和Kanban是敏捷方法论的实现吗？或者精益和看板是不同的方法论？精益和看板是否提供了一个框架/指导方针(如敏捷)，并将实现留给了相邻的一组实践，如XP和Scrum？
浏览 0修改于2014-03-15得票数 33
回答已采纳
3回答
精益是一种定理证明语言和编程语言。这也是写当月语言的时候！
人们对精益高尔夫有什么建议？和往常一样，小贴士应该专为精益而设。“删除注释”不是答案)，并坚持每一个答案一个提示。
浏览 0修改于2021-10-08得票数 9
高级DevOps角色/配置文件对我来说也意味着在基础设施和软件工程技能之外的许多其他基础和实践中提供资历，比如精益、度量、开放和沟通(诚实地说，谁要求DevOps员工提供他们的沟通技能？)--这会引发“现在，你如何应用精益原则?你最近的DevOps项目如何处理文化方面的问题？”进一步阐述：自动化(在这里你会问到木偶/码头工人等技能)
精益(精益的基础？废物种
浏览 0修改于2017-10-11得票数 11
回答已采纳
是否有可能将精益语言(从精益4)导出到另一种语言，就像Isabelle用代码生成Haskell或Scala一样？
在文件里没有找到。
浏览 3提问于2022-11-03得票数 0
我试图将这些列显示为3列，以便将其显示为：右精益中心精益左精益因此，我有三个查询集，如下所示：
right_articles = sline.article_set.filter
浏览 5修改于2018-05-17得票数 0
回答已采纳
我正在使用一个精益查询来更快地从数据库中检索一个大型数据集。检索到的大多数数据都是使用而不是修改或保存的，因此精益查询很好，但是我需要使用模式方法修改和保存一小部分对象。在我迭代精益查询的结果时，是否可以为这些结果创建mongoose对象，将大部分结果保留在精益格式中？
浏览 4修改于2015-12-23得票数 2
回答已采纳
上周发生的精益软件和系统联合会2011年会议阐述了精益软件开发的愿景和价值。第一条是“接受人类的条件”。
浏览 0修改于2011-11-09得票数 8
回答已采纳
他对BDD相当不屑一顾，他说我们应该使用精益方法，比如SBCE (基于集的并发工程)和其他我不知道的东西，因为到目前为止我还没有读到很多关于精益实践的文章。
这两种方法相互排斥吗？精益有自己的语言满足需求吗？
浏览 0修改于2015-01-03得票数 3
14回答
我的团队已经逐渐采用了越来越多的轻量级方法，从Scrum转移到精益/看板，在那里正式的过程越来越少。在某种程度上，我们将回到牛仔编码；实际上，我担心我们可能已经在边界线上了。如何在非常轻量级的精益和敏捷流程与无政府状态之间划清界限？我们怎么知道我们什么时候越界了呢？我们怎样才能防止自己越界呢？这个问题也可能被表述为，“在精益消除浪费的努力中，哪些过程不能被安全地消除”？
浏览 0修改于2011-07-25得票数 24
回答已采纳
2回答
我希望在精益定理证明器中证明。首先，我需要定义像偏序集这样的东西，这样我就可以定义infimum/上界。在精益中是如何做到这一点的？提到了setoid，它们是具有关联的等价关系的类型。
浏览 5修改于2017-04-13得票数 1
回答已采纳
nlemma two_ne_four_mul_any (z:ℤ) (nonneg: 0 ≤ z): 2 ≠ 2 * 2 * z所以，问题是，这可以在精益中得到证明，人们应该如何去做呢？
浏览 4提问于2020-12-14得票数 3
我正在使用精益定理验证器，我希望构建类似堆栈的特性，并开始构建库缓存。我不确定的一件事是什么时候删除缓存中的旧包。我可以认为，如果我安装了两个版本的精益，比如3.3.0和3.3.1，我可以主张保留所有在这些版本上工作的包的所有版本。因为精益语法动作很快，所以有很强的限制性。
浏览 2修改于2017-11-17得票数 6
回答已采纳
我使用精益触觉资产进行触摸检测。我用精益FingerSwipe脚本控制我的玩家，在四个方向(上、右、下、左)，在滑动结束时触发。
浏览 11提问于2020-03-29得票数 1
回答已采纳
在经历了大多数练习，并在精益手册第3章末尾的精益中解决/证明了前五个命题有效性/性质之后，我仍然无法理解以下含义(证明性质6所需的含义之一)： theorem Distr_or_L (p q r :from pqpr.left, sorry
end 我面临的困难主要是因为当p不是真的时，因为我不知道如何使用精益工具将假设中我非常感谢这里的任何帮助；请帮助我理解如何在上面的设置中构造
浏览 13提问于2020-01-16得票数 1
回答已采纳
我正在尝试将Coq术语直译为精益术语，但我意识到我不知道如何翻译Coq原语fix，如下所示： Definition Fac : nat -> nat :=
fix f (n:nat) : nat我不是问如何在归纳类型上定义递归函数，这在精益文档中有很好的解释，但我问的是如何定义“递归let”，即其主体调用自身的lambda抽象。我假设Lean中存在一个等价的原语。 谢谢。
浏览 27提问于2020-03-29得票数 0
回答已采纳
我是精益FT的新手，我想知道一个像样的.gitignore模板。精益FT为应用程序模型生成*.tsrx文件，并自动生成包含解释这些文件的头信息的相应*.tsrx.cs文件。
浏览 1提问于2019-04-12得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号