Sciweavers

2558 search results - page 30 / 512
» Model Composition Contracts
Sort
View
104
Voted
WSFM
2007
Springer
15 years 8 months ago
From Public Views to Private Views - Correctness-by-Design for Services
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
Wil M. P. van der Aalst, Niels Lohmann, Peter Mass...
139
Voted
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 7 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
METAINFORMATICS
2004
Springer
15 years 8 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
118
Voted
ACL
2010
15 years 17 days ago
Compositional Matrix-Space Models of Language
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
Sebastian Rudolph, Eugenie Giesbrecht
102
Voted
CATS
2007
15 years 4 months ago
A Linear Time Algorithm for Pricing European Sequential Barrier Options
Financial derivatives are contracts concerning rights and obligations to engage in future transactions on some underlying financial instrument. A major concern in financial mark...
Peng Gao, Ron van der Meyden