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 条

[1] The role of formal methods in software standards
Kegley, KA
Stavridou, V
[J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM AND FORUM ON SOFTWARE ENGINEERING STANDARDS - PROCEEDINGS, 1999, : 248 - 248
[2] THE CASE FOR FORMAL METHODS IN STANDARDS
BLYTH, D
BOLDYREFF, C
RUGGLES, C
TETTEHLARTEY, N
[J]. IEEE SOFTWARE, 1990, 7 (05) : 65 - 67
[3] The embedded software of an electricity meter: An experience in using formal methods in an industrial project
Arnold, A
Begay, D
Radoux, JP
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1997, 28 (2-3) : 93 - 110
[4] Formal methods and software reliability
Holzmann, GJ
[J]. SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
[5] Software engineering and formal methods
Aichernig, Bernhard
Beckert, Bernhard
[J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
[6] Software engineering and formal methods
Hinchey, Mike
Jackson, Michael
Cousot, Patrick
Cook, Byron
Bowen, Jonathan P.
Margaria, Tiziana
[J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
[7] Software engineering and formal methods
Bernhard Aichernig
Bernhard Beckert
[J]. Software & Systems Modeling, 2008, 7 : 255 - 256
[8] Formal Methods and Software Engineering
Serna Montoya, Edgar
[J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
[9] FORMAL METHODS IN SOFTWARE ENGINEERING
LEVESON, NG
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
[10] Formal Methods for Software Testing
Gaudel, Marie-Claude
[J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 1 - 3

← 1 2 3 4 5 →