Search Sciweavers | Sciweavers

15784 search results - page 522 / 3157

» Mega Software Engineering

114

click to vote

SIGSOFT
2001
ACM

88views Software Engineering» more SIGSOFT 2001»

A notation for problematic architecture interactions

16 years 7 months ago

Download www.seat.utulsa.edu

Dennis J. Underwood, Gerður Jónsd&oacut...

claim paper

Read More »

131

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 »

147

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 »

113

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 »

115

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers