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公司；帕戈达；执行者ERL；github；里奥；杰森；埃尔朗；奶牛 引用于： 18文件 全部的 前5名47位作者引用 4 弗朗西斯科·蒂齐 三 洛科·德尼古拉 三 阿尔贝托·卢什·拉富恩特 三 米歇尔·洛雷蒂 三 马里诺·米库兰 三 米歇尔·帕斯夸 三 罗萨里奥·普格利泽 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） 按年份列出的引文