SCEL公司 swMATH ID: 20779 软件作者: 洛科·德·尼古拉(Rocco De Nicola)、迭戈·拉特拉(Diego Latella)。Alberto Lluch Lafuente、Michele Loreti、Andrea Margheri、Mieke Massink、Andrea Morichetta、Rosario Pugliese、Francesco Tiezzi、Andrea Vandin 说明: SCEL语言:设计、实现、验证。SCEL(服务组件集成语言)是一种新的语言,专门设计用于严格建模和编程自主组件及其交互,同时支持对其行为的形式化推理。SCEL汇集了各种编程抽象,允许根据特定策略直接表示聚合、行为和知识。它还自然地支持编程交互、自我意识、上下文意识和适应。语言的坚实语义基础被用来开发逻辑、工具和方法,用于对系统行为进行形式化推理,以建立单个组件和整个系统的定性和定量属性。 主页: https://rd.springer.com/chapter/10.1007%2F978-3-319-16310-9_1 相关软件: 科莱姆;莫德;CARMA公司;帕洛马;琳达;SCE灯;MultiVeStA公司;皮尔洛;生物-PEPA;自旋蛋白;克拉瓦;海伦娜;DEECO公司;帕戈达;执行者ERL;github;里奥;杰森;埃尔朗;奶牛 引用于: 18文件 全部的 前5名47位作者引用 4 弗朗西斯科·蒂埃齐 三 洛科·德尼古拉 三 卢赫·拉富恩特,阿尔贝托 三 米歇尔·洛雷蒂 三 马里诺·米库兰 三 米歇尔·帕斯夸 三 罗萨里奥Pugliese 2 简·希尔斯顿 2 安德烈·范丁 1 叶希亚·阿卜杜·阿勒拉赫曼 1 乔治·奥德里托 1 米哈伊尔·巴拉什 1 雅各布·比尔 1 卢卡·博托卢西 1 罗伯托·布鲁尼 1 罗伯特·卡萨迪 1 詹姆斯·查普曼(James T.E.Chapman)。 1 安德烈亚·科拉迪尼 1 费卢西奥·达米亚尼 1 尼尔·J·戴维斯。 1 冯、程 1 吉安·路易吉,法拉利 1 法比奥·加杜奇 1 瓦实提·加尔平 1 塞耶德·侯赛因·海里 1 马格尼·哈夫雷恩 1 罗尔夫·亨尼克 1 安娜贝尔,克拉尔 1 拉诺特,拉格罗 1 李锡盟 1 亚历山德罗·马吉 1 马丁·奥列特,纳西索 1 奥斯卡·马汀 1 马西莫·梅罗 1 乌戈·蒙塔纳里。 1 安德烈亚·莫里切塔 1 弗莱明·尼尔森 1 玛丽内拉·彼得罗奇 1 丹尼尔·皮亚尼尼 1 汉内·里斯·尼尔森 1 瓦莱里奥·塞尼 1 安吉洛·斯波格纳迪 1 彼得·汤普森(Peter W.Thompson)。 1 米尔科·特里巴斯通 1 彼得·范罗伊 1 阿尔贝托·维尔德乔 1 米尔科·维罗利 全部的 前5名6篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 1 信息与计算 1 美国计算机学会模型和计算机仿真汇刊 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 在5个字段中引用 18 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文