The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1998 vol.24)
pp: 949-959
ABSTRACT
<p><b>Abstract</b>—Lightweight formal methods promise to yield modest analysis results in an extremely rapid manner. To fulfill this promise, they must be able to work with existing information sources, be able to analyze for manifestly desirable properties, be highly automated (especially if dealing with voluminous amounts of information), and be readily customizable and flexible in the face of emerging needs and understanding. Two pilot studies investigate the feasibility of lightweight formal methods that employ a database as the underlying reasoning engine to perform the analyses. The first study concerns aspects of software module interfaces, the second test logs' adherence to required and expected conditions.</p>
INDEX TERMS
Consistency checking, formal methods, interface checking, test-log checking, database-based analysis, NASA.
CITATION
Martin S. Feather, "Rapid Application of Lightweight Formal Methods for Consistency Analyses", IEEE Transactions on Software Engineering, vol.24, no. 11, pp. 949-959, November 1998, doi:10.1109/32.730544
14 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool