MIO工作台

MIO workbench:一个具有模态输入/输出接口的组合设计工具。模态输入输出接口(MIOs)是一种通过输入输出进行通信的新规范理论。该方法结合了模态自动机和接口自动机的优点,这两种方法是基于构件的设计的主流规范理论。本文介绍了MIO工作台,它是MIO理论的第一个完整实现。


zbMATH中的参考文献(参考文献29条)

显示第1到第20个结果,共29个。
按年份排序(引文)
  1. 贝尼什,尼古拉;费伦伯格;Křetínský,一月;勒盖,阿克塞尔;Traonouez,Louis Marie:逻辑与行为规范(2020)
  2. 沃格勒,沃尔特;Lüttgen,Gerald:界面自动机的线性时间分支时间透视图(2020)
  3. 巴贝内拉,佛朗哥;德利古罗,乌戈;Hennicker,Rolf:连接通信有限状态机的开放系统(2019)
  4. 芬德里奇,萨沙;Lüttgen,Gerald:界面自动机的一般理论,组件兼容性和错误(2019)
  5. 瓦尔肖萨兹,马萨;拉尔斯·路德曼;莫尔,保罗;洛豪,麦芽;Mousavi,Mohammad Reza:模态转换系统编码特征转换系统(2019)
  6. 布伊托,费伦茨;沃格勒,沃尔特:模态接口自动机ACTL(2017)
  7. 布伊托,费伦茨;芬德里奇,萨沙;吕特根,杰拉尔德;沃格勒,沃尔特:非确定性模态界面(2016)
  8. 芬德里奇,萨沙;Lüttgen,Gerald:界面自动机的一般理论,组件兼容性和错误(2016)
  9. 布伊托,费伦茨;沃格勒,沃尔特:界面自动机中的错误修剪(2015)
  10. 亨尼克,罗尔夫;克纳普,亚历山大:从界面理论到装配理论(2015)
  11. 吕特根,杰拉尔德;沃格勒,沃尔特;Fendrich,Sascha:具有乐观和悲观兼容性的更丰富的界面自动机(2015)
  12. 德拉哈耶,贝诺;拉森,金G。;Legay,Axel:抽象概率自动机的结巴(2014)
  13. 亨尼克,罗尔夫;克纳普,亚历山大;Wirsing,Martin:通信安全部件系统的装配理论(2014)
  14. 贝尼什,尼古拉;德拉哈耶,贝诺;法伦堡,乌利;Křetínský,一月;Legay,Axel:Hennessy Milner逻辑与最大不动点作为一个完整的行为规范理论(2013)
  15. 卡莫娜,约瑟普;Kleijn,Jetty:多组件环境中的兼容性(2013)
  16. 德拉哈耶,贝诺;拉森,金G。;Legay,Axel:抽象概率自动机的结巴(2013)
  17. Křetínský,一月;Sickert,Salomon:关于布尔和参数模态转换系统的改进(2013)
  18. Křetínský,一月;Sickert,Salomon:MoTraS:模态转换系统及其扩展的工具(2013)
  19. Bauer,Sebastian:基于组件设计的模态规范理论(2012)
  20. 鲍尔,塞巴斯蒂安S。;亨尼克,罗尔夫;Wirsing,Martin:Building a modal interface theory for concurrency and data(2012年)

更多出版物请访问:http://www.miowb.net/?page_id=42