• Eiffel

  • Referenced in 289 articles [sw03522]
  • principles, including design by contract, command-query separation, the uniform-access principle, the single-choice ... Java, C#, and other languages. New language design ideas, particularly through the Ecma/ISO standardization process...
  • JML

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

  • Referenced in 294 articles [sw01753]
  • designed by a team led by Jean Ichbiah of CII Honeywell Bull under contract...
  • nuXmv

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

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

  • Referenced in 10 articles [sw01488]
  • jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation Design by Contract ... correct operation. The basic constructs of Design by Contract are method preconditions and postconditions ... class invariants. This paper presents a detailed design and implementation overview of jContractor, a freely ... available tool that allows programmers to write “contracts” as standard Java methods following an intuitive...
  • Traces

  • Referenced in 189 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs. The individualization-refinement paradigm for computing ... graph is investigated. A new algorithmic design aimed at reducing the size of the associated...
  • MPT

  • Referenced in 235 articles [sw04732]
  • free Matlab toolbox for design, analysis and deployment of optimal controllers for constrained linear, nonlinear ... custom constraints, such as polytopic, contraction, or collision avoidance constraints, or create custom objective functions...
  • Derivatives

  • Referenced in 6 articles [sw01304]
  • resulted in an extensive variety of contract designs. The derivatives market transcends national boundaries...
  • SmallEiffel

  • Referenced in 9 articles [sw13732]
  • safer way, and how helpful the design by contract capabilities of the Eiffel language have...
  • GraPHedron

  • Referenced in 16 articles [sw25129]
  • system designed to help researchers in (extremal) graph theory. GraPHedron is the contraction...
  • CodeContracts

  • Referenced in 2 articles [sw30949]
  • Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages...
  • Gaigen

  • Referenced in 36 articles [sw04958]
  • geometric product, outer product, left and right contraction, scalar product, (modified) Hestenes inner product) plus ... join) have been implemented. Everything has been designed with memory and time efficiency in mind...
  • JCML

  • Referenced in 2 articles [sw06406]
  • runtime verification approach based on design by contract to improve the safety of Java Card...
  • KQML

  • Referenced in 31 articles [sw29718]
  • Information Exchange. This paper describes the design of and experimentation with the Knowledge Query ... models of inter-agent interaction such as contract nets and negotiation. In addition, KQML provides ... agents The ideas which underlie the evolving design of KQML are currently being explored through...
  • Jahob

  • Referenced in 10 articles [sw12385]
  • statically prove that methods satisfy their contracts in all possible executions, as well as that ... they preserve essential structural invariants and design constraints...
  • Praspel

  • Referenced in 1 article [sw30376]
  • Praspel: A Specification Language for Contract-Based Testing in PHP. We introduce in this paper ... This language is based on the Design-by-Contract paradigm. Praspel clauses annotate methods...
  • Slither

  • Referenced in 1 article [sw37688]
  • static analysis framework designed to provide rich information about Ethereum smart contracts. It works ... user’s understanding of the contracts, and (4) assistance with code review. In this paper ... design of its intermediate representation, and evaluate its capabilities on real-world contracts. We show...
  • Echidna

  • Referenced in 1 article [sw37693]
  • Echidna: A Fast Smart Contract Fuzzer. Echidna is a weird creature that eats bugs ... Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based ... contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity ... include new mutations or test specific contracts in specific cases...
  • Aquarius

  • Referenced in 5 articles [sw26678]
  • implemented in Aquarius, which avoid the backward contraction bottleneck of purely shared memory approaches ... parallel deduction. Then, we describe Aquarius, its design, its features and user interface. We present...