• Reo

  • Referenced in 88 articles [sw06353]
  • components or services in a component-based system or a service-oriented application...
  • ASF+SDF

  • Referenced in 35 articles [sw11316]
  • meta-environment: A component-based language development environment. The AS+SDF Meta-environment ... systems for constructing language definitions and generating tools for them. Over the years, this system ... formal program manipulation to conversion of COBOL systems. Since the existing implementation ... completely new, component-based, version. We demonstrate this new system and stress its open architecture...
  • Rapide

  • Referenced in 38 articles [sw01249]
  • distributed multi-language systems. This technology is based upon a new generation of computer languages ... large-scale systems. Rapide™ is designed to support component-based development of large, multi-language...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • validation environment for component-based real-time systems It is widely recognised that the automated...
  • D-Finder

  • Referenced in 16 articles [sw00200]
  • compositional method for the verification of component-based systems described in BIP language encompassing multi...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • Automatically Assembling Correct and Distributed Component-Based Systems. SYNTHESIS is a tool for automatically assembling ... correct and distributed component-based systems. In our context, a system is correct when...
  • CartaBlanca

  • Referenced in 8 articles [sw01546]
  • CartaBlanca - a pure-Java, component-based systems simulation tool for coupled nonlinear physics on unstructured ... update. This paper describes a component-based nonlinear physical system simulation prototyping package written entirely...
  • CTL

  • Referenced in 10 articles [sw06766]
  • Template Library to realise distributed component-based software systems. This middleware was developed...
  • Cider

  • Referenced in 4 articles [sw00126]
  • present Cider. Cider is a generic component-based system which is designed to be easily ... transformation system for specifying diagram manipulations. Cider’s main innovation is its component-based approach...
  • FPath

  • Referenced in 4 articles [sw21581]
  • reliable reconfiguration of Fractal architectures. Component-based systems must support dynamic reconfigurations to adapt...
  • FScript

  • Referenced in 4 articles [sw21582]
  • reliable reconfiguration of Fractal architectures. Component-based systems must support dynamic reconfigurations to adapt...
  • FACTum

  • Referenced in 3 articles [sw30951]
  • framework to support the verification of component-based systems combining model checking and interactive theorem...
  • MIO Workbench

  • Referenced in 29 articles [sw09762]
  • MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach ... automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench...
  • JComp

  • Referenced in 1 article [sw30247]
  • transforming the existing system into a component-based system. Based on the automated class dominance ... novel technique to incrementally identify reusable components in a low cost but high precision ... existing object-oriented systems into component-based systems...
  • VCS

  • Referenced in 1 article [sw29446]
  • verifier for component-based systems. This paper presents the VCS verification tool...
  • VisBench

  • Referenced in 1 article [sw00998]
  • terabyte data servers. VisBench is a component-based system for visualizing and analyzing this remote...
  • OpenMETA

  • Referenced in 1 article [sw09392]
  • tool chain for cyber-physical systems Model- and component-based design have yielded dramatic increase ... design and manufacturing of complex cyber-physical systems (CPS) such as vehicles...
  • AMANDA

  • Referenced in 3 articles [sw13344]
  • Distributed System for Aircraft Design. In the AMANDA project a component-based framework ... aircooled turbine. Beside using the integration systems, the MpCCI1 library is used for the coupling...
  • XASM

  • Referenced in 6 articles [sw21003]
  • XASM- An Extensible, Component-Based Abstract State Machines Language. The Abstract State Machine ... suitable for large-scale specifications of realistic systems ... presented. XASM realizes a component-based modularization concept based on the notion of external functions...
  • SOFT-CBR

  • Referenced in 4 articles [sw00887]
  • Logic concepts in a flexible, extensible component-based architecture. An Evolutionary Algorithm has also been ... facilitate the optimization and maintenance of the system. SOFT-CBR relies on simple XML files...