SCEL

SCEL语言：设计、实现、验证。SCEL（服务组件集成语言）是一种新的语言，专门设计用于严格建模和编程自主组件及其交互，同时支持对其行为的形式推理。SCEL汇集了各种编程抽象，允许人们根据特定的策略直接表示聚合、行为和知识。它也自然支持编程交互，自我意识，上下文意识，和适应。语言的坚实语义基础被用来开发逻辑、工具和方法，用于系统行为的形式推理，以建立单个组件和整个系统的定性和定量属性。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（15篇文章中引用）

显示结果1至15的15。
按年份排序（引文）

  1. De Nicola，罗科；法拉利，GiangLuigi；PuGeice，Rosario；TayZi，弗朗西斯科：一种面向领域的分布式系统工程的正式方法（2020）
  2. Viroli，米尔科；Beal，雅各伯；达米亚尼，FruCio；Addito，吉奥吉奥；Casadii，罗伯托；Pig，y:从分布式协调到字段演算和聚合计算（2019）
  3. Lanotte，Ruggero；梅洛，马西莫：物联网的语义理论（2018）
  4. 李，西盟；吴，奚；Lluch Lafuente，阿尔伯托；Nielson，弗来明；Nielson，Nielson：数据库的协调语言（2017）
  5. 麦格吉，Alessandro；彼得罗奇，马里内拉；斯波纳迪，安吉洛；TayZi，弗朗西斯科：一种基于语言的Twitter互动建模和分析方法（2017）
  6. Abd Alrahman，叶希亚；De Nicola，罗科；Loreti，米歇尔：基于属性的交流的力量（2016）
  7. 冯，程；Hillston，简；GalPin，VASTTI：空间分布集体自适应系统的自动矩闭合近似（2016）
  8. Vandin，安德列；TrbASTOne，Micro：集体适应系统的定量抽象（2016）
  9. 布吕尼，罗伯托；科拉迪尼，安德列；伽达契，法比奥；Lluch Lafuente，阿尔伯托；范丁，Poin：行为适应的白盒透视（2015）
  10. Latella，迭戈；Loreti，米歇尔；Massink，Mieke；森尼，瓦莱里奥：Stords: SCEL的随机扩展（2015）
  11. 蒙大拿，Ugo；PuGeice，Rosario；TIEZI，弗朗西斯科：用多约束存储编程自治系统（2015）
  12. 尼古拉的自适应和自治系统及其对我们的影响（2015）
  13. Belzner，楞次；De Nicola，罗科；范丁，安德列；Wirsing，马丁：重写逻辑中的服务组件集成的推理（2014）伊波尔特
  14. De Nicola，罗科；Lluch Lafuente，阿尔伯托；Loreti，米歇尔；Morichetta，安德列；PuGeles，Rosario；SeNi，Pig；TayZi，Y:编程和验证组件集成（2014）
  15. Hennicker，罗尔夫；克拉尔，安娜贝儿：集体建模的基础——海伦娜方法。用精细集成体系结构处理大规模分布式系统（2014）