SCEL公司

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


数学参考文献

显示第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)