Search Sciweavers | Sciweavers

15974 search results - page 399 / 3195

» Object-Oriented Software Engineering

208

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 9 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 8 days ago

Download se.ethz.ch

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

claim paper

Read More »

144

Voted

FATES
2005
Springer

69views Software Engineering» more FATES 2005»

Play to Test

16 years 8 days ago

Download www.math.lsa.umich.edu

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

claim paper

Read More »

175

click to vote

ICCBSS
2005
Springer

125views Software Engineering» more ICCBSS 2005»

Protective Wrapping of Off-the-Shelf Components

16 years 8 days ago

Download www.cs.ncl.ac.uk

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

claim paper

Read More »

139

click to vote

RE
2005
Springer

80views Software Engineering» more RE 2005»

On Modelling Access Policies: Relating Roles to their Organisational Context

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers