1173 search results - page 93 / 235 » On the Compositionality of Round Abstraction |
96
Voted
GPCE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
108
Voted
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper considers all the variants of the traveling tournament prob) proposed in [17, 7] to abstract the salient features of major league baseball (MLB) in the United ...
133
click to vote
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
106
Voted
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
85
Voted
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...