A Technique for Analyzing the Effects of Changes in Formal Specifications | Zendy

D. Richard Kuhn | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Technique for Analyzing the Effects of Changes in Formal Specifications

Author(s) -

D. Richard Kuhn

Publication year - 1992

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/35.6.574

Subject(s) - computer science , predicate (mathematical logic) , formal specification , programming language , formal methods , inference , predicate logic , theoretical computer science , artificial intelligence , description logic

Formal specifications are increasingly used in modeling software systems. An important aspect of a model is its value as an analytical tool to investigate the effect of changes. This paper definesthe notion of predicate differences and shows how predicate differences may be used to analyze the effects of changes in formal specifications.Predicate differences have both theoretical and practical applications. As a theoretical tool, predicate differences may be used to definea meaning for the "size" of a change to a formal specification. Practical applica- tions include analyzing the effect of design changes on a previously verified design; definingan affinity function for reusable software components; comput- ing slices of formal specifications, similar to program slices; investigating the conditions under which invalid assumptions will render a system non-secure; and formalizing the database inference problem.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research