Search Sciweavers | Sciweavers

15824 search results - page 325 / 3165

» Specialising in Software Engineering

104

click to vote

SEFM
2005
IEEE

70views Software Engineering» more SEFM 2005»

Pragmatic Consistency Management in Industrial Requirements Specifications

15 years 11 months ago

Download www.icsi.berkeley.edu

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

claim paper

Read More »

117

click to vote

STEP
2005
IEEE

102views Software Engineering» more STEP 2005»

Open Challenges in Ubiquitous and Net-Centric Computing Middleware

15 years 11 months ago

Download www.netcentriccomputing.org

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

claim paper

Read More »

128

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 11 months ago

Download www-users.cs.umn.edu

Donglin Liang, Maikel Pennings, Mary Jean Harrold

claim paper

Read More »

197

click to vote

AADEBUG
2005
Springer

228views Software Engineering» more AADEBUG 2005»

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

15 years 11 months ago

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

Ian MacLarty, Zoltan Somogyi, Mark Brown

claim paper

Read More »

125

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers