Search Sciweavers | Sciweavers

15777 search results - page 298 / 3156

» The Reformulation-Optimization Software Engine

119

click to vote

SEFM
2005
IEEE

70views Software Engineering» more SEFM 2005»

Pragmatic Consistency Management in Industrial Requirements Specifications

16 years 25 days ago

Download www.icsi.berkeley.edu

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

claim paper

Read More »

132

click to vote

STEP
2005
IEEE

102views Software Engineering» more STEP 2005»

Open Challenges in Ubiquitous and Net-Centric Computing Middleware

16 years 24 days ago

Download www.netcentriccomputing.org

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

claim paper

Read More »

152

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 24 days ago

Download www-users.cs.umn.edu

Donglin Liang, Maikel Pennings, Mary Jean Harrold

claim paper

Read More »

212

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 24 days ago

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

Ian MacLarty, Zoltan Somogyi, Mark Brown

claim paper

Read More »

143

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers