• Isar

  • Referenced in 140 articles [sw04599]
  • Paradoxically, none of the existing semi-automated reasoning systems have an adequate primary notion ... communication, or just maintenance). The Intelligible semi-automated reasoning (Isar) approach to readable formal proof...
  • MetaPrime

  • Referenced in 4 articles [sw12542]
  • expert system applications such as reasoning maintenance and multiple fault diagnosis. The application...
  • Consit

  • Referenced in 7 articles [sw08962]
  • applications to many problems in software maintenance and evolution, including reuse, reengineering and program comprehension ... Algorithms for implementing conditioned slicing necessarily involve reasoning about the values of program predicates...
  • SOFT-CBR

  • Referenced in 4 articles [sw00887]
  • generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct ... SOFT-CBR to facilitate the optimization and maintenance of the system. SOFT-CBR relies...
  • SQuAVisiT

  • Referenced in 1 article [sw16986]
  • software analytics. Visual software analytics supports analytical reasoning about software systems facilitated by interactive visual ... assessors in performing quality assurance and maintenance tasks. Flexibility ofSQuAVisiT allows for integration of multiple...
  • SSAX

  • Referenced in 1 article [sw23631]
  • user-supplied event handlers. SSAX makes the maintenance of an application-specific element stack unnecessary ... programmer to write and to reason about. The more expressive, reliable and easier...
  • Coq

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

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

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 375 articles [sw00610]
  • Produced by experts for use in a variety...
  • R

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

  • Referenced in 453 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PERL

  • Referenced in 261 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • DYNAMO

  • Referenced in 250 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • COBOL

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

  • Referenced in 177 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...