scientific article; zbMATH DE number 977452
From MaRDI portal
Publication:4331846
zbMath0948.68506MaRDI QIDQ4331846
Publication date: 12 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)
Related Items (33)
Enterprise frameworks: issues and research directions ⋮ Performance-steered design of software architectures for embedded multicore systems ⋮ Maintaining traceability links during object-oriented software evolution ⋮ Towards a component framework for architecture-based self-adaptive applications ⋮ Relating functional requirements and software architecture: separation and consistency of concerns ⋮ Specifying Properties of Dynamic Architectures Using Configuration Traces ⋮ A survey on agent learning architecture that adopts internet of things and wireless sensor networks ⋮ Verifying a signature architecture: a comparative case study ⋮ A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures ⋮ Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ New architectures for constructed complex systems ⋮ Online approach to feature interaction problems in middleware based system ⋮ A model of context-dependent component connectors ⋮ Partition refinement of component interaction automata ⋮ Architecture-based resilience evaluation for self-adaptive systems ⋮ Domain Endurants ⋮ Modelling Dynamic Software Architectures using Typed Graph Grammars ⋮ On the verification of architectural reconfigurations ⋮ A software architecture centric self-adaptation approach for internetware ⋮ Manifest domains: analysis and description ⋮ Two Graph-Based Techniques for Software Architecture Reconfiguration ⋮ Hierarchical Design Rewriting with Maude ⋮ A calculus for reasoning about software composition ⋮ Inheritance of behavior ⋮ Relating requirements and architectures: A study of data-grids ⋮ Unix tools as visual programming components in a GUI-builder environment ⋮ A framework for specifying and verifying the behaviour of open systems ⋮ On the usability of process algebra: An architectural view ⋮ Standards for Simulation: As Simple As Possible But Not Simpler The High Level Architecture For Simulation ⋮ Architectural Styles as a Guide for Software Architecture Reconstruction ⋮ Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ Interactive verification of architectural design patterns in FACTum
This page was built for publication:
