×

SCEL公司

swMATH ID: 20779
软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁
描述: SCEL语言:设计、实现、验证。SCEL(服务组件集成语言)是一种新的语言,专门设计用于严格建模和编程自主组件及其交互,同时支持对其行为的形式化推理。SCEL汇集了各种编程抽象,允许根据特定策略直接表示聚合、行为和知识。它还自然地支持编程交互、自我意识、上下文意识和适应。语言的坚实语义基础被用来开发逻辑、工具和方法,用于对系统行为进行形式化推理,以建立单个组件和整个系统的定性和定量属性。
主页: https://rd.springer.com/chapter/10.1007%2F978-3-319-16310-9_1
相关软件: 科莱姆;莫德;帕洛马;琳达;CARMA公司;SCE灯;MultiVeStA公司;皮尔洛;生物-PEPA;自旋蛋白;克拉瓦;海伦娜;DEECO公司;帕戈达;github;里奥;埃尔朗;奶牛;2APL公司;杰森
引用于: 15出版物

按年份列出的引文