Sciweavers

2597 search results - page 213 / 520
» A Relational Approach to Support Software Architecture Analy...
Sort
View
SAC
2006
ACM
16 years 15 days ago
On the architectural alignment of ATL and QVT
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
Frédéric Jouault, Ivan Kurtev
RE
1999
Springer
15 years 10 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
PE
2008
Springer
173views Optimization» more  PE 2008»
15 years 6 months ago
Improving fairness in a WRED-based DiffServ network: A fluid-flow approach
The DiffServ architecture has been proposed as a scalable approach for upgrading the Internet, adding service differentiation functionalities. However, several aspects of this arc...
Mario Barbera, Alfio Lombardo, Giovanni Schembra, ...
ARCS
2005
Springer
16 years 3 days ago
Runtime Adaptation of Applications Through Dynamic Recomposition of Components
Abstract. Software applications executing in highly dynamic environments are faced with the challenge of frequent and usually unpredictable changes in their execution environment. ...
Arun Mukhija, Martin Glinz
RE
2006
Springer
15 years 6 months ago
On Goal-based Variability Acquisition and Analysis
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Er...