发布文献求助

Automated generation of smart contract code from legal contract specifications with Symboleo2SC

智能合约 计算机科学 按合同设计 合同管理 编码（集合论） 软件工程 程序设计语言 计算机安全 工程管理 业务 软件 软件开发 数据库事务 软件建设 集合（抽象数据类型） 营销 工程类
作者
Aidin Rasti,Amal Ahmed Anda,Sofana Alfuhaid,Alireza Parvizimosaed,Daniel Amyot,Marco Roveri,Luigi Logrippo,John Mylopoulos
出处
期刊：Software and Systems Modeling [Springer Nature]
日期：2024-06-29
标识
DOI：10.1007/s10270-024-01187-9
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
mumuyayaguoguo完成签到 ，获得积分10
刚刚
善良元芹完成签到 ，获得积分10
刚刚
nanfeng完成签到 ，获得积分10
刚刚
蚂蚁踢大象完成签到 ，获得积分10
9秒前
深情安青的应助被thchiang采纳，获得10
11秒前
穆一手完成签到 ，获得积分10
15秒前
碗碗豆喵完成签到 ，获得积分10
19秒前
活泼的寒安完成签到 ，获得积分10
21秒前
destiny完成签到 ，获得积分10
36秒前
高高的天亦完成签到 ，获得积分10
36秒前
鞑靼完成签到 ，获得积分10
43秒前
meiyang完成签到 ，获得积分10
43秒前
大方思柔完成签到 ，获得积分10
43秒前
51秒前
52秒前
科研小白完成签到 ，获得积分10
53秒前
huiluowork完成签到 ，获得积分10
53秒前
小二郎的应助被wyt采纳，获得10
55秒前
DduYy发布了新的文献求助10
55秒前
nine2652完成签到 ，获得积分10
56秒前
哇哇脸发布了新的文献求助10
57秒前
姜姜姜完成签到 ，获得积分10
58秒前
飞云完成签到 ，获得积分10
1分钟前
Senmin完成签到 ，获得积分10
1分钟前
mengli完成签到 ，获得积分10
1分钟前
光亮又晴完成签到 ，获得积分10
1分钟前
洋洋爱吃枣完成签到 ，获得积分10
1分钟前
无情夏寒完成签到 ，获得积分10
1分钟前
积极的中蓝完成签到 ，获得积分10
1分钟前
cx完成签到，获得积分10
1分钟前
大气夜山完成签到 ，获得积分10
1分钟前
David完成签到，获得积分10
1分钟前
1分钟前
l老王完成签到 ，获得积分10
1分钟前
xue112完成签到 ，获得积分10
1分钟前
LYH完成签到 ，获得积分10
1分钟前
灰灰12138完成签到，获得积分10
1分钟前
奔跑西木完成签到 ，获得积分10
1分钟前
sisi完成签到，获得积分10
1分钟前
活力以冬发布了新的文献求助10
1分钟前
高分求助中
Lire en communiste 1000
Ore genesis in the Zambian Copperbelt with particular reference to the northern sector of the Chambishi basin 800
Becoming: An Introduction to Jung's Concept of Individuation 600
Communist propaganda: a fact book, 1957-1958 500
Briefe aus Shanghai 1946‒1952 (Dokumente eines Kulturschocks) 500
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
A new species of Velataspis (Hemiptera Coccoidea Diaspididae) from tea in Assam 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3167235
求助须知：如何正确求助？哪些是违规求助？ 2818702
关于积分的说明 7921990
捐赠科研通 2478475
什么是DOI，文献DOI怎么找？ 1320350
科研通“疑难数据库（出版商）”最低求助积分说明 632776
版权声明 602443
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通