Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Architecture description languages"”.
-
Static analysis for architecture-implementation conformance in robust embedded systems
… designs including integrated modular architectures and architectural designs for robustness by minimizing inter-component failure dependencies. In the software development cycle, the system integration architect occupies a key position between the domain-specialist, designing the …
-
A Design-by-Contract based Approach for Architectural Modelling and Analysis
Research on software architectures has been active since the early nineties, leading to a number of different architecture description languages (ADL). Given their importance in facilitating the communication of crucial system properties to different stakeholders and their analysis early on in the …
-
SMADL – The social machines architecture description language
… concept, we define SMADL – the Social Machines Architecture Description Language – as an attempt to be a completely different way to program the Web, mixing concepts from Architecture Description Languages (ADLs) and Domain-Specific Languages (DSLs). As an ADL, it allows the description of …
-
Language-driven exploration and implementation of partially re-configurable ASIPs (rASIPs)
… by a general purpose processor. Among the architecture types emerged over the past years to strike an optimum balance between these two attributes, two are prominent. The first ones are Field Programmable Gate Array (FPGA)-based architectures and the second ones are Application-Specific …
-
Ab-initio calculations for dilute magnetic semiconductors
… functional theory, being ideally suited for a description of the material specific properties of the considered DMS. Moreover we use the KKR Green function method in connection with the coherent potential approximation (CPA), which allows to include the random substitutional disorder in a mean …
-
Gingainstancing: uma ferramenta para geração de produtos derivados do middleware do sistema brasileiro de televisão digital.
… elaborated through Modeling frameworks and an architecture description language, the Fractal ADL. It permits the architecture descriptions; both reference architecture and application architecture. With a component--‐based development, and the FlexCM runtime environment, with dynamic linkage of …