Sciweavers

497 search results - page 3 / 100
» Compositional Matrix-Space Models of Language
Sort
View
MODELS
2009
Springer
14 years 5 months ago
Abstracting Complex Languages through Transformation and Composition
ing Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos and Richard F. Paige ...
Jendrik Johannes, Steffen Zschaler, Miguel A. Fern...
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
14 years 4 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
SLE
2009
Springer
14 years 3 months ago
Multi-view Composition Language for Software Product Line Requirements
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
Mauricio Alférez, João Santos, Ana M...
OOPSLA
2001
Springer
14 years 3 months ago
Object-Oriented Composition Untangled
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
Klaus Ostermann, Mira Mezini
ISAS
2005
Springer
14 years 4 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic