Sciweavers

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

29

ICSE
2011
IEEE-ACM

favoriteEmaildiscussreport

191views Software Engineering» more ICSE 2011»

Program abstractions for behaviour validation

13 years 2 months ago

Program abstractions for behaviour validation

Download publicaciones.dc.uba.ar

Guido de Caso, Víctor A. Braberman, Diego G

Real-time Traffic

ICSE 2011 | Software Engineering |

claim paper

Related Content

» Validity Invariants and Effects

» On Validity of Program Transformations in the Java Memory Model

» Automated Abstractions for Contract Validation

» Composition and Runtime Adaptation of Mismatching Behavioural Interfaces

» Validating a Web Service Security Abstraction by Typing

» Behavioural Theory at Work Program Transformations in a ServiceCentred Calculus

» Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour The Hume App...

» Metalevel Programming with CodA

» Test Case Design for the Validation of ComponentBased Embedded Systems

Post Info
More Details (n/a)

Added	29 Aug 2011
Updated	29 Aug 2011
Type	Journal
Year	2011
Where	ICSE
Authors	Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Comments (0)