Sciweavers

15777 search results - page 368 / 3156
» Engineering in Software
Sort
View
KBSE
2003
IEEE
15 years 11 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
SIGSOFT
2003
ACM
15 years 11 months ago
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand ...
ICSM
2002
IEEE
15 years 11 months ago
A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis
Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zh...
WCRE
2002
IEEE
15 years 11 months ago
A Denotational Interprocedural Program Slicer
Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi...