Sciweavers

265 search results - page 8 / 53

» entcs 2007

36

ENTCS
2007

82views more ENTCS 2007»

Animation Metaphors for Object-Oriented Concepts

14 years 10 months ago

Animation Metaphors for Object-Oriented Concepts

Download cs.joensuu.fi

Jorma Sajaniemi, Pauli Byckling, Petri Gerdt

claim paper

Read More »

85

ENTCS
2007

87views more ENTCS 2007»

A Congruence Rule Format with Universal Quantification

14 years 10 months ago

A Congruence Rule Format with Universal Quantification

Download www.win.tue.nl

Mohammad Reza Mousavi, Michel A. Reniers

claim paper

Read More »

50

ENTCS
2007

73views more ENTCS 2007»

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

14 years 10 months ago

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

Download www.ic.uff.br

Carlos Bazílio, Edward Hermann Haeusler, Ma...

claim paper

Read More »

85

ENTCS
2007

89views more ENTCS 2007»

Measuring a Java Test Suite Coverage Using JML Specifications

14 years 10 months ago

Measuring a Java Test Suite Coverage Using JML Specifications

Download react.cs.uni-sb.de

Frédéric Dadeau, Yves Ledru, Lydie d...

claim paper

Read More »

35

ENTCS
2007

86views more ENTCS 2007»

Programmed Search in a Timetabling Problem over Finite Domains

14 years 10 months ago

Programmed Search in a Timetabling Problem over Finite Domains

Download www.fdi.ucm.es

R. González-del-Campo, Fernando Sáen...

claim paper

Read More »

« Prev « First page 8 / 53 Last » Next »