Tag design-by-contract - This is page 2 - GeneraCodice

Assertion, Exception, run time error, or Undefined Behaviour? [closed]

https://www.generacodice.com/en/articolo/9446829/assertion-exception-run-time-error-or-undefined-behaviour-closed

  c++  -  design-by-contract  -  fsm

StackOverflow

How to enforce custom class instance invariants in Java

https://www.generacodice.com/en/articolo/8326584/how-to-enforce-custom-class-instance-invariants-in-java

  java  -  invariants  -  design-by-contract

StackOverflow

Ways to specify whether a feature is supported in contract

https://www.generacodice.com/en/articolo/7550070/ways-to-specify-whether-a-feature-is-supported-in-contract

  c#  -  .net  -  interface  -  abstract-class  -  design-by-contract

StackOverflow

Scala type constraints confusing error

https://www.generacodice.com/en/articolo/7201363/scala-type-constraints-confusing-error

  design-by-contract  -  type-constraints  -  scala  -  traits

StackOverflow

Frama-C/WP/ACSL Correct use of \valid on structures

https://www.generacodice.com/en/articolo/7084201/frama-c-wp-acsl-correct-use-of-valid-on-structures

  c  -  static-analysis  -  design-by-contract  -  frama-c

StackOverflow

ACSL annotations on C macros

https://www.generacodice.com/en/articolo/7071397/acsl-annotations-on-c-macros

  c  -  static-analysis  -  c-preprocessor  -  design-by-contract  -  frama-c

StackOverflow

Frama-C/WP not able to prove loop invariant with \at

https://www.generacodice.com/en/articolo/6986680/frama-c-wp-not-able-to-prove-loop-invariant-with-at

  c  -  static-analysis  -  design-by-contract  -  loop-invariant  -  frama-c

StackOverflow

Design by contract and assert statements

https://www.generacodice.com/en/articolo/5725356/design-by-contract-and-assert-statements

  java  -  assert  -  design-by-contract  -  post-conditions

StackOverflow

Design by contract and unit testing in C++

https://www.generacodice.com/en/articolo/5255327/design-by-contract-and-unit-testing-in-c

  c++  -  unit-testing  -  c++builder  -  design-by-contract  -  googletest

StackOverflow

OOP: implementing an interface method with a wider signature

https://www.generacodice.com/en/articolo/5123987/oop-implementing-an-interface-method-with-a-wider-signature

  oop  -  inheritance  -  covariance  -  interface  -  design-by-contract

StackOverflow

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

Results found: 169