Sciweavers

15974 search results - page 196 / 3195
» Object-Oriented Software Engineering
Sort
View
94
Voted
VSTTE
2005
Springer
15 years 9 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu
113
Voted
VSTTE
2005
Springer
15 years 9 months ago
Meta-Logical Frameworks and Formal Digital Libraries
Carsten Schürmann
89
Voted
VSTTE
2005
Springer
15 years 9 months ago
Constraint Solving and Symbolic Execution
Jian Zhang
101
Voted
XPU
2005
Springer
15 years 9 months ago
Extreme Programming for Critical Systems?
Ian Sommerville
115
Voted
AOSD
2004
ACM
15 years 9 months ago
Untangling: a slice extraction refactoring
Ran Ettinger, Mathieu Verbaere