Sciweavers

15824 search results - page 333 / 3165
» Specialising in Software Engineering
Sort
View
117
Voted
KBSE
2003
IEEE
15 years 11 months ago
A Pragmatic Study of Binary Class Relationships
Yann-Gaël Guéhéneuc, Herv&eacut...
KBSE
2003
IEEE
15 years 11 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
QSIC
2003
IEEE
15 years 11 months ago
Verifying CIM Models of Apache Web-Server Configurations
Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...
126
Voted
SCAM
2003
IEEE
15 years 11 months ago
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...