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出版物 全部的 前5名41位作者引用 4 弗朗西斯科·蒂埃齐 三 洛科·德尼古拉 三 阿尔贝托·卢什·拉富恩特 三 米歇尔·洛雷蒂 三 罗萨里奥·普格利泽 2 简·希尔斯顿 2 安德烈·范丁 1 叶希亚·阿卜杜·阿勒拉赫曼 1 乔治·奥德里托 1 雅各布·比尔 1 卢卡·博托卢西 1 罗伯托·布鲁尼 1 罗伯特·卡萨迪 1 安德烈亚·科拉迪尼 1 费卢西奥·达米亚尼 1 冯、程 1 吉安·路易吉，法拉利 1 法比奥·加杜奇 1 瓦实提·加尔平 1 罗尔夫·亨尼克 1 安娜贝拉·克拉尔 1 拉诺特、拉格罗 1 李锡盟 1 亚历山德罗·马吉 1 马丁·奥列特，纳西斯科 1 奥斯卡·马汀 1 马西莫·梅罗 1 马里诺·米库兰 1 乌戈·蒙塔纳里。 1 安德烈亚·莫里切塔 1 弗莱明·尼尔森 1 米歇尔·帕斯夸 1 玛丽内拉·彼得罗奇 1 丹尼尔·皮亚尼尼 1 汉内·里斯·尼尔森 1 瓦莱里奥·塞尼 1 安吉洛·斯波格纳迪 1 米尔科·特里巴斯通 1 阿尔贝托·维尔德乔 1 米尔科·维罗利 1 吴熙 全部的 前5名6篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 信息与计算 1 美国计算机学会模型和计算机仿真汇刊 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 在5个字段中引用 15 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文