2回答
我发现的不同之处是：
然而，维基百科将其称为一种方法，而不是一种数学表达式。摘要表示语义学是一种通过构造描述语言表达式意义的数学对象(称为表示)来形式化编程语言意义的方法。
浏览 23提问于2016-07-20得票数 3
回答已采纳
然而，在形式化建模语言时遇到了一些问题。对于形式化建模语言(包括源元模型、目标元模型、转换本身)，对定理证明器的证明机制尚不确定。我应该在编程模式下自编一个带有.thy后缀的理论文件，然后在验证模式下运行它以获得正确性的证明吗？伊莎贝尔有许多编码字段，如数据类型、常数、函数、定义、引理和定理。
浏览 3提问于2020-05-30得票数 0
回答已采纳
2回答
我想用一种特殊的语言来描述(定义，形式化)智能体之间的交互过程。换句话说，我想提供一个环境，在这个环境中，agents可以以某种方式相互作用，我想使用一种适合于这种方式的编程语言来描述交互方式。有这样的语言吗？
更具体地说，我们可以将代理视为网站的用户。网站的发展依赖于用户的行动(用户有一定的行动自由)。用户可以做什么以及作为他们的操作的结果发生了什么，应该用语言来描述。
浏览 0提问于2010-09-30得票数 2
回答已采纳
3回答
形式化方法可用于指定、证明和生成应用程序的代码。这不太容易出错，因此大部分用于安全/关键程序。形式化方法Hoare逻辑
浏览 0提问于2018-07-17得票数 17
回答已采纳
4回答
还有一个给定的术语库，我可以访问它，它有可形式化的谓词。我想使用上面提到的谓词为这个DB构建一个查询语言。你会怎么做？我的解决办法如下：
这是一个有效的方法吗？有更好的吗？
浏览 7提问于2009-11-17得票数 11
回答已采纳
3回答
写正确的语法吗？
、、、
我目前正试图为一种编程语言编写一个(非常)小的解释器/编译器。我已经为语言设置了语法，现在我需要为语言写下语法。我打算使用LL(1)解析器，因为经过一番研究，它似乎是最容易使用的。我是这个领域的新手，但是从我收集的信息来看，强烈建议使用BNF或EBNF来形式化语法。然而，似乎并不是所有的语法都适合使用LL(1)解析器实现。
浏览 3提问于2011-02-18得票数 1
BDD使用期望行为的规范作为项目团队成员的一种无处不在的语言。这就是为什么BDD坚持用半形式化的语言来描述行为规范:某种形式是成为一种普遍存在的语言的必要条件。此外，拥有这样一种无处不在的语言可以创建一个规范的域模型，从而可以对规范进行正式的推理。我认为，一种具有语法和编译器的实际形式、严格的“语言”可以用于，例如，从规范自动生成测试存根，或者保证规范具有某些属性(统一命名为名词和动词，等等)。那么，在BDD范式中，为什么“无处不在的语言”仅仅是半形式化</em
浏览 0提问于2014-09-12得票数 2
回答已采纳
在我的软件之旅中，我一直在想，为什么这个工程分支缺乏像电子学(数学建模和实现)那样的形式化设计方法，以及具有许多约束的最佳通信系统的设计，这些系统中的大多数都比地球上最复杂的软件(如运行我们使用和开发的软件的I)复杂得多，而与软件相关的领域中唯一具有形式化方法的是硬件描述语言。我最近了解到，存在用于软件设计、规格说明和验证的正式方法，如Z符号和语言、维也纳开发方法和b语言。
但是，这个领域的最新技术是什么，普通工程师(例如在我的团队中)如何使用它？
浏览 19提问于2019-10-16得票数 0
您是否有任何与表示计算机语言语义有关的信息/研究的指针?用编码/标记符号(例如EBNF)对语法需求进行形式化化？
谢谢
浏览 1提问于2009-05-20得票数 2
回答已采纳
5回答
有没有我感兴趣的语言--以这种方式形式化依赖注入、初始化和支持不变性？也许让它们成为一门语言的一部分是愚蠢的，也可能不是。我没有把握。现在我用Java编程，但我不能随心所欲地使用"final“，因为这些阶段发生在构造函数完成执行之后。关于如何用Java得到我想要的东西，有什么建议吗？
浏览 4提问于2010-05-26得票数 6
回答已采纳
4回答
长话短说，我想使用C作为脚本语言，并以可移植的方式创建了一个基于寄存器的JITless VM来实现这一点。我已经形式化了VM的ISA、脚本文件格式、调用约定，甚至创建了一个汇编程序，将人类可读的字节码组装成数字字节码，现在我需要一个可以针对我的VM的编译器。
浏览 0提问于2019-01-13得票数 3
回答已采纳
1回答
如何形式化Uml
、、
有没有办法将UML转换(形式化)为Z符号？我的意思是，有没有办法把UML需求重写成像z这样的正式语言？
很抱歉我的英语不好，我的母语不是英语。谢谢。
浏览 3提问于2013-04-08得票数 2
回答已采纳
2回答
元建模，据我所知，是更复杂的，因为它试图形式化和抽象建模。一些很好的例子是来自学术界的Keet的概念数据建模语言的形式化比较 (UML，ERM和ORM)和业界的元对象设施(MOF)。从理论上讲，您可以使用元建模来转换和集成不同建模语言中的模型，但实际上有人这样做了吗？
浏览 0提问于2011-11-18得票数 8
回答已采纳
1回答
我想知道是否有任何方法，我们可以自动化的三维建模过程。比如，如果我给模型一个文本输入，比如“创建一个球体并给它一个红色的颜色”，我们就需要得到模型。准确地说，我想创建一个机器人，它可以在像搅拌机这样的软件中执行操作，就像我告诉机器人我想做什么，然后它就会做。你知道我怎么能做到这一点吗？
浏览 0提问于2021-07-21得票数 1
1回答
我之所以问这个问题，是因为UML用于非正式规范，并且在语义上有一些歧义。然而，我认为OCL可以非常有效地用于指定前置/后置条件、不变量和其他约束。
浏览 0提问于2010-05-12得票数 2
回答已采纳
我开始学习Symfony2，其中一件事让我印象深刻的是variables和functions上面的无数评论： /** */或： * @var FeedRepositoryprivate $feedRepo;/** * @return QueryBuilderpublic function test(){
谁能给我解释一下为什么要用这些，为什么要这么做？
浏览 0提问于2014-11-26得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
