1回答
我需要在我的应用程序中从提供者列表中选择一个提供者，然后，通过ajax，我可以在下面看到属于某个特定提供者的类别列表。});
路由：match '/admin/games/category_select' => 'admin/games#ajax_call', via: :get, as: 'category_select目前，我有category_select_path(p
浏览 7提问于2017-01-17得票数 4
回答已采纳
3回答
形式化方法可用于指定、证明和生成应用程序的代码。这不太容易出错，因此大部分用于安全/关键程序。形式化方法Hoare逻辑
浏览 0提问于2018-07-17得票数 17
回答已采纳
3回答
有一些关于什么是Scala延续(和)的问题。但答案只是试图解释它。因此，在这个问题中，我要求正式定义什么是(Scala的)定界延续。我不需要示例(尽管它可能会有帮助)，并要求尽可能简单和易于理解的形式化，如果有帮助，甚至可以忽略键入。形式化应该涵盖语法(不是在语法意义上，而是类似于f is a function and c is a foo)和语义(计算的结果是什么)。
浏览 2提问于2012-01-13得票数 7
回答已采纳
例如-创建规范
在创建规范时，软件工程的形式化方法的使用被认为比其他非形式化方法(如面向对象设计)更少的“不一致”和“不完整”。
浏览 3提问于2010-01-24得票数 6
回答已采纳
我正在编写一个jQuery插件，其中我需要使用一个$.ajax请求，并使用额外的参数来处理回调，但我发现实现它非常困难。一个半形式化的版本： var additional_params = { name:'mike', surname:'buongiorno' }; type: "POST&
浏览 4提问于2011-06-23得票数 1
我知道c++20格式建议是libfmt部分的形式化，libfmt是该形式化的兼容实现。然而，我的理解是libfmt提供了c++20标准中指定的额外功能。附加的功能是什么？另外，主要的编译器供应商只是简单地包含libfmt的一个子集还是重新实现它呢？
浏览 2提问于2020-08-25得票数 10
回答已采纳
如何形式化地证明或反驳:如果一个问题A≤p B，则它遵循B≤p A 我直觉上认为这应该被证明是错误的，但我不确定该如何去做。
浏览 14提问于2020-04-18得票数 2
3回答
是否有人尝试过为具有构造型和OCL约束的设计模式创建UML概要文件？我正在尝试为Singleton模式创建一个，但不确定如何以及从哪里开始……
浏览 0提问于2011-01-10得票数 1
我很好奇数学正规化的现状是什么，如果有某种趋势来证明某个数学领域的结果，或者是否有协调一致的努力来证明什么？在我看来，翻阅正式证明的档案馆，似乎并非如此，因为许多人都在钻研数学各部分的正规化，但不是以协调的方式(我只是好奇，这不是必要的)。数学的某些部分，或者主要的定理，是否还没有正式化，而且目前还很高呢？特别是，在(普通)微分方程领域，似乎并没有做太多的事情--但我(非常天真)的印象是，将这些结果
浏览 4提问于2017-02-20得票数 2
我在一家大型软件公司工作，我正在开发一个大型企业级网络解决方案，拥有大约25人的团队(2名架构师，~15名开发人员，5名QA工程师，夫妇，项目经理)。我们正在遵循敏捷方法和scrum，在需求频繁变化的情况下，对于如此庞大的团队来说，这似乎是相当方便的。不久前，我遇到了一个适当的任务跟踪和形式化需求的问题
浏览 0提问于2014-07-07得票数 4
回答已采纳
4回答
还有一个给定的术语库，我可以访问它，它有可形式化的谓词。我想使用上面提到的谓词为这个DB构建一个查询语言。你会怎么做？我的解决办法如下：
这是一个有效的方法吗？有更好的吗？
浏览 7提问于2009-11-17得票数 11
回答已采纳
2回答
有什么标准的方法来形式化我的scala/akka参与者api吗？Imho，在这种情况下，我需要查看实现，知道发送什么并不是一个好的选择。另外，如果实现已经更改，并且我的消息不再有效(我认为它不会调用操作)，那么我就不会收到任何警告或错误。
浏览 3提问于2014-08-08得票数 3
回答已采纳
在我的软件之旅中，我一直在想，为什么这个工程分支缺乏像电子学(数学建模和实现)那样的形式化设计方法，以及具有许多约束的最佳通信系统的设计，这些系统中的大多数都比地球上最复杂的软件(如运行我们使用和开发的软件的I)复杂得多，而与软件相关的领域中唯一具有形式化方法的是硬件描述语言。我最近了解到，存在用于软件设计、规格说明和验证的正式方法，如Z符号和语
浏览 19提问于2019-10-16得票数 0
1回答
我在对以下形式的定义进行形式化化时遇到了困难:定义一个整数，使某些属性保持不变。Definition IsGood (x : Z) : Prop := ...是否有一种使用Good和IsGood定义Lemma_GoodExistsUnique的简单方法？
由于该属性是在整数上定义的，因此似乎不需要额外的公理。无论如何，我看不出添加类似于选择的公理这样的东西对定义有什么帮助。另外，我在形式化</em
浏览 1提问于2015-05-11得票数 6
回答已采纳
2回答
我记得如何对FSM做一个正式的描述，但是为PDA做一个描述看起来有点不同。有人能帮我解释一下圆圈部分吗？我通常做好笔记，但似乎在我的笔记本或其他地方找不到任何东西。任何帮助都是非常感谢的。
浏览 4提问于2013-11-21得票数 0
回答已采纳
2回答
经过一番研究，我了解到：单元测试确保我们不会出现开发人员引入的错误(ref：维基百科-单元测试)此外，我从形式证明中读取了单元测试生成的研究论文 (非常快)。单元测试是否是形式
浏览 0提问于2015-04-10得票数 7
回答已采纳
2回答
在阅读了几篇关于元建模的文章之后，我仍然没有真正得到实际的好处。有时，我认为这只是一个有趣的思维游戏，但没有有用的工具。当然，澄清您的建模词汇表是明智的:有些人可能会说类，而其他人说的是实体或概念，但这只是简单的文档--您的建模术语。元建模，据我所知，是更复杂的，因为它试图形式化和抽象建模。一些很好的例子是来自学术界的Keet的概念数据建模语言<
浏览 0提问于2011-11-18得票数 8
回答已采纳
Term Γ (S ⇒ T)(来自.)然而，试图将其应用于构造演算是有问题的，因为type和Term是一个单一的类型。这意味着不仅上下文/术语必须是相互递归的，而且该术语本身也必须被索引。但是，Agda抱怨说，Term在最初的声明中并没有在其范围内。是否可以用这种方式表示，或者我们真的需要有不同类型的术语和类型？我非常希望在Agda中看到CoC的最小&
浏览 0提问于2019-03-01得票数 3
回答已采纳
我的问题是关于伊莎贝尔定理证明程序。我应该在编程模式下自编一个带有.thy后缀的理论文件，然后在验证模式下运行它以获得正确性的证明吗？我是否应该分别对这些代码进行编码以证明模型转换的正确性？
浏览 3提问于2020-05-30得票数 0
回答已采纳
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
