SCEL公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

数学参考文献

显示第1到17个结果，共17个。
按年份排序(引用)

  1. Luca Bortolussi；Hillston，Jane；Loreti，Michele：《广播系统的流体近似》（2020）
  2. De Nicola，Rocco；Ferrari，Gianluigi；Pugliese，Rosario；Tiezzi，Francesco：特定领域分布式系统工程的正式方法（2020）
  3. Martín，Óscar；Verdejo，Alberto；MartíOliet，Narcisco:重写逻辑中的组合规范（2020）
  4. Viroli，Mirko；Beal，Jacob；Damiani，Ferruccio；Audrito，Giorgio；Casadei，Roberto；Pianini，Danilo:从分布式协调到场微积分和聚合计算（2019）
  5. 拉诺特，拉格罗；梅罗，马西莫：物联网的语义理论（2018）
  6. Li，Ximeng；Wu，Xi；Lluch Lafuente，Alberto；Nielson，Flemming；Nielson，Hanne Riis:数据库的协调语言（2017）
  7. Maggi，Alessandro；Petrocchi，Marinella；Spognardi，Angelo；Tiezzi，Francesco：基于语言的Twitter交互建模和分析方法（2017）
  8. 《传播学：米歇尔德拉赫蒂》（the power of communication，Abd-De，2016；基于尼古拉·拉赫蒂的《传播学》（the power of communication，Abd-De；2016年）
  9. Feng，Cheng；Hillston，Jane；Galpin，Vashti:空间分布式集体自适应系统的自动矩闭合逼近（2016）
  10. Vandin，Andrea；Tribastone，Mirco:集体适应系统的定量抽象（2016）
  11. Bruni，Roberto；Corradini，Andrea；Gadducci，Fabio；Iluch Lafuente，Alberto；Vandin，Andrea：行为适应的白盒视角（2015）
  12. Latella，Diego；Loreti，Michele；Massink，Mieke；Senni，Valerio:关于stocs:SCEL的随机扩展（2015）
  13. Montanari，Ugo；Pugliese，Rosario；Tiezzi，Francesco:用多个约束存储编程自主系统（2015）
  14. 谢尔贝季亚，尼古拉：自适应和自主系统及其对我们的影响（2015）
  15. Belzner，Lenz；De Nicola，Rocco；Vandin，Andrea；Wirsing，Martin：重写逻辑中的推理（on）服务组件集成（2014）ioport公司
  16. De Nicola，Rocco；Lluch Lafuente，Alberto；Loreti，Michele；Morichetta，Andrea；Pugliese，Rosario；Senni，Valerio；Tiezzi，Francesco：编程和验证组件集成（2014）
  17. Hennicker，Rolf；Klarl，Annabelle：合奏建模的基础——Helena方法。用复杂的集成架构处理大规模分布式系统（2014）