According to the vision of Design for Reliability, software reliability has to be considered in all the activities within the software development life cycle. In particular, writing formal specifications, like other activities in software development, is error-prone, especially for large-scale systems. This paper presents a reliability prediction method for Abstract State Machines specifications. The method considers the internal structure of an ASM by computing its reliability based on the reliabilities calculated inductively along the call tree of the ASM rules and the structure of the rule bodies. © 2012 Springer-Verlag.
CITATION STYLE
Mirandola, R., Potena, P., & Scandurra, P. (2012). A reliability prediction method for abstract state machines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7316 LNCS, pp. 336–340). https://doi.org/10.1007/978-3-642-30885-7_26
Mendeley helps you to discover research relevant for your work.