• 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...
  • GraphBase

  • Referenced in 138 articles [sw01555]
  • combined by union, intersection, complementation, product, and forming line graphs. A general induced-graph routine...
  • SALBPGen

  • Referenced in 24 articles [sw14513]
  • decision problem which arises when assembly line production systems are designed and operated. A large ... instance generator for the simple assembly line balancing problem (SALBP) which can be applied...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • SCADE Suite® is a product line of the ANSYS® Embedded software family of products...
  • 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 ... assets (including the domain model, product line architecture and generic components ... domain. Specific systems, members of a product line, can be constructed by adapting and composing...
  • COSMOS/M

  • Referenced in 12 articles [sw04289]
  • hardware capabilities.This chapter introduces the COSMOS/M product line and outlines the features of its various...
  • Paradox

  • Referenced in 11 articles [sw30471]
  • Ashton-Tate and its competing dBase product line;[2] A Windows version was planned...
  • DeltaCCS

  • Referenced in 4 articles [sw14476]
  • model checking of delta-oriented software product lines. We propose DeltaCCS, a delta-oriented extension ... formalize behavioral variability in software product line specifications in a modular way. In DeltaCCS, predefined ... Calculus are verifiable for entire product-line specifications both product-by-product as well ... approach for incremental model checking of product lines. Therefore, variability-aware congruence notions...
  • STK

  • Referenced in 7 articles [sw11832]
  • foundation of AGI’s product line. This highly capable, free modeling environment is used ... using our software development kits and server product. Finally, STK users can share results such...
  • SPL Conqueror

  • Referenced in 4 articles [sw28652]
  • functional properties in software product lines. A software product line (SPL) is a family ... functional properties are not known before product derivation and can vary for each application scenario...
  • fmp

  • Referenced in 6 articles [sw39310]
  • integrates fmp with RSM and enables product line modeling...
  • VMC

  • Referenced in 5 articles [sw09745]
  • modeling and analysis of variability in product lines. It accepts a product family specified...
  • VIC

  • Referenced in 5 articles [sw38572]
  • measurement systems from the VIC product line. Various configurations of the VIC system are available...
  • DeltaJ

  • Referenced in 2 articles [sw24981]
  • flexible approach to implement software product lines. In DOP, a product line is implemented ... program. A delta-oriented product line is specified by its code base ... delta modules, and a product line declaration specifying the set of possible product variants ... improve the specification of the product line declaration by providing a separate language. We have...
  • Calysto

  • Referenced in 7 articles [sw31588]
  • automatically, in hundreds of thousands of lines of production, open-source applications, with a very...
  • FAMILIAR

  • Referenced in 4 articles [sw31669]
  • standard for managing variability in software product lines (SPLs). In practice, developing...
  • ProMoVer

  • Referenced in 4 articles [sw06738]
  • 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...