1439 search results - page 210 / 288 » A Component Model Engineered with Components and Aspects |
SIGSOFT
2005
ACM
16 years 18 days ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
IUI
2004
ACM
15 years 5 months ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
SIGSOFT
2003
ACM
16 years 18 days ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
101
click to vote
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
100
click to vote
WOSP
2010
ACM
15 years 2 days ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...