2021 search results - page 174 / 405 » COCO: Composition Model and Composition Model Implementation |
128
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
176
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
163
click to vote
SAM
2004
15 years 7 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
142
Voted
CONCURRENCY
2010
15 years 6 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
177
click to vote
CAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...