玻璃器皿

Specware是一个软件工程工具,可以自动生成高保证软件。Specware是一个先进的自动化软件开发系统,它允许用户精确地指定他们的应用程序所需的功能,并根据这些需求生成可证明正确的代码。Specware设计过程的核心是逐步求精,即用户从一个简单抽象的问题模型开始,不断地完善这个模型,直到它唯一、具体地描述了他们的应用。


zbMATH参考文献(24篇文章引用)

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019)
  2. Kovalyov,S.P.:软件系统设计的范畴理论方法(2016)
  3. Macedo,Hugo D.;Haeusler,Edward H.;Garcia,Alex:使用有限集定义有效性。可计算性研究(2016)
  4. Kovalev,S.P.:大型信息控制系统生命周期的系统分析(2013)
  5. Graves,Henson;Bijan,Yvonne:在航空航天设计和工程中使用SysML的形式化方法(2011)
  6. 操作系统验证概述(2009)
  7. Tomasik,Jerzy;Weyman,Jerzy:规范细化的类别本地化语义(2007)
  8. Smith,Douglas R.:colimit的组合与正式软件开发(2006)
  9. Johnsen,Einar Broch;Lüth,Christoph:通过证明项转换重用定理(2004)
  10. Kreitz,Christoph:用Nuprl验证开发系统构建可靠、高性能的网络(2004)
  11. 杜兰,弗朗西斯科;梅斯盖尔,何塞:结构理论与制度(2003)
  12. Roşu,Grigore;Venkatesan,Ram Prasad;Whittle,Jon;Leuştean,Laurenţiu:证明状态估计程序的最优性。(2003年)
  13. 弗莱纳,皮埃尔:《程序综合的成就与展望》(2002)
  14. 吉本斯,杰里米:走向基于colimit的可视化编程语义(2002)
  15. Hall,Robert J.:电子邮件代理控制器的规范、验证和综合:功能丰富的反应式系统设计案例研究(2002)
  16. Alessandro,Coglio;Allen Goldberg:JVM中的类型安全:Java2SDK1中的一些问题。2和拟议解决方案(2001年)
  17. 科尔文,罗伯特;海斯,伊恩;斯特罗珀,保罗:模块化逻辑程序精化技术(2001)
  18. 威廉森,基思;希利,迈克尔;巴克,理查德:通过范畴理论的软件综合的工业应用--使用specware的案例研究(2001)
  19. 艾伦,斯图亚特F.;康斯特布尔,罗伯特L.;伊顿,里奇;克里茨,克里斯托夫;洛里戈,洛里:Nuprl开放逻辑环境(2000)
  20. Andrews,Peter B.;Bishop,Matthew;Brown,Chad E.:系统描述:TPS:类型理论的定理证明系统(2000)