• DAGH

  • Referenced in 16 articles [sw04162]
  • principles used (hierarchical abstractions based on separation of concerns) are well known...
  • SeaHorn

  • Referenced in 13 articles [sw18274]
  • SeaHorn is its modular design that separates the concerns of the syntax of the programming...
  • SuperMatrix

  • Referenced in 6 articles [sw20213]
  • techniques inspired by superscalar microarchitectures. This separation of concerns allows library developers to implement algorithms...
  • CATHARE

  • Referenced in 43 articles [sw09025]
  • flow is essentially 1-dimensional. Closure laws concerning mass, momentum and energy exchanges between phases ... required. A set of specifically designed separate effect experiments were performed and analysed. Having regard ... most recent developments. These last investigations concern the direct contact condensation, stratification model, wall friction...
  • IKOS

  • Referenced in 3 articles [sw14865]
  • class of static analysis developers by separating concerns such as code parsing, model development, abstract...
  • ImageJ2

  • Referenced in 3 articles [sw18697]
  • host of new functionality. It separates concerns, fully decoupling the data model from the user...
  • Aspectual Caml

  • Referenced in 4 articles [sw22681]
  • language and used the language for separating crosscutting concerns in application programs, including for separating...
  • libmpdata++

  • Referenced in 5 articles [sw15814]
  • design, based on the principle of separation of concerns, prioritises the user and developer productivity...
  • FInAT

  • Referenced in 4 articles [sw20273]
  • basis. The result will be a separation of concerns in which FInAT provides a single...
  • Gaggle

  • Referenced in 4 articles [sw20341]
  • classic software engineering strategy of separation of concerns and a policy of semantic flexibility...
  • FAMILIAR

  • Referenced in 2 articles [sw31669]
  • features representing different viewpoints, sub-systems or concerns of the software system. This activity ... language provides a powerful support for separating concerns in feature modeling, through the provision...
  • Giotto

  • Referenced in 16 articles [sw08971]
  • Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables...
  • gMix

  • Referenced in 2 articles [sw07595]
  • logical layers with a clear separation of concerns. Implementations of mix variants and supportive components...
  • BYTESURGEON

  • Referenced in 2 articles [sw09135]
  • interest in advanced technologies for better separation of concerns, such as aspect-oriented programming...
  • Slate

  • Referenced in 2 articles [sw31053]
  • code within complex models, whilst maintaining separation of concerns between applications scientists and software experts...
  • TOPPER

  • Referenced in 11 articles [sw01390]
  • concern of TOPPER’s users is bound to the construction of two separate graphs, describing...
  • LARA

  • Referenced in 2 articles [sw26816]
  • programming languages decomposition by separating the secondary concerns with the program’s main logic. There...
  • BakerSFIeld

  • Referenced in 1 article [sw23352]
  • substantially re-architected for greater clarity, separating the concerns of rewriting the program for memory...
  • aicm

  • Referenced in 10 articles [sw11487]
  • eigenvalue problems for Hamiltonian systems. The paper concerns an eigenvalue problem for a Hamiltonian system ... nonlinear dependence on a real eigenparameter λ. Separated boundary conditions are treated. The coefficients...
  • TFad

  • Referenced in 9 articles [sw07478]
  • memory. In this case, applying AD separately to each element function and manually assembling ... deliver gradients efficiently and accurately. This paper concerns on-going work; it compares several implementations...