Sciweavers

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

5

VSTTE
2005
Springer

favoriteEmaildiscussreport

119views Software Engineering» more VSTTE 2005»

Specified Blocks

13 years 10 months ago

Specified Blocks

Download vstte.ethz.ch

This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying programs, and for program development. They are simpler, more general, easier to write, and they make proofs easier.

Eric C. R. Hehner

Real-time Traffic

Paper | Software Engineering | VSTTE 2005 |

claim paper

Related Content

» On some colouring of 4cycle systems with specified block colour patterns

» Sequence Operators Specifying Behavioral Interfaces of Smalltalk Blocks

» Specifying and checking semantic atomicity for multithreaded programs

» An artificial immune system with partially specified antibodies

» On Testing Partially Specified IOTS through Lossless Queues

» Using Petri Nets to specify collaborative three dimensional interaction

» PLCTools Graph Transformation Meets PLC Design

» Block Encryption Using Reversible Cellular Automata

» Estimation of optimum coding redundancy and frequency domain analysis of attacks for YASS ...

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	VSTTE
Authors	Eric C. R. Hehner

Comments (0)