Sciweavers

2836 search results - page 63 / 568
» Model Checking for Software Architectures
Sort
View
EDOC
2008
IEEE
15 years 3 months ago
A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...
Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park
145
Voted
SAC
2005
ACM
15 years 9 months ago
Performance analysis framework for large software-intensive systems with a message passing paradigm
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
Christian Del Rosso
120
Voted
QOSA
2010
Springer
15 years 7 months ago
Good Architecture = Good (ADL + Practices)
In order to ensure the quality of their software development process, companies incorporate best practices from recognized repositories or from their own experiences. These best pr...
Vincent Le Gloahec, Régis Fleurquin, Salah ...
130
Voted
KBSE
2008
IEEE
15 years 10 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
127
Voted
EWSA
2005
Springer
15 years 9 months ago
The Decision View of Software Architecture
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
Juan C. Dueñas, Rafael Capilla