Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

31

ICSQP
1994

favoriteEmaildiscussreport

129views Software Engineering» more ICSQP 1994»

Using Strongest Postconditions to Improve Software Quality

14 years 10 days ago

Using Strongest Postconditions to Improve Software Quality

Download www.sqi.gu.edu.au

: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on calculation of strongest postconditions of program components. The method provides a powerful means for detecting and removing by transformation various forms of redundancy and inconsistency in programs. The feasibility of this approach depends upon calculations of strongest postconditions for iterative constructs and assignments. Keyword Codes: D.2.1; D.2.4, D.2.8; F.3.1, F.3.2

Si Pan, R. Geoff Dromey

Real-time Traffic

ICSQP 1994 | Practical Approach | Software Engineering | Strongest Postconditions | Transformation Various Forms |

claim paper

Related Content

» Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering

» A Formal Automated Approach for Reverse Engineering Programs with Pointers

» Contract Soundness for ObjectOriented Languages

» Improving the quality of software quality determination processes

» An AgentBased Metric for Quality of Services over Wireless Networks

» Using a Coding Standard to Improve Program Quality

» Using autonomous components to improve runtime qualities of software

» Improving software quality using statistical testing techniques

» Using software engineering technology to improve the quality of medical processes

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1994
Where	ICSQP
Authors	Si Pan, R. Geoff Dromey

Comments (0)