• ITP

  • Referenced in 31 articles [sw09808]
  • support incremental development of specifications. Membership equational logic is an expressive version of equational logic...
  • MIXED

  • Referenced in 76 articles [sw06480]
  • modeled using random effects and through the specification of a covariance structure. PROC MIXED provides ... time and space, including discrete and continuous increments of time and space...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • OpenSMT, an incremental, efficient, and open-source SMT-solver. OpenSMT has been specifically designed...
  • FeatureC++

  • Referenced in 5 articles [sw24978]
  • current FOP languages in expressing incremental refinements. Specifically, we outline five key problems and present...
  • Cassowary

  • Referenced in 11 articles [sw36189]
  • often in natural declarative specifications. We describe Cassowary---an incremental algorithm based on the dual...
  • REVE

  • Referenced in 68 articles [sw28907]
  • integrated into the algorithms. REVE uses an incremental termination method based on recursive decomposition ordering ... paper are taken from abstract data type specifications...
  • AMT

  • Referenced in 13 articles [sw38045]
  • from an Stl/Psl specification and checks, in an offline or incremental fashion, whether simulation traces...
  • CUTE

  • Referenced in 66 articles [sw00177]
  • combining symbolic and concrete execution, and more specifically, using such a combination to generate test ... efficient constraint solver is proposed to facilitate incremental generation of such test inputs. Finally, CUTE...
  • Polaris

  • Referenced in 7 articles [sw38945]
  • visual specifications. The visual specifications can be rapidly and incrementally developed, giving the analyst visual...
  • Lynx

  • Referenced in 10 articles [sw13643]
  • incremental programmatic SAT solver that allows non-expert users to introduce domain-specific code into ... clauses back to the solver dynamically and incrementally. Thus, the user-provided code can specialize...
  • dbminer

  • Referenced in 1 article [sw18080]
  • theory of (generalized) regions. More specifically, it incrementally builds a basis of regions...
  • ImageGrouper

  • Referenced in 2 articles [sw13856]
  • assume query examples are added incrementally. Second, the query specification and result display are done...
  • JWalk

  • Referenced in 2 articles [sw06857]
  • state-based testing, from a specification that was acquired incrementally...
  • 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 ... Calculus are verifiable for entire product-line specifications both product-by-product as well ... strategies, we propose a novel approach for incremental model checking of product lines. Therefore, variability...
  • iNuc-PhysChem

  • Referenced in 24 articles [sw22453]
  • found that nucleosomal sequences have some position-specific physicochemical features, which can be used ... vector via the IFS (incremental feature selection) procedure to optimize the feature...
  • CoSyma

  • Referenced in 12 articles [sw20124]
  • tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete ... given safety or time-bounded reachability specification. We illustrate by examples the synthesized controllers...
  • MoSS

  • Referenced in 1 article [sw41813]
  • modular analysis and incremental design. We present the Modular Security Specifications (MoSS) framework, which cleanly...
  • IPSep-CoLa

  • Referenced in 9 articles [sw09789]
  • IPSep-CoLa: An Incremental Procedure for Separation Constraint Layout of Graphs. We extend the popular ... satisfy a wide variety of application-specific layout requirements, including: layout of directed graphs ... quadratic programming problem. We give an incremental algorithm based on gradient projection for efficiently solving...
  • MBT

  • Referenced in 6 articles [sw08004]
  • statistical or machine learning approaches. Additional advantages specific to a memory-based approach include ... tagged corpus size sufficient for training, (ii) incremental learning, (iii) explanation capabilities, (iv) flexible integration...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • support environment. The IPSEN project (for Integrated, Incremental, Interactive Project Support Environment) deals with ... tools can be partially generated from formal specifications and merged into the frame architecture. More...