Composite propositions: toward support for formal specification of system properties

Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of specifying constraints and system properties are needed so that developers and other stakeholders can participate in validation of formal software...

Full description

Saved in:

Bibliographic Details
Published in:	27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings pp. 67 - 74
Main Authors:	Mondragon, O.A., Gates, A.Q., Roach, S.M.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 2002
Subjects:	Computer errors Computer science Concurrent computing Formal specifications Gas insulated transmission lines Logic NASA Production systems Programming Runtime
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of specifying constraints and system properties are needed so that developers and other stakeholders can participate in validation of formal software requirements. This work introduces composite propositions, a set of abstractions that define the relations between sets of conditions or events, and it is directed at making the specification of common temporal properties accessible to practitioners and clients. Composite propositions can be used with response formulas to describe concurrent behavior such as concurrency, synchronization, and nondeterminism. Composite propositions assist in the elicitation and validation of properties facilitating the integration of formal approaches into the software development lifecycle.
ISBN:	0769518559 9780769518558
DOI:	10.1109/SEW.2002.1199451