• Z

  • Referenced in 282 articles [sw10291]
  • depth introduction to the specification language $Z$. It is primarily directed to the user ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...
  • RelView

  • Referenced in 102 articles [sw00798]
  • Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed...
  • Checkfence

  • Referenced in 19 articles [sw09939]
  • specifications or annotations, but mines a specification directly from the C code (either from...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • basic schemes, designed to address specific performance issues. We present numerical results for a broad ... method. Finally, we indicate the current directions of the research...
  • PUMA

  • Referenced in 31 articles [sw22571]
  • directly utilize user insight, domain-specific information and physics-based basis functions in order improve...
  • frontier

  • Referenced in 27 articles [sw11127]
  • model specification in which the firm effects are directly influenced by a number of variables...
  • DiaGen

  • Referenced in 28 articles [sw10321]
  • tailored to a specific diagram language typically support either syntax-directed editing or free-hand...
  • ode23

  • Referenced in 318 articles [sw06600]
  • vector T. To obtain solutions at the specific times t0, t1,...,tf (all increasing ... terminate at a zero and whether the direction of the zero crossing matters. Do this...
  • Why3

  • Referenced in 134 articles [sw04438]
  • verification. It provides a rich language for specification and programming, called WhyML, and relies ... user can write WhyML programs directly and get correct-by-construction OCaml programs through...
  • SCEL

  • Referenced in 18 articles [sw20779]
  • Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic ... allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also...
  • OpenJML

  • Referenced in 6 articles [sw19841]
  • implementation demonstrates the value of integrating specification tools directly in the software development ... several college-level courses on software specification and verification and for small-scale studies...
  • EBayesThresh

  • Referenced in 128 articles [sw11104]
  • general methodology and of some specific technical matters is available here. The scripts in this ... software, the routine will not be applicable directly, but should still provide a model...
  • Zenon

  • Referenced in 23 articles [sw06753]
  • Focal environment, an object-oriented algebraic specification and proof system, which is able to produce ... code for certification. Zenon can directly generate Coq proofs (proof scripts or proof terms), which ... reinserted in the Coq specifications produced by Focal. Zenon can also be extended, which makes...
  • Blendenpik

  • Referenced in 43 articles [sw09210]
  • numerically backward stable. More specifically, we describe a least-squares solver for dense highly overdetermined ... that achieves residuals similar to those of direct QR factorization-based solvers (LAPACK), outperforms LAPACK...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • which systems are developed suggest that domain-specific model checking engines may be more effective ... tool paper, we summarize (a) Bogor’s direct support for modeling object-oriented designs ... modeling language and algorithms to create domain-specific model checking engines, and (c) pedagogical materials...
  • micrOMEGAs

  • Referenced in 71 articles [sw01425]
  • code also computes the rates for direct and indirect detection rates of dark matter ... computation of the relic density. Specific examples of this general approach include the MSSM...
  • Amesos

  • Referenced in 14 articles [sw10740]
  • level view of direct solvers, as composed by four main phases: specification of parameters; initialization...
  • AutoClass

  • Referenced in 70 articles [sw26092]
  • parameter space. This posterior probability rating allows direct comparison of alternate density functions that differ ... approximations needed for computational tractability, give some specifics of models for several common attribute types...
  • OpenMx

  • Referenced in 40 articles [sw08538]
  • specification. Two short example scripts for the specification and fitting of a confirmatory factor model ... OpenMx 1.0 and a discussion of directions for future development...
  • EdgeRewire

  • Referenced in 7 articles [sw40656]
  • extsc{EdgeRewire}, which optimizes a specific measure of interest directly. Notably, extsc{EdgeRewire} is general...