• MOCHA

  • Referenced in 91 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a growing interactive software environment for system specification...
  • OpenFOAM

  • Referenced in 422 articles [sw04317]
  • modular code design in which collections of functionality (e.g. numerical methods, meshing, physical models...
  • GenLouvain

  • Referenced in 84 articles [sw13826]
  • function in terms of a generalized-modularity null model framework and then follows ... codes here work directly with the modularity matrix, not the adjacency matrix. That...
  • Ptolemy

  • Referenced in 78 articles [sw07459]
  • modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation ... offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed ... formal semantics for Ptolemy that is modular in the sense that atomic actors and their ... called directors. Different directors realise different models of computation. In this paper, we formally define...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement ... BDDs are computed from the modular structure of the model and an estimate...
  • AspectJ

  • Referenced in 130 articles [sw04426]
  • modular implementation of a range of crosscutting concerns. In AspectJ’s dynamic join point model ... attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice...
  • Bebop

  • Referenced in 74 articles [sw08928]
  • empirical evaluation of Bebop—a symbolic model checker for boolean programs. Bebop represents control flow ... implicitly using BDDs. By harnessing the inherent modularity in procedural abstraction and exploiting the locality ... variable scoping, Bebop is able to model check boolean programs with several thousand lines...
  • XFEM

  • Referenced in 371 articles [sw01026]
  • designed to meet all natural requirements for modularity, extensibility, and robustness. To facilitate mesh -- geometry ... interfaces and slip-interfaces; nonlinear material models such as J2 plasticity with linear, isotropic...
  • LBS

  • Referenced in 15 articles [sw12372]
  • which combines rule-based approaches to modelling with modularity. It is based on the Calculus...
  • STAMP

  • Referenced in 43 articles [sw09536]
  • model selection and interpretation. STAMP 8 is an integrated part of the OxMetrics modular software ... STAMP is Structural Time Series Analyser, Modeller and Predictor. Structural time series models are formulated...
  • JaCoP

  • Referenced in 20 articles [sw06307]
  • global) constraints to facilitate efficient modeling. It also provides modular design of search to help ... lines of code explaining how to model and solve diverse problems. We have cases...
  • MODFLOW-2000

  • Referenced in 32 articles [sw10877]
  • Ground-Water Software: MODular three-dimensional finite-difference ground-water FLOW model--2000 updated version...
  • POEM

  • Referenced in 7 articles [sw03469]
  • Order Environment of Marseille) is a modular model checking tool built to support several input...
  • GFDL

  • Referenced in 10 articles [sw18127]
  • GFDL modular ocean model (acronym...
  • MT3DMS

  • Referenced in 20 articles [sw08693]
  • MT3DMS is a modular three-dimensional transport model that can simulate advection, dispersion, and chemical...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • layers, each with its own API. Models of protocols at one layer interact with those ... higher) layer only via these APIs. The modular implementation enables consistent comparison of multiple protocols ... distributed memory multicomputer. These experiments use models constructed from the library modules...
  • Antimony

  • Referenced in 5 articles [sw34912]
  • Antimony: a modular model definition language. Summary: The Antimony language provides ... from simpler models, and provides a special syntax for the creation of modular genetic networks...
  • ProMoT

  • Referenced in 5 articles [sw02007]
  • provides capabilities for the development of dynamic models based on differential-algebraic equations, and their ... ProMoT are the development of modular models, the use of specialized modeling-libraries...
  • FMI

  • Referenced in 6 articles [sw12974]
  • This modular structure of the model reflects the modular structure of complex engineering systems...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature...