Sciweavers

1312 search results - page 9 / 263
» Embedded contract languages
Sort
View
MODELS
2009
Springer
15 years 4 months ago
Model Composition Contracts
Jon Oldevik, Massimiliano Menarini, Ingolf Krü...
55
Voted
ECOOP
2004
Springer
15 years 3 months ago
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Robert Bruce Findler, Matthew Flatt, Matthias Fell...
ESOP
2011
Springer
14 years 1 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
POPL
2011
ACM
14 years 21 days ago
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Fl...
EEE
2005
IEEE
15 years 3 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