Search Sciweavers | Sciweavers

15727 search results - page 502 / 3146

» Software Engineering - Introduction

128

click to vote

ICSE
2004
IEEE-ACM

103views Software Engineering» more ICSE 2004»

Towards Safe Distributed Application Development

16 years 7 months ago

Download se.inf.ethz.ch

Patrick Th. Eugster, Christian Heide Damm, Rachid ...

claim paper

Read More »

140

click to vote

ICSE
2005
IEEE-ACM

139views Software Engineering» more ICSE 2005»

A case study on the automated verification of groupware protocols

16 years 7 months ago

Download fmt.isti.cnr.it

Maurice H. ter Beek, Mieke Massink, Diego Latella,...

claim paper

Read More »

111

click to vote

ICSE
2005
IEEE-ACM

133views Software Engineering» more ICSE 2005»

DynAlloy: upgrading alloy with actions

16 years 7 months ago

Download www.fceia.unr.edu.ar

Carlos López Pombo, Juan P. Galeotti, Marce...

claim paper

Read More »

112

click to vote

ICSE
2005
IEEE-ACM

136views Software Engineering» more ICSE 2005»

One evaluation of model-based testing and its automation

16 years 7 months ago

Download www.inf.ethz.ch

Alexander Pretschner, Wolfgang Prenninger, Stefan ...

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

104views Software Engineering» more ICSE 2007»

Matching and Merging of Statecharts Specifications

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers