• GenABEL

  • Referenced in 12 articles [sw10860]
  • streamline methodology discussion, development, implementation, dissemination and maintenance; through the community...
  • MANTOOL

  • Referenced in 2 articles [sw01406]
  • process according to MANTEMA, a rigorous methodology for maintenance. After explaining briefly the MANTEMA structure ... requests following the different stages of the methodology, showing it with some examples. The data ... reports and to do estimations of future maintenance interventions. The paper also includes some experience...
  • SCTL-MUS

  • Referenced in 8 articles [sw02245]
  • SCTL-MUS: A formal methodology for software development of distributed systems. A case study This ... dealing with the system evolution and maintenance activities as similar stages of the system development...
  • DOgMA

  • Referenced in 1 article [sw00214]
  • maintenance whose main focus was to combine state- of-the-art methodologies...
  • FastSOA

  • Referenced in 1 article [sw06301]
  • using Frank Cohen’s FastSOA patterns, test methodology, and architecture. In FastSOA you will learn ... accelerate performance, and reduce development time and maintenance in your...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

  • Referenced in 242 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Maple

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

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

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

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

  • Referenced in 4 articles [sw00619]
  • This paper presents NexClass, a Decision Support System...
  • R

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

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

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

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

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