Sciweavers

1312 search results - page 9 / 263
» Embedded contract languages
Sort
View
MODELS
2009
Springer
15 years 11 months ago
Model Composition Contracts
Jon Oldevik, Massimiliano Menarini, Ingolf Krü...
ECOOP
2004
Springer
15 years 10 months ago
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Robert Bruce Findler, Matthew Flatt, Matthias Fell...
157
Voted
ESOP
2011
Springer
14 years 8 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
117
Voted
POPL
2011
ACM
14 years 7 months ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
EEE
2005
IEEE
15 years 10 months ago
On Comprehensive Contractual Descriptions of Web Services
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...
Vladimir Tosic, Bernard Pagurek