Sciweavers

1537 search results - page 156 / 308
» Domain-Specific Software Component Models
Sort
View
OOPSLA
2005
Springer
15 years 10 months ago
Modeling architectural patterns using architectural primitives
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
Uwe Zdun, Paris Avgeriou
152
Voted
EMSOFT
2008
Springer
15 years 6 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
148
Voted
EDBT
2008
ACM
202views Database» more  EDBT 2008»
16 years 4 months ago
BeMatch: a platform for matchmaking service behavior models
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
Juan Carlos Corrales, Daniela Grigori, Mokrane Bou...
CSCW
1990
ACM
15 years 8 months ago
Strudel - An Extensible Electronic Conversation Toolkit
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...
Allan Shepherd, Niels Mayer, Allan Kuchinsky
CSMR
2007
IEEE
15 years 11 months ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy