Search Sciweavers | Sciweavers

15777 search results - page 368 / 3156

» Engineering in Software

113

click to vote

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

15 years 11 months ago

Download ase.informatik.uni-essen.de

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...

claim paper

Read More »

125

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

15 years 11 months ago

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

125

click to vote

SIGSOFT
2003
ACM

113views Software Engineering» more SIGSOFT 2003»

EFFICIENT: a tool set for supporting the modelling and validation of ebXML

15 years 11 months ago

Download efficient.citi.tudor.lu

Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand ...

claim paper

Read More »

119

click to vote

ICSM
2002
IEEE

97views Software Engineering» more ICSM 2002»

A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis

15 years 11 months ago

Download www.jos.org.cn

Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zh...

claim paper

Read More »

121

click to vote

WCRE
2002
IEEE

93views Software Engineering» more WCRE 2002»

A Denotational Interprocedural Program Slicer

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers