• MACSYMA

  • Referenced in 721 articles [sw01209]
  • general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system ... solve simple problems specified by one-line commands (such as finding the indefinite integral...
  • XVCL

  • Referenced in 7 articles [sw02100]
  • mechanism for handling variants in software product lines Software reuse focused on product lines ... developed for handling variants in software product lines. We apply XVCL to develop product line...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • SCADE Suite® is a product line of the ANSYS® Embedded software family of products...
  • SPL Conqueror

  • Referenced in 4 articles [sw28652]
  • optimization of non-functional properties in software product lines. A software product line...
  • DeltaCCS

  • Referenced in 4 articles [sw14476]
  • Incremental model checking of delta-oriented software product lines. We propose DeltaCCS, a delta-oriented ... formalize behavioral variability in software product line specifications in a modular way. In DeltaCCS, predefined...
  • FAMILIAR

  • Referenced in 4 articles [sw31669]
  • facto standard for managing variability in software product lines (SPLs). In practice, developing ... viewpoints, sub-systems or concerns of the software system. This activity is generally tedious...
  • ProMoVer

  • Referenced in 4 articles [sw06738]
  • multiple method implementations (as arising from software product lines), or even unknown method implementations...
  • CL_MATCONT

  • Referenced in 68 articles [sw07132]
  • developed in parallel with the command line continuation toolbox Cl_MatCont. The package (Cl_)MatCont ... sold as part of some other software product. Also, in no circumstances can the authors...
  • DocLine

  • Referenced in 2 articles [sw06449]
  • DocLine: a method for software product lines documentation development The DocLine method designed for developing ... documentation for software product lines is presented. The method makes it possible to reuse document...
  • SPLLIFT

  • Referenced in 2 articles [sw16431]
  • SPLLIFT: statically analyzing software product lines in minutes instead of years. SPLlift is an approach ... IFDS framework also for entire Software Product Lines (SPLs). If, for normal programs, the analysis...
  • LiE

  • Referenced in 165 articles [sw01075]
  • name of a software package that enables mathematicians and physicists to perform computations ... objects. Some specialities of LiE are: tensor product decompositions, branching to subgroups, Weyl group orbits ... mathematical functions. The interpreter offers on-line facilities which explain operations and functions, and which...
  • DarwinSPL

  • Referenced in 1 article [sw26909]
  • suite for modeling evolving context-aware software product lines. Software Product Lines (SPLs...
  • MatlabMPI

  • Referenced in 10 articles [sw17908]
  • implemented in 70 software-lines-of-code, illustrating the high productivity of this approach. MatlabMPI...
  • DeltaJ

  • Referenced in 2 articles [sw24981]
  • modular, yet flexible approach to implement software product lines. In DOP, a product line...
  • FeatureIDE

  • Referenced in 2 articles [sw20741]
  • generated is called a software product line (SPL). FeatureIDE supports several FOSD implementation techniques such ... domain analysis, requirements analysis, domain implementation, and software generation...
  • SOVA

  • Referenced in 1 article [sw25223]
  • ontological variability analysis. Variability analysis in Software Product Line Engineering (SPLE) utilizes various software-related ... requirements specifications for analyzing variability of software products mainly takes into account semantic considera- tions ... characteristics of a different software product in a line, while each requirement statement represents ... pected behavior of that software product. The output is a feature diagram repre- senting...
  • DeltaEcore

  • Referenced in 1 article [sw26910]
  • Model-Based Delta Language Generation Framework. Software product lines (SPLs) and software ecosystems (SECOs) represent ... different configurations and for deriving concrete software products of an SPL or SECO through transformation...
  • HyVar

  • Referenced in 1 article [sw24977]
  • variability language to describe evolution as software product line. Scalable cloud infrastructure for monitoring...
  • fmp

  • Referenced in 6 articles [sw39310]
  • Rational Software Architect (RSA). fmp2rsm integrates fmp with RSM and enables product line modeling...
  • STK

  • Referenced in 7 articles [sw11832]
  • foundation of AGI’s product line. This highly capable, free modeling environment is used ... thousands of engineers, mission analysts, and software developers to model complex systems—such as aircraft ... deployed using our software development kits and server product. Finally, STK users can share results...