Search Sciweavers | Sciweavers

15777 search results - page 298 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SEFM
2005
IEEE

70views Software Engineering» more SEFM 2005»

Pragmatic Consistency Management in Industrial Requirements Specifications

15 years 9 months ago

Download www.icsi.berkeley.edu

Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...

claim paper

Read More »

click to vote

STEP
2005
IEEE

102views Software Engineering» more STEP 2005»

Open Challenges in Ubiquitous and Net-Centric Computing Middleware

15 years 9 months ago

Download www.netcentriccomputing.org

Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...

claim paper

Read More »

106

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

15 years 9 months ago

Download www-users.cs.umn.edu

Donglin Liang, Maikel Pennings, Mary Jean Harrold

claim paper

Read More »

160

Voted

AADEBUG
2005
Springer

228views Software Engineering» more AADEBUG 2005»

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

15 years 9 months ago

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

Ian MacLarty, Zoltan Somogyi, Mark Brown

claim paper

Read More »

Voted

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers