• spBayes

  • Referenced in 330 articles [sw10160]
  • efficiency depends upon the specific problem at hand. This requires extensive coding on the part...
  • PVS

  • Referenced in 620 articles [sw03484]
  • verification system: that is, a specification language integrated with support tools and a theorem prover ... stress of real use exposes new requirements...
  • GAMS

  • Referenced in 842 articles [sw04978]
  • time-consuming details of the specific machine and system software implementation. GAMS is especially useful ... kind problems which may require many revisions to establish an accurate model. The system models...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • portable” because, for fastest possible performance, LAPACK requires that highly optimized block matrix operations ... Level 3 BLAS — a set of specifications for Fortran subprograms that do various types...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • message sequence chart (MSC). A requirement specification editor that also constitutes a graphical user interface...
  • MPFI

  • Referenced in 40 articles [sw00597]
  • Indeed, no existing library met the required specifications. The main features of this library...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • solver about their structures and providing the required operations on them. The codes also come ... specific vector operations (norms, dot products, etc.) No other operations within the solvers require knowledge...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • code and a software requirement formalized in Bandera’s temporal specification language, and it generates...
  • ROSETTA

  • Referenced in 23 articles [sw10969]
  • been presented and analyzed. Following the requirement specifications of a sophisticated user-environment for empirical...
  • MetaMorph

  • Referenced in 20 articles [sw01575]
  • systems are not able to meet such requirements. This paper proposes an agent-based approach ... MetaMorph architecture also addresses other specific requirements for next generation manufacturing systems, including scalability, reliability...
  • Java-MOP

  • Referenced in 20 articles [sw14034]
  • monitoring is a foundational principle. Expressive requirements specification formalisms can be included into the framework...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE (in short MARTE), provides support for specification, design, and verification/validation stages. This new profile ... analyzing concerns. Modeling parts provides support required from specification to detailed design of real-time ... annotate models with information required to perform specific analysis. Especially, MARTE focuses on performance...
  • Java-MaC

  • Referenced in 10 articles [sw20000]
  • correctly with respect to a formal requirements specification by monitoring and checking the execution ... system. Use of formal requirement specifications in run-time monitoring and checking is the salient ... reuse of a high-level requirement specification even when the target program implementation changes. Furthermore...
  • CATHARE

  • Referenced in 44 articles [sw09025]
  • phase and the walls are required. A set of specifically designed separate effect experiments were...
  • D-NURBS

  • Referenced in 16 articles [sw09123]
  • interactively sculpt complex shapes to required specifications not only in the traditional indirect fashion...
  • DARCLASS

  • Referenced in 16 articles [sw06195]
  • servers involved as well as the specific requirements of the rides may vary. Problems...
  • CASL

  • Referenced in 172 articles [sw02235]
  • CoFI is called Casl: the Common Algebraic Specification Language. Its main features are as follows ... pragmatic language. It is suitable for specifying requirements and design for conventional software packages...
  • Checkfence

  • Referenced in 19 articles [sw09939]
  • interleavings and reorderings. CheckFence does not require formal specifications or annotations, but mines a specification ... limited but reasonable subset of C, as required for typical implementations. This subset includes conditionals...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation...
  • UniTESK

  • Referenced in 21 articles [sw06566]
  • testing of system behavior with required coverage. We developed specification extensions...