8083 search results - page 408 / 1617 » A Formalization of Software Architecture |
164
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
175
click to vote
WICSA
2001
15 years 8 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
154
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We want to explore and analyse design decisions that influence maintainability of software. Software maintainability is important because the effort expended on changes and fixes ...
189
click to vote
IUSED
2008
15 years 8 months ago
2008
Usability supporting architectural patterns (USAPs) have been shown to provide developers with useful guidance for producing a software architecture design that supports usability...
198
Voted
ECBS
2005
IEEE
16 years 13 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...