Paper Info
Title
Formal methods in industrial software standards enforcement
Abstract
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].
Year
DOI
Venue
2006
10.1007/978-3-540-70881-0_41
Ershov Memorial Conference
Keywords
Field
DocType
international initiative,industrial software standards enforcement,formal method,automated conformance test derivation,formal specification,dependable systems evolution,engineering aspect,grand challenge,linux standard base,software standards usage infrastructure,software standard,real-life complexity,conformance testing
Test suite,Software engineering,Computer science,Formal specification,Software,Enforcement,Systems evolution,Formal methods,Industrial software
Conference
Volume
ISSN
Citations 
4378
0302-9743
9
PageRank 
References 
Authors
0.75
9
6
Name
Order
Citations
PageRank
Alexey Grinevich190.75
Alexey V. Khoroshilov2243.32
Victor Kuliamin390.75
Denis Markovtsev490.75
Alexander Petrenko5272.35
Vladimir Rubanov6101.46