Sciweavers

31

SPE
2011

187views Security Privacy» more SPE 2011»

Coloring, a versatile technique for implementing object-oriented languages

13 years 4 months ago

Coloring, a versatile technique for implementing object-oriented languages

Download www.lirmm.fr

Roland Ducournau

claim paper

Read More »

27

SPE
2011

178views Security Privacy» more SPE 2011»

Sharing experiments using open-source software

13 years 4 months ago

Sharing experiments using open-source software

Download menzies.us

Adam Nelson, Tim Menzies, Gregory Gay

claim paper

Read More »

30

SPE
2011

186views Security Privacy» more SPE 2011»

Grammar-based test generation with YouGen

13 years 4 months ago

Grammar-based test generation with YouGen

Download webhome.csc.uvic.ca

Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper,...

claim paper

Read More »

45

SPE
2011

276views Security Privacy» more SPE 2011»

Decomposition tool for event-B

13 years 4 months ago

Decomposition tool for event-B

Download eprints.ecs.soton.ac.uk

Abstract. Two methods have been identiﬁed for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...

Renato Silva, Carine Pascal, Thai Son Hoang, Micha...

claim paper

Read More »