• Reo

  • Referenced in 81 articles [sw06353]
  • Reo coordination language. Reo presents a paradigm for composition of distributed software components and services ... based on the notion of mobile channels. Reo enforces an exogenous channel-based coordination model ... simpler ones. Application designers can use Reo as a ”glue code” language for compositional construction...
  • LifeV

  • Referenced in 25 articles [sw10172]
  • Politecnico di Milano (MOX) in Italy, INRIA (REO, ESTIME) in France and Emory University...
  • FELiScE

  • Referenced in 1 article [sw12362]
  • finite element code which the MACS and REO project-teams have decided to jointly develop...
  • PRISM

  • Referenced in 401 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • Lutess

  • Referenced in 7 articles [sw01252]
  • Lutess: A testing environment for synchronous software We...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • mCRL2

  • Referenced in 52 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • A transition system semantics for the control-driven...
  • SHARPE

  • Referenced in 41 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • HyTech

  • Referenced in 322 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • Uppaal

  • Referenced in 622 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • Maude

  • Referenced in 657 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • PICCOLA - A small composition language. Although object-oriented...
  • ATGen

  • Referenced in 11 articles [sw07275]
  • ATGen: automatic test data generation using constraint logic...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • SystemC: From the ground up. SystemC provides a...
  • Reoservice

  • Referenced in 4 articles [sw08568]
  • Reoservice: coordination modeling tool. Coordination in SOA addresses...
  • PAGODA

  • Referenced in 14 articles [sw08569]
  • A rewriting logic framework for soft constraints. Soft...
  • Viptos

  • Referenced in 4 articles [sw09423]
  • Viptos (Visual Ptolemy and TinyOS) is an integrated...