Sciweavers

15777 search results - page 368 / 3156
» Engineering in Software
Sort
View
127
Voted
KBSE
2003
IEEE
16 years 1 days ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...
139
Voted
SIGSOFT
2003
ACM
16 years 17 hour 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...