Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Investigating architecture description languages (adls) a systematic literature review
S Hussain - 2013 - diva-portal.org
Objectives: The main aim of this study is to investigate evaluation of ADLs in academia
andindustry. To explore the benefits and drawbacks of ADLs in practice. The study also …
andindustry. To explore the benefits and drawbacks of ADLs in practice. The study also …
A model-driven approach to performability analysis of dynamically reconfigurable component-based systems
Dynamic reconfiguration techniques appear promising to build component-based (CB)
systems for application domains that have strong adaptability requirements, like the mobile …
systems for application domains that have strong adaptability requirements, like the mobile …
[PDF][PDF] PAT approach to Architecture Behavioural Verification.
Software architecture design plays a vital role in software development, as it gives an
overview of how the software system should be constructed and executed at runtime. The …
overview of how the software system should be constructed and executed at runtime. The …
Metamodelo para integración de datos abiertos aplicado a inteligencia de negocios
LA Rodríguez Rojas - 2017 - digibuo.uniovi.es
El sector público, en el cumplimiento de sus funciones, genera, gestiona, sufraga y
conserva una gran cantidad de información de calidad. Dicha información es …
conserva una gran cantidad de información de calidad. Dicha información es …
On the equivalence between reference architectures and metamodels
Reference Architectures (RA) are a special class of software architectures which comprises
a family of concrete architectures. On the other hand, Model-Driven Development (MDD) has …
a family of concrete architectures. On the other hand, Model-Driven Development (MDD) has …
Enhanced graph rewriting systems for complex software domains: Dynamic software architecture, non-functional requirements, and correctness by construction
Methodologies for correct by construction reconfigurations can efficiently solve consistency
issues in dynamic software architecture. Graph-based models are appropriate for designing …
issues in dynamic software architecture. Graph-based models are appropriate for designing …
URDAD as a semi-formal approach to analysis and design
F Solms, D Loubser - Innovations in Systems and Software Engineering, 2010 - Springer
Abstract The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology
is a methodology for technology neutral design generating the Platform Independent Model …
is a methodology for technology neutral design generating the Platform Independent Model …
A process algebra software engineering environment
B Diertens - arxiv preprint arxiv:0806.2730, 2008 - arxiv.org
In previous work we described how the process algebra based language PSF can be used
in software engineering, using the ToolBus, a coordination architecture also based on …
in software engineering, using the ToolBus, a coordination architecture also based on …
A model transformation approach for multiscale modeling of software architectures applied to smart cities
Modeling and specifying correct software systems is a challenging task that can be
supported by providing appropriate modeling abstractions. This article proposes an …
supported by providing appropriate modeling abstractions. This article proposes an …
P/s-com: Building correct by design publish/subscribe architectural styles with safe reconfiguration
We present P/S-CoM, a formal approach supporting the correct modeling of
Publish/Subscribe architectural styles and safe reconfiguration of dynamic architectures for …
Publish/Subscribe architectural styles and safe reconfiguration of dynamic architectures for …