3914 search results - page 16 / 783 » Automating SLA modeling |
CSL
2002
Springer
13 years 7 months ago
2002
Springer
CSL
1998
Springer
13 years 7 months ago
1998
Springer
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
CL
2011
Springer
13 years 2 months ago
2011
Springer
TSE
2012
11 years 10 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...