• ClaiMaker

  • Referenced in 5 articles [sw01795]
  • ClaiMaker: Weaving a semantic web of research papers The usability of research papers...
  • Kermeta

  • Referenced in 8 articles [sw10062]
  • abstract syntax, static semantics (OCL) and dynamic semantics with connection to the concrete syntax; model ... model prototyping and simulation; model transformation; aspect weaving...
  • Mathematica

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • WordNet

  • Referenced in 391 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • CASL

  • Referenced in 172 articles [sw02235]
  • The specification language developed by CoFI is called...
  • RODAS

  • Referenced in 1522 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • AspectJ

  • Referenced in 130 articles [sw04426]
  • aspect-oriented extension to the Java. AspectJ TM...
  • Uppaal

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

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

  • Referenced in 10 articles [sw07659]
  • MAVEN: Modular aspect verification and interference analysis. Aspects...
  • PolyAML

  • Referenced in 4 articles [sw08950]
  • PolyAML: a polymorphic aspect-oriented functional programming language...
  • Soot

  • Referenced in 26 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper...
  • ATL

  • Referenced in 23 articles [sw10093]
  • ATL: A model transformation tool. In the context...
  • XASM

  • Referenced in 6 articles [sw21003]
  • XASM- An Extensible, Component-Based Abstract State Machines...
  • GReAT

  • Referenced in 4 articles [sw22852]
  • The Graph Rewriting and Transformation Language: GReAT. In...
  • CaesarJ

  • Referenced in 10 articles [sw24979]
  • An Overview of CaesarJ. CaesarJ is an aspect...
  • AO4BPEL

  • Referenced in 8 articles [sw33276]
  • AO4BPEL is an aspect-oriented extension to WS...
  • GME

  • Referenced in 5 articles [sw33604]
  • The Generic Modeling Environment is a configurable toolkit...