260 search results - page 44 / 52 » Top-Down Composition of Software Architectures |
117
click to vote
PASTE
2010
ACM
15 years 3 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
ICSR
2000
Springer
15 years 3 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
POPL
2000
ACM
15 years 3 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
115
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Over recent years, "Internet-able" applications have been used to support domains where distributed functionality is essential. This flexibility is also pertinent in situ...
UIST
2004
ACM
15 years 5 months ago
2004
ACM
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...