Computer Aided Incremental Specification | Zendy

Franz Geiselbrechtinger | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Computer Aided Incremental Specification

Author(s) -

Franz Geiselbrechtinger

Publication year - 1997

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fm1997.2

Subject(s) - computer science , formal specification , system requirements specification , software requirements specification , process (computing) , formal methods , software engineering , formal verification , functional specification , language of temporal ordering specification , reliability (semiconductor) , programming language , specification language , software , software development , reliability engineering , software design , software construction , engineering , power (physics) , physics , quantum mechanics

Formal requirements specifications play an important role in enhancing the reliability and effectiveness of software development. They provide a precise, unambiguous standard for the construction of a system and raise the confidence in a planned system by enabling a proper mathematical analysis of its requirements. The construction of formal specifications can be effectively supported by computer based tools if those tools are suitably tuned to the logic of composing specifications. In this paper we discuss the possibility of providing 'intelligent' assistance during the incremental construction of well designed and reliable algebraic specifications of complex (software) systems. Based on a model of the specification process, we show how the demand to preserve certain properties in the evolving specification can be exploited to design functions of a specification tool which assist the process in an effective manner.

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