• VHPOP

  • Referenced in 11 articles [sw20688]
  • account for possible reuse of existing actions in a plan. We also propose a large...
  • MSS

  • Referenced in 4 articles [sw14966]
  • prioritized design principles, which enables a systematic reuse of knowledge and results in efficient tools ... features, current accessability, and plans for future development...
  • Phylotastic

  • Referenced in 0 articles [sw27487]
  • reuse of phylogenetic knowledge. An evolutionary biology workflow can be viewed as a plan which...
  • Billie

  • Referenced in 1 article [sw27246]
  • customized visual representations of designed buildings and planned constructions. With reusable and exchangeable visualization configurations ... different software applications. The software can be reused for research on new visualization methods...
  • DarwinSPL

  • Referenced in 1 article [sw26909]
  • SPLs) are an approach for large-scale reuse for software families by means of variabilities ... variability and tracking of previous evolution and planning future evolution of SPLs. We show...
  • CGAL

  • Referenced in 381 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

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

  • Referenced in 283 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • SETHEO

  • Referenced in 121 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • PSPLIB

  • Referenced in 267 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • Theorema

  • Referenced in 147 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • ML

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

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

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • UEML

  • Referenced in 29 articles [sw02332]
  • UEML: towards a unified enterprise modelling language. The...
  • BLAS

  • Referenced in 493 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • MAYA

  • Referenced in 26 articles [sw03423]
  • The formal development of industrial-size software is...