Reliable Software Development: Analysis-Aware Design

被引：0

作者：

Holzmann, Gerard J. ^{[1
]}

机构：

[1] CALTECH, Jet Prop Lab, Lab Reliable Software, Pasadena, CA 91109 USA

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 2011年 / 6605卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The application of formal methods in software development does not have to be an all-or-nothing proposition. Progress can be made with the introduction of relatively unobtrusive techniques that simplify analysis. This approach is meant replace traditional analysis-agnostic coding with an analysis-aware style of software development.

引用

页码：1 / 2

页数：2

共 8 条

[1] [Anonymous], 2004, The SPIN Model Checker-Primer and Reference Manual
[2] Clarke L.A., 2006, ACM SIGSOFT SOFTW EN, V31
[3] Cohen E, 2009, LECT NOTES COMPUT SC, V5674, P23, DOI 10.1007/978-3-642-03359-9_2
[4] Drusinsky D, 2000, LECT NOTES COMPUT SC, V1885, P323
[5] Holzmann G. J., 2000, FEAVER 1 0 USER GUID
[6] Holzmann G.J., 2011, IEEE T SOFT IN PRESS
[7] Model driven code checking
Holzmann, Gerard J.
Joshi, Rajeev
Groce, Alex
[J]. AUTOMATED SOFTWARE ENGINEERING, 2008, 15 (3-4) : 283 - 297
[8] Kudrjavets G., 2006, MSRTR200654

← 1 →