Sciweavers

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

6

CORR
2011
Springer

favoriteEmaildiscussreport

126views Education» more CORR 2011»

Ensuring Correctness at the Application Level: a Software Framework Approach

12 years 11 months ago

Ensuring Correctness at the Application Level: a Software Framework Approach

Download compframe.org

Eloisa Bentivegna, Gabrielle Allen, Oleg Korobkin,

Real-time Traffic

CORR 2011 | Education |

claim paper

Related Content

» Ensuring Structure and Behavior Correctness in Design Composition

» Transformation of Type Graphs with Inheritance for Ensuring Security in EGovernment Networ...

» Using ProcessLevel Redundancy to Exploit Multiple Cores for Transient Fault Tolerance

» Topologically Correct Extraction of the Cortical Surface of a Brain Using LevelSet Methods

» NonMonotonic Model Completion in Web Application Engineering

» Semantic Correctness in Adaptive Process Management Systems

» Ensuring behavioural equivalence in testdriven porting

» Software Thread Level Speculation for the Java Language and Virtual Machine Environment

» The Correctness of an Optimized Code Generation

Post Info
More Details (n/a)

Added	16 May 2011
Updated	16 May 2011
Type	Journal
Year	2011
Where	CORR
Authors	Eloisa Bentivegna, Gabrielle Allen, Oleg Korobkin, Erik Schnetter

Comments (0)