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 4 of 4 for “"Architecture description languages"”.

  1. 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 …

    uiuc Repository record for Static analysis for architecture-implementation conformance in robust embedded systems (opens in a new tab)

  2. 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 …

    city-london Repository record for A Design-by-Contract based Approach for Architectural Modelling and Analysis (opens in a new tab)

  3. 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 …

    brazil-ufpe Repository record for SMADL – The social machines architecture description language (opens in a new tab)

  4. 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 …

    brazil-ufpb Repository record for Gingainstancing: uma ferramenta para geração de produtos derivados do middleware do sistema brasileiro de televisão digital. (opens in a new tab)