• LOTOS

  • Referenced in 150 articles [sw02961]
  • specification language that has been specifically developed for the formal description of the OSI (Open ... Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS...
  • ISDL

  • Referenced in 10 articles [sw02314]
  • ISDL: An instruction set description language for retargetability and architecture exploration. We present the Instruction ... Language, ISDL, a machine description language used to describe target architectures ... specifiable architectures and resulting in concise and intuitive descriptions. Furthermore, a single ISDL description supports ... compares ISDL to various other machine description languages that are being used for embedded processor...
  • XYZ/ADL

  • Referenced in 2 articles [sw02924]
  • temporal logic-based software architecture description language XYZ/ADL The Architecture Description Language ... leads to a good implementation. The architecture description language XYZ/ADL can support the stepwise transition...
  • ArchC

  • Referenced in 2 articles [sw07845]
  • ArchC architecture description language and tools This paper presents an Architecture Description Language (ADL) called ... source SystemC-based language that is specialized for processor architecture description. Its main goal...
  • xMAML

  • Referenced in 2 articles [sw21580]
  • xMAML: A modeling language for dynamically reconfigurable architectures. Constant evolution of norms and applications, usually ... chip (SOC), increases architecture performance and flexibility requirements. Current architectures are consequently becoming more complex ... design frameworks based on high-level architecture description languages (ADL). These ADLs are useful ... This paper presents xMAML, an architecture description language dedicated to the instantiation of dynamically reconfigurable...
  • CBabel

  • Referenced in 2 articles [sw07520]
  • rewriting semantics for a software architecture description language Distributed and concurrent application invariably have coordination ... coordination aspects are treated in the software architecture level and can be specified in high ... rewriting logic semantics for the software architecture description language CBabel is given, revisiting and extending ... descriptions in the Maude system, an implementation of rewriting logic. In this way, software architectures...
  • ByADL

  • Referenced in 2 articles [sw21579]
  • framework for building extensible architecture description languages. In order to deal with evolving needs ... extend existent ADLs with domain specificities, new architectural views, or analysis aspects, (ii) integrate...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • programming languages like Java, were not supported. par -- the architecture of the exploration engine allowed ... complex system specifications which mix formal descriptions and executable code (e.g, for components already implemented...
  • Prodigy

  • Referenced in 37 articles [sw20686]
  • PRODIGY is a general-purpose problem-solving architecture that serves as a basis for research ... system, PRODIGY4.0, and includes descriptions of the PRODIGY representation language, control structure, user interface, abstraction...
  • Charon

  • Referenced in 20 articles [sw19755]
  • hybrid systems in Charon. A new language, called Charon, is proposed for modular specification ... hybrid systems. For a hierarchical description of the system architecture, Charon supports building complex agents ... hiding, and parallel composition. For a hierarchical description of the behaviour of atomic components ... externally defined Java functions, facilitate the description of complex discrete behaviour. The continuous behaviour...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • large space of available parallel architectures for a given problem and frees the designer from ... test separately, using a hardware description language, every candidate architecture under consideration. It is shown...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • into classical ontology languages . This allows using classical (widely available) Description Logic inference engines ... application: evolution, functionality, architecture, graphical interface, input language, and implementation details...
  • GEZEL

  • Referenced in 6 articles [sw04151]
  • hardware architectures In this paper we consider a high-level hardware description language Gezel, from...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • SoCs: the same language is used for the description of the architecture, software and hardware...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • presents TRIPLE, a layered and modular rule language for the Semantic Web. TRIPLE is based ... features like classes and inheritance. Its layered architecture allows such features to be easily defined ... like UML, Topic Maps, or RDF Schema. Description logics extensions of RDF (Schema) like ... with a description logic classifier, e.g. FaCT, resulting in a hybrid rule language. This paper...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • formal specifications and merged into the frame architecture. More current results have been achieved ... development of an integrated Requirements Engineering Environment. Language development takes place mainly in the areas ... Programming in the Large. An extensive description of the project and its results...
  • Forest

  • Referenced in 5 articles [sw27648]
  • machine architecture for classical/quantum computations - including compilation - along with a quantum instruction language called Quil ... quantum computing technology, and makes possible portable descriptions of recent classical/quantum algorithms...
  • ASAB

  • Referenced in 2 articles [sw30267]
  • description of an integrated architecture, which can be used for other languages; (2) a general...
  • Alpha

  • Referenced in 6 articles [sw13717]
  • functional language for expressing regular algorithms, synthesizing regular architectures or compiling to sequential or parallel ... successive transformations (uniformization, parallelization for instance), the description is refined until it may be interpreted ... description can be translated towards logic synthesis tools in order to generate a VLSI architecture ... many important research topics (parallelization, code generation, language semantics, convex polyhedra calculus, abstract...
  • EXPRESS

  • Referenced in 5 articles [sw24345]
  • very high level nonprocedural languages: DEFINE for data description and CONVERT for data restructuring. Program ... CONVERT are summarized and the implementation architecture presented. The DEFINE description is compiled into...