5904 search results - page 235 / 1181 » Requirements for a Composition Language |
135
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
129
click to vote
INFORMATICALT
2000
15 years 4 months ago
2000
This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition fo...
163
click to vote
MKWI
2008
15 years 5 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
135
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
135
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...