Search Sciweavers | Sciweavers

16682 search results - page 377 / 3337

» Software Engineering Education

209

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 11 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 10 days ago

Download se.ethz.ch

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

claim paper

Read More »

145

click to vote

FATES
2005
Springer

69views Software Engineering» more FATES 2005»

Play to Test

16 years 10 days ago

Download www.math.lsa.umich.edu

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

claim paper

Read More »

178

click to vote

ICCBSS
2005
Springer

125views Software Engineering» more ICCBSS 2005»

Protective Wrapping of Off-the-Shelf Components

16 years 10 days ago

Download www.cs.ncl.ac.uk

Meine van der Meulen, Steve Riddle, Lorenzo Strigi...

claim paper

Read More »

142

Voted

RE
2005
Springer

80views Software Engineering» more RE 2005»

On Modelling Access Policies: Relating Roles to their Organisational Context

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers