• AspectJ

  • Referenced in 128 articles [sw04426]
  • just a few new constructs, AspectJ provides support for modular implementation of a range ... method-like constructs that can be attached to pointcuts; and aspects are modular units...
  • EvalVid

  • Referenced in 7 articles [sw01348]
  • calculation. The tool-set has a modular construction, making it possible to exchange both...
  • Why3

  • Referenced in 126 articles [sw04438]
  • WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism ... library. An important emphasis is put on modularity and genericity, giving the end user...
  • CaesarJ

  • Referenced in 10 articles [sw24979]
  • classes and packages in a single powerful construct that helps to solve ... well as for development of well modularized flexible aspects. In this way we demonstrate that ... combination of aspect-oriented constructs for joinpoint interception with advanced modularization techniques like virtual classes...
  • SWIG

  • Referenced in 43 articles [sw04607]
  • have become a powerful tool for the construction of flexible scientific software because they provide ... problem solving environment and they form a modular framework for controlling software components written...
  • ScicosLab

  • Referenced in 3 articles [sw04931]
  • because it provides a means for constructing modular and reusable models. This part contains...
  • GROW

  • Referenced in 3 articles [sw18662]
  • iterative, gradient-based optimization workflow. The modularly constructed tool consists of a main control script...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • many separate programs that cooperate in the construction and analysis of PN models by sharing ... machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • MMH

  • Referenced in 14 articles [sw24968]
  • construction is based on techniques due to Carter and Wegman for universal hashing using modular ... fast software implementation. We prove the resultant construction to retain the necessary mathematical properties required...
  • PNTooL

  • Referenced in 2 articles [sw13754]
  • python library for the modular construction of Petri nets transducers (PNTs) through composition operations. Constructed...
  • TWODANT

  • Referenced in 1 article [sw21203]
  • transport equation. TWODANT uses the same modular construction as the ONEDANT code. This modular construction...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • 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...
  • XASM

  • Referenced in 6 articles [sw21003]
  • other features - add a modularization concept to the core ASM constructs in order to provide ... presented. XASM realizes a component-based modularization concept based on the notion of external functions...
  • BubbleProfiler

  • Referenced in 2 articles [sw31803]
  • single field cases. BubbleProfiler is constructed with modularity, flexibility and practicality in mind. These principles...
  • IBPT

  • Referenced in 2 articles [sw21928]
  • building physics. The toolbox is constructed as a modular structure of standard building elements, using...
  • GeNGe

  • Referenced in 2 articles [sw29326]
  • user-defined or constructed in a modular way with the option to introduce global...
  • HIP

  • Referenced in 23 articles [sw09786]
  • simple imperative language, able to modularly verify the specifications of heap-manipulating programs. The specification ... given annotations for each method/loop, HIP will construct a set of separation logic proof obligations...
  • Frenetic

  • Referenced in 4 articles [sw16270]
  • fail to provide even rudimentary support for modular programming. As a result, network programs tend ... this domain, these constructs are - by design - fully compositional, which facilitates modular reasoning and enables...
  • JastAdd

  • Referenced in 23 articles [sw01700]
  • JastAdd, a Java-based system for compiler construction. JastAdd is centered around an object-oriented ... implementing the compiler. The behavior can be modularized into different aspects, e.g. name analysis, type...
  • ModEM

  • Referenced in 2 articles [sw15654]
  • geophysical data. We describe implementation of a modular system of computer codes for inversion ... ModEM. The system is constructed with a fine level of modular granularity, with basic components...