跳跃导航
特奎尔
帕吉纳校长
渗透孔
社区
&科尔索耶斯
渗透孔:
蒂图洛斯
Autores公司
奥托雷斯·乌米尼奥
东方崇拜者
编辑
阿桑托斯
“reas do conhecimento”
公共数据
文件标题
蒂波斯·德埃塞索
编辑
Revitas公司
阿朱达斯
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
葡萄牙语
法郎
埃斯潘霍尔
所有的存在
入口
阿尔雷·佩索尔
Subscriço de estaísticas
警报服务
编辑容器
米尼奥大学
Escola de Engenharia |工程学院
HASLab-高保证软件实验室
HASLab-Artigos em atas de conference eyncias internacionais(完成文本)
使用este identification或para referencia este register来:
https://hdl.handle.net/1822/43346
蒂图洛
:
带粘合剂的动态逻辑及其在反应系统开发中的应用
汽车
:
马德拉、亚历山大·莱特·卡斯特罗
巴博萨,L.S。
罗尔夫·亨尼克
马丁斯(Manuel A.Martins)。
数据
:
2016
伊迪多拉
:
Springer Verlag公司
雷维斯塔
:
计算机科学课堂讲稿
简历
:
本文引入了一个逻辑来支持规范和
在不同抽象层次上开发反应系统
财产规范,涉及安全和活性要求,
符合代表具体过程的建设性规范。
这是
通过将混合逻辑绑定器与常规模式相结合来实现
我们称之为D↓-逻辑。
这个
我们逻辑的语义关注有效的过程,因此给出了
就具有初始状态的可达过渡系统而言。
第二个
论文的一部分运用这种逻辑来构建
提出的软件开发方法中的反应系统
Sannella和Tarlecki。
特别是,我们实例化了通用概念
使用标准实现构造函数和抽象器
反应组分上的运算符,如重新标记和并行合成,
作为构造函数,以及用于抽象的互模拟。
我们还学习
依赖于保存的实现的垂直组合
通过标记过渡系统的构造实现了互相似性。
蒂波
:
Artigo em ata de conferáncia公司
德斯克里桑奥
:
Publicado em“计算的理论方面——2016年ICTAC:第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日,会议记录”。
国际标准图书编号978-3-319-46749-8
乌里
:
https://hdl.handle.net/1822/43346
十亿美元
:
9783319467498
内政部
:
10.1007/978-3-319-46750-4_24
国际标准编号
:
0302-9743
伊迪托拉诗歌
:
http://link.springer.com/chapter/10.1007%2F978
-3-319-46750-4_24
仲裁科学协会
:
对
阿塞索
:
阿塞索·阿伯托
Aparece nas coleçoes公司:
HASLab-Artigos em atas de conference eyncias internacionais(完成文本)
Ficheiros deste注册:
菲切罗
德斯克里桑奥
塔马尼奥
福尔马托
MBHM16.pdf格式
527.7千字节
Adobe PDF格式
Ver/Abrir公司
版本注册表已完成
苏杰里尔·科雷桑
Estatísticas公司
引文
Altmetrics公司