Search Sciweavers | Sciweavers

18898 search results - page 423 / 3780

» The Making of a Software Engineer

147

click to vote

PASTE
2005
ACM

87views Software Engineering» more PASTE 2005»

Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs

16 years 13 days ago

Download www-users.cs.umn.edu

Donglin Liang, Maikel Pennings, Mary Jean Harrold

claim paper

Read More »

210

click to vote

AADEBUG
2005
Springer

228views Software Engineering» more AADEBUG 2005»

Divide-and-query and subterm dependency tracking in the mercury declarative debugger

16 years 13 days ago

Download www.mercury.csse.unimelb.edu.au

Ian MacLarty, Zoltan Somogyi, Mark Brown

claim paper

Read More »

134

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 12 days ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

147

click to vote

FATES
2005
Springer

69views Software Engineering» more FATES 2005»

Play to Test

16 years 12 days ago

Download www.math.lsa.umich.edu

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Marg...

claim paper

Read More »

179

click to vote

ICCBSS
2005
Springer

125views Software Engineering» more ICCBSS 2005»

Protective Wrapping of Off-the-Shelf Components

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers