860 search results - page 6 / 172 » Scaling Up Software Architecture Evaluation Processes |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Management of architectural knowledge is vital for improving an organisation's capabilities in software architecture. Recently, there have been many efforts to develop variou...
AKA
2004
13 years 9 months ago
2004
Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that e...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
LCTRTS
2005
Springer
14 years 1 months ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...