Formal methods in industrial software standards enforcement

被引：0

作者：

Grinevich, Alexey ^{[1
]}

Khoroshilov, Alexey ^{[1
]}

Kuliamin, Victor ^{[1
]}

Markovtsev, Denis ^{[1
]}

Petrenko, Alexander ^{[1
]}

Rubanov, Vladimir ^{[1
]}

机构：

[1] Russian Acad Sci, Inst Syst Programming, ISPRAS, B Communisticheskaya 25, Moscow, Russia

来源：

PERSPECTIVES OF SYSTEMS INFORMATICS | 2007年 / 4378卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test derivation from the resulting formal specifications. Strong technological support of such a process in its engineering aspects makes it applicable to software standards of real-life complexity. This is illustrated by its application to Linux Standard Base. The work stands in line with goals of international initiative Grand Challenge 6: Dependable Systems Evolution [1].

引用

页码：456 / +

页数：3

共 50 条

[41] On the utility of formal methods in the development and certification of software
Heitmeyer, Constance L.
[J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 1 - 2
[42] Formal Methods for Robotic System Control Software
Kouskoulas, Yanni
Platzer, Andre
Kazanzides, Peter
[J]. JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 490 - 498
[43] Formal foundations for software engineering methods - Introduction
Hussmann, H
[J]. FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
[44] SOFTWARE ENGINEERING - FORMAL METHODS .1.
DEMAN, J
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 361 - 361
[45] Formal Methods in Software Product Line Engineering
Schaefer, Ina
Hahnle, Reiner
[J]. COMPUTER, 2011, 44 (02) : 82 - 85
[46] Formal engineering methods for software quality assurance
Liu, Shaoying
[J]. FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 1 - 2
[47] Application of lightweight formal methods to software security
Gilliam, DP
Powell, JD
Bishop, M
[J]. FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 160 - 165
[48] APPLICATIONS OF FORMAL METHODS - DEVELOPING VIRTUOSO SOFTWARE
GERHART, SL
[J]. IEEE SOFTWARE, 1990, 7 (05) : 6 - 10
[49] ON THE RELEVANCE OF FORMAL METHODS TO SOFTWARE-DEVELOPMENT
FLOYD, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 1 - 11
[50] Software technology - formal methods and scientific foundations
Broy, M
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (14) : 947 - 950

← 1 2 3 4 5 →