• Ada95

  • Referenced in 293 articles [sw01753]
  • Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • principles, including design by contract, command-query separation, the uniform-access principle, the single-choice...
  • MPT

  • Referenced in 235 articles [sw04732]
  • custom constraints, such as polytopic, contraction, or collision avoidance constraints, or create custom objective functions...
  • JML

  • Referenced in 190 articles [sw04597]
  • Java modules. It combines the design by contract approach of Eiffel and the model-based...
  • Traces

  • Referenced in 188 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs. The individualization-refinement paradigm for computing...
  • U-Net

  • Referenced in 129 articles [sw33176]
  • more efficiently. The architecture consists of a contracting path to capture context and a symmetric...
  • WordPerfect

  • Referenced in 54 articles [sw30582]
  • multiple personal computer platforms, originally developed under contract at Brigham Young University...
  • Glucose

  • Referenced in 48 articles [sw07833]
  • glucose. Solver’s name is a contraction of the concept of ”glue clauses”, a particular...
  • xTras

  • Referenced in 48 articles [sw16622]
  • field theory. Amongst others, it can compute contractions, make Ansätze, and solve tensorial equations...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis ... work we propose a simple model of contracts for QoS and SLAs that also allows...
  • Gaigen

  • Referenced in 36 articles [sw04958]
  • geometric product, outer product, left and right contraction, scalar product, (modified) Hestenes inner product) plus...
  • GasLib

  • Referenced in 35 articles [sw17977]
  • technical gas network descriptions as well as contract-based nomination data (gas flow and pressure...
  • KQML

  • Referenced in 31 articles [sw29718]
  • models of inter-agent interaction such as contract nets and negotiation. In addition, KQML provides...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • several extensions to cope with requirements analysis, contract based design, model checking of hybrid systems...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation Design by Contract ... operation. The basic constructs of Design by Contract are method preconditions and postconditions, and class ... available tool that allows programmers to write “contracts” as standard Java methods following an intuitive ... bytecode instrumentation to detect violation of the contract specification during a program’s execution. jContractor...
  • CSSV

  • Referenced in 20 articles [sw13701]
  • each procedure separately. To this end procedure contracts are allowed which are verified...
  • Jass

  • Referenced in 11 articles [sw32265]
  • Jass - java with assertions. Design by Contract, proposed by Meyer for the programming language Eiffel ... Java with assertions, is a Design by Contract extension for Java allowing to annotate Java ... dynamically tested. Besides the standard Design by Contract features known from classical program verification...
  • Atelier B

  • Referenced in 16 articles [sw07086]
  • without any restriction, Maintenance Edition for maintenance contract holders only. It is used to develop...
  • GraPHedron

  • Referenced in 16 articles [sw25129]
  • extremal) graph theory. GraPHedron is the contraction of the words Graph and Polyhedron because...
  • CTF

  • Referenced in 8 articles [sw25687]
  • Eliminating Load Imbalance in Massively Parallel Contractions. Cyclops (cyclic-operations) Tensor Framework ... distributed library for tensor contractions. CTF aims to scale high-dimensional tensor contractions such ... best mapping for each tensor contraction at run-time via explicit calculations of memory usage ... piece of data only once. Sequential symmetric contractions are reduced to matrix multiplication calls...