Sciweavers

18 search results - page 1 / 4

» sefm 2005

23

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

13 years 10 months ago

Logical Foundations of Program Assertions: What do Practitioners Want?

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

13

SEFM
2005
IEEE

108views Software Engineering» more SEFM 2005»

A Framework for Component-based Construction Extended Abstract

13 years 10 months ago

A Framework for Component-based Construction Extended Abstract

Download www-verimag.imag.fr

Joseph Sifakis

claim paper

Read More »

14

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Customised Induction Rules for Proving Correctness of Imperative Programs

13 years 10 months ago

Customised Induction Rules for Proving Correctness of Imperative Programs

Download i12www.ira.uka.de

Ola Olsson, Angela Wallenburg

claim paper

Read More »

11

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

13 years 10 months ago

Control Code Obfuscation by Abstract Interpretation

Download profs.sci.univr.it

Mila Dalla Preda, Roberto Giacobazzi

claim paper

Read More »

13

SEFM
2005
IEEE

93views Software Engineering» more SEFM 2005»

Specifying Urgency in Timed I/O Automata

13 years 10 months ago

Specifying Urgency in Timed I/O Automata

Download www.win.tue.nl

Biniam Gebremichael, Frits W. Vaandrager

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »