Software architectures
A Logic for the Statistical Model Checking of Dynamic Software Architectures
... a software system satisfies prop- erties capturing the system ...dynamic software architectures unless the number of components that will be part of the system is known in ...of software ...
17
Augmenting Software Architectures with Physical Components
... Keywords: Software Architecture, Embedded, Con- trol, Physical ...of software architectures to include the physical elements of embedded control ...systems. Architectures typically represent ...
11
A Formally Founded Framework for Dynamic Software Architectures
... dynamic software systems, in contrast to the features exhibited by ...dynamic software systems is the impossibility of foreseeing the exact set of architectural elements deployed at a given point of ...that ...
167
ACME vs PDDL: support for dynamic reconfiguration of software architectures
... domain-specific heuristics such as [23]. However, in the cur- rent state of the art, constraints (coming from either the software architecture, the component model or the execu- tion platform) are not taken into ...
11
A development process for building adaptative software architectures
... adaptive software development ...adaptive software in some approaches such as [ Cetina 09b , Pascual 14 , G´amez 15 ...and software architectures for building adaptive software ...
210
Component-based software architectures and multi-agent systems: mutual and complementary contributions for supporting software development
... Abstract In this thesis, we explore the various aspects of the mutual and complementary con- tributions that multi-agent systems (MASs) and component-based software architectures (CBSAs) can provide to ...
220
Statistical Model Checking of Dynamic Software Architectures
... } 6.3 Experimental Results In this section, we report some experiments aiming to quantitatively evaluate the efficiency of our approach to support the architectural analysis activity. Consid- ering that the literature ...
17
Feature-based Composition of Software Architectures
... 6 Conclusion This paper presented a comprehensive approach to feature-driven composition of software architectures. This approach allows the automated derivation of product architectures from ...
17
Software architectures: multi-scale refinement
... for software architectures at the conceptual level and proposed UML notations at the architectural style ...multi-level software architecture modeling has been ...
9
Graphical simulation of the dynamic evolution of the software architectures specified in Z
... a software archi- tecture consists of a set of module interfaces interconnected according to a set of connection rules and communication ...designing software architec- tures, they lack tools for simulation ...
5
ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures
... feedback architectures as hierarchically organized networks of adaptive elements, representing FCL processes such as moni- toring, decision-making and ...FCDL architectures are transformed into executable ...
9
Synthesis of software architectures for systems-of-systems : an automated method by constraint solving
... systems, software, and other engineering ...describes architectures in terms of distinct components and their interactions aiming to support model-based analysis and specification of complex real-time ...
206
REUSING APPROACH FOR SOFTWARE PROCESSES BASED ON SOFTWARE ARCHITECTURES.
... of software process models that are not conform to SPEM metamodel, and on the other hand, while introducing reuse based on software process Components by providing another package: “the Method Plugin ...
5
Mapping Software Architectures to Efficient Implementations via Partial Evaluation
... nombreuses architectures ont ´et´e con¸cues `a cet ...des architectures logicielles s’av`ere ˆetre l’int´egration des donn´ees et du contrˆole lorsque l’on r´eunit les divers composants d’un ...
22
NEW APPROACH FOR SOFTWARE PROCESSES REUSING BASED ON SOFTWARE ARCHITECTURES
... OF SOFTWARE-BASED METHODS OF COMPONENTS In addition to the complexity when reusing software components, the presented approaches are facing more specific problems such as the rigidity of software ...
7
Engineering secure software architectures: patterns, models and analysis
... the software architecture by querying and annotating the objects of the graph with security properties such as trust, criticality, ...assessing software archi- ...
234
Styles d'évolution dans les architectures logicielles
... Abstract Software architectures have been introduced in response to the increasing complexity of systems, by leveraging their descriptions at a high level of ...in software architectures ...
173
Une approche dirigée par les modèles pour les architectures logicielles
... of software systems has given rise to the discipline of software ...the software engineering community and has sparked the initiation of many languages which allow a precise description of ...
220
Architectures for computational photography
... In the first part of this work, digital circuits for three components of a multi- application bilateral filtering processor are implemented - the grid interpolation b[r] ...
94
Système de systèmes dans les architectures PHM
... Le Prognostics and Health Management (PHM) est une CBM définie par (Vichare et M. Pecht 2006) comme une méthode permettant d’évaluer la fiabilité d’un système dans les conditions réelles[r] ...
8