落叶松

Larch语言家族支持两层定义的规范风格。每个规范都有两种语言编写的组件:一种是针对特定编程语言而设计的语言,另一种是独立于任何编程语言的语言。前者属于落叶松界面语言,后者是落叶松共享语言(LSL)。接口语言用于指定程序组件之间的接口。每个规范提供使用接口所需的信息。每个接口的一个关键部分是组件如何跨接口进行通信。通信机制不同于编程语言和编程语言。例如,有些语言具有用于信令异常条件的机制,而其他语言则没有。由不同语言使用的各种参数传递和存储分配机制产生了更微妙的差异。当接口规范语言反映编程语言时,更容易精确地理解通信。每个接口语言处理用特定编程语言编写的客户端程序所能观察到的内容。LARCH接口语言已经被设计用于各种编程语言,包括艾达、C、C++、CUL、CORBA、ML、MODEMA-3和SmLalTalk。也有“通用”落叶松界面语言,可以专门为特定的编程语言或用于指定在不同语言的程序之间的接口。接口规范依赖于在LSL中编写的辅助规范的定义,以便为它们使用的原始术语提供语义。说明符不限于固定的符号集,而是可以使用LSL来定义适用于特定接口规范或规范类别的专门词汇。


ZBMaX中的参考文献(86篇)1标准条款

显示结果1至20的86。
按年份排序(引文
  1. FutaTuGi,Kokichi:用于验证CAFEOBJ中的转换系统的生成和检查方法(2015)
  2. FutaSuGi,Kokichi:CAFEOBJ(2015)中生成和检查方法的通用证明分数
  3. 伊甸,A. H.;GasPARIS,E;尼克尔森,J;Kazman,R:用代码图建模和可视化面向对象程序(2013)
  4. 琼斯,Cliff B.;弗雷塔斯,雷欧;Velykis,Andrius:我们的文本原因(2013)
  5. Hatcliff,约翰;Leaves,Gary T.;莱诺,K. Rustan M.;Mü勒,彼得;帕金森,马修:行为接口规范语言(2012)
  6. 可汗,Muhammad Taimoor;SrReNER,沃尔夫冈:Maple程序的形式化规范和验证(2012)
  7. Salnela,唐纳德;TaelkKi,ANDRZJ:代数规范和形式化软件开发的基础。(2012)
  8. LoGoZo,弗朗西斯科:类不变量作为痕迹语义的抽象解释(2009)
  9. 施罗德,Lutz;莫萨科夫斯奇,直到:HasCasl:集成高阶规范和程序开发(2009)
  10. 比多伊特,米歇尔;Shanela,唐纳德;TaelkKi,安德雷杰:观测解释CASL规范(2008)
  11. 法拉利、毛罗、菲奥伦蒂尼、CAMILO、MimigiLango、阿尔伯托、OrnaGi、马里奥:面向对象建模语言中的快照生成(2008)
  12. MIDelkopp,罗纳德;惠廷,Cornelis;Kuiver,Ruurd;LuIT,Erik J.:OO设计中利用层的规范和验证不变量(2008)
  13. 伯杰,马丁;本田,Kohei;吉田,Nobuko:强制高阶函数中混叠的逻辑分析(2007)
  14. 查林:帕特利斯:验证编译器原型匹配用户期望的逻辑基础吗?(2007)
  15. 列文,Gary T.;莱诺,K. Rustan M.;米勒,彼得:顺序面向对象程序的规范和验证挑战(2007)
  16. K. Rustan M.,Sulult,WulfRAM:一个多线程面向对象语言的验证编译器(2007)
  17. 利姆、红平、阿切尔、Myla:支持PVS战略发展的翻译模板(2007)
  18. 穆萨维、Mohammadreza、雷尼尔、Michel A.、Groote、Jan Friso:SOS格式与元理论:20年后(2007)
  19. Ogata,Kazuhiro;FutaSuGi,Kokichi:基于方程的实时系统建模与验证(2007)
  20. BIDOIT,米歇尔;Hennicker,罗尔夫:基于建构主义的观测逻辑(2006)