• Metropolis

  • Referenced in 17 articles [sw16265]
  • this challenge. Based on a metamodel with formal semantics that developers can use to capture...
  • VPM

  • Referenced in 11 articles [sw07364]
  • visual, precise and multilevel metamodeling framework for describing mathematical domains ... family of languages with individually specified semantics, there is an increasing need for automated ... Time. However, such transformations into different semantic domains typically require the deep understanding ... propose a multilevel metamodeling technique with precise static and dynamic semantics (based on a refinement...
  • Kermeta

  • Referenced in 8 articles [sw10062]
  • MetaModel Engineering activities running in Eclipse, including: specification of abstract syntax, static semantics...
  • MOFLON

  • Referenced in 9 articles [sw06922]
  • integration. In this paper we present the metamodeling framework MOFLON that addresses these issues ... standards with graph transformations and their formal semantics. MOFLON provides a combination of visual...
  • Codecrawler

  • Referenced in 9 articles [sw08997]
  • software metrics and other source code semantics. CC is built on top of Moose ... independent reengineering environment that implements the FAMIX metamodel. In its last implementation, CC has become...
  • GME

  • Referenced in 5 articles [sw33604]
  • synthesis environments. The configuration is accomplished through metamodels specifying the modeling paradigm (modeling language ... modeling paradigm contains all the syntactic, semantic, and presentation information regarding the domain; which concepts ... created using the resultant modeling environment. The metamodeling language is based on the UML class...
  • VeTIS

  • Referenced in 0 articles [sw18335]
  • abstract representation for Business semantics; however, the complexity of SBVR metamodel prevents its broad...
  • VisualOCL

  • Referenced in 0 articles [sw30495]
  • which is based on the same metamodel as OCL. Thus, VisualOCL is meant as alternative ... colors and special fonts, to express semantic meaning. Furthermore, we offer the possibility to restrict ... visual layout, their abstraction within the OCL metamodel and their meaning: C. Kiesner, G. Taentzer...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

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

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

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • Scilab

  • Referenced in 175 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • PERL

  • Referenced in 274 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Alloy

  • Referenced in 30 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • Kronos

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

  • Referenced in 51 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...