• Eiffel

  • Referenced in 290 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 188 articles [sw04597]
  • Java modules. It combines the design by contract approach of Eiffel and the model-based...
  • Ada95

  • Referenced in 185 articles [sw01753]
  • designed by a team led by Jean Ichbiah of CII Honeywell Bull under contract...
  • 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...
  • nuXmv

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

  • Referenced in 119 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 209 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...
  • SmallEiffel

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

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

  • Referenced in 15 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 32 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...
  • KQML

  • Referenced in 32 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...
  • JCML

  • Referenced in 2 articles [sw06406]
  • runtime verification approach based on design by contract to improve the safety of Java Card...
  • 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...
  • 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...
  • SCALE

  • Referenced in 3 articles [sw18082]
  • analysis and design developed and maintained by Oak Ridge National Laboratory under contract with ... characterization for nuclear facilities and transportation/storage package designs...
  • Coyotl

  • Referenced in 0 articles [sw05695]
  • simple cross-platform commandline parser, and design-by-contract tools...