• Specware

  • Referenced in 25 articles [sw11715]
  • design process in Specware lies stepwise refinement, in which users begin with a simple, abstract...
  • Autoref

  • Referenced in 14 articles [sw12809]
  • Thanks to its integration with the Isabelle refinement framework and the Isabelle collection framework, Autoref ... used as a backend to a stepwise refinement based development approach, having access...
  • AoPA

  • Referenced in 8 articles [sw09832]
  • program derivation is the technique of stepwise refining a relational specification to a program...
  • Edmonds-Karp

  • Referenced in 5 articles [sw28548]
  • formalization. We then use stepwise refinement to obtain the Edmonds-Karp algorithm, and formally prove...
  • Imperative Refinement

  • Referenced in 3 articles [sw29235]
  • tool that supports a stepwise refinement based approach to imperative programs. This entry is based...
  • XYZ/ADL

  • Referenced in 2 articles [sw02924]
  • software architecture. An ADL supporting stepwise refinement can make it more convenient that a good ... architecture description language XYZ/ADL can support the stepwise transition from higher-level architectures to lower...
  • SRRS

  • Referenced in 2 articles [sw12283]
  • stepwise response refinement screener (SRRS). Supersaturated designs (SSDs) are useful in investigating a large number ... paper, an analysis procedure, called the Stepwise Response Refinement Screener (SRRS) method, is proposed...
  • DTRE

  • Referenced in 3 articles [sw22672]
  • sorts. Abstract specifications (theories) are refined in a stepwise fashion into increasingly more concrete theories...
  • RTOS

  • Referenced in 1 article [sw03087]
  • mixed level simulation environment for stepwise RTOS software refinement In this article, we present ... simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this ... QEMU. In order to support stepwise RTOS software refinement from system level to the target...
  • Dixit

  • Referenced in 1 article [sw10564]
  • also supports stepwise development of systems, based on a notion of refinement of predicate diagrams...
  • Coq

  • Referenced in 1753 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 62 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • Isabelle

  • Referenced in 601 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 5714 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11547 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • mclust

  • Referenced in 244 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • R

  • Referenced in 7694 articles [sw00771]
  • R is a language and environment for statistical...
  • Scilab

  • Referenced in 165 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • COBOL

  • Referenced in 225 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...