185
click to vote
TSE
13 years 2 months ago
2012 
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
117
Voted
TSE
13 years 2 months ago
2012
— As firms increasingly rely on information systems to perform critical functions the consequences of software defects can be catastrophic. Although the software engineering lite...
|
Distributed And Parallel Computing