Preface to the special section on improving software quality through formal methods

Falcone Ylies; Mariani Leonardo

首页> 外文期刊>Software Quality Journal >Preface to the special section on improving software quality through formal methods

【24h】

Preface to the special section on improving software quality through formal methods

机译：通过正式方法提高软件质量的特殊部分

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Software Quality Journal》 |2020年第2期|693-694|共2页
作者
Falcone Ylies; Mariani Leonardo;
展开▼
作者单位

Univ Grenoble Alpes CNRS INRIA Lab Informat Grenoble F-38000 Grenoble France;

Univ Milano Bicocca Viale Sarca 336 IT-20126 Milan Italy;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering [J] . Maurice H. ter Beek, Dave Clarke, Ina Schaefer The Journal of logic and algebraic programming . 2015,第1PTa2期

机译：JLAMP有关软件产品线工程形式方法的特刊的编辑序言
2. Preface to the special issue on improving software quality through program analysis [J] . Guedemann Matthias, Mariani Leonardo Software Quality Journal . 2021,第3期

机译：通过计划分析提高软件质量的特殊问题
3. Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software [J] . Ivan Lanese, Eric Madelaine Science of Computer Programming . 2016,第Octa1期

机译：第十一届组件软件形式方面国际专题讨论会特刊的序言
4. Mode-Aware Concolic Testing for PLC Software Special Session 'Formal Methods for the Design and Analysis of Automated Production Systems' [C] . Hendrik Simon, Stefan Kowalewski International conference on integrated formal methods . 2018

机译：PLC软件的模式识别共模测试特别会议“自动化生产系统的设计和分析的正式方法”
5. An exploration of formal methods and tools applied to a small satellite software system. [D] . Grover, Russell J. 2010

机译：探索适用于小型卫星软件系统的正式方法和工具。
6. Editorial preface to this special issue Improving the quality and outcomes of lung cancer care: an interdisciplinary approach [O] . Raymond U. Osarogiagbon 2015

机译：该专题的社论序言提高肺癌治疗的质量和结果：一种跨学科方法
7. Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14) [O] . Giannakopoulou Dimitra, Salaün Gwen, Butler Michael 2016

机译：软件工程和形式方法期刊的形式方面专刊（SEFM'14）

Preface to the special section on improving software quality through formal methods

著录项

相似文献

相关主题

期刊订阅