#DesignByContract - Twitter Hashtag

4 months ago

🚀 contract-checkリリース関数やクラスに・前提条件（pre）・事後条件（post）・不変条件（invariant）を明示的に記述し、実行時に自動検証します。 async完全対応、構造化エラー出力、に対応しました！詳細・例はこちら https://t.co/WYvAsbYGPl #Python #DesignByContract

sotanengel's tweet photo. 🚀 contract-checkリリース

関数やクラスに
・前提条件（pre）
・事後条件（post）
・不変条件（invariant）

を明示的に記述し、実行時に自動検証します。
async完全対応、構造化エラー出力、に対応しました！

詳細・例はこちら
https://t.co/WYvAsbYGPl

#Python #DesignByContract https://t.co/G39VF4rHa2

0

3

0

1

77

Kenny Pflug @feO2x

almost 3 years ago

Light.GuardClauses 11 preview1 is now available - it now targets #dotnet 8 directly and is compatible with #NativeAOT. Check it out here: https://t.co/Hmd3zRw0Jd #csharp #DesignByContract #PreconditionChecks

0

2

0

168

Sergey Kudashev @KudashevSergey

over 3 years ago

I've just found a perfect real world analogy for better understanding of design by contract in this video. As a reminder, design by contract is an approach to software design. #programming #SoftwareDesign #DesignByContract https://t.co/2frSpyO87a

KudashevSergey's tweet photo. I've just found a perfect real world analogy for better understanding of design by contract in this video. As a reminder, design by contract is an approach to software design.

#programming #SoftwareDesign #DesignByContract

https://t.co/2frSpyO87a https://t.co/Cis40G4pyu

0

2

1

0

142

Schrodinger @metaeconomy

about 4 years ago

Reminds me of #DBC or #DesignByContract - Coding with pre-conditions and post-conditions for sensitive contract code. #Blockchain has an additional level of complexity over regular code. Maybe a better framework is needed. #NFT #NFTs #Crypto #Solidity

foobar/

@0xfoobar

about 4 years ago

$34 million, or 11,539 eth, is permanently locked into the AkuDreams contract forever. It cannot be retrieved by individual users or by the dev team. The refund processing, which is complete, sets each bid status to 1.

0xfoobar's tweet photo. $34 million, or 11,539 eth, is permanently locked into the AkuDreams contract forever. It cannot be retrieved by individual users or by the dev team.

The refund processing, which is complete, sets each bid status to 1. https://t.co/6GnQPnddC6

862

11K

3K

1K

0

2

0

Joab Jackson

@Joab_Jackson

about 5 years ago

#Eiffel was one of the first object-oriented programming languages ever written, and is still considered by many to be the purest, as well as the safest. https://t.co/jpe4QOIYWG w/ @berenddeboer @Bertrand_Meyer @eiffel_software #Security #DesignByContract #OOP

0

3

1

0

Software Crafts Podcast @SCraftsPodcast

about 6 years ago

New week, new episode. Next Wednesday we will release the interview with Patrick Smacchia! Patrick will tell us his love story about code maintainability, and how it is encoded in @ndepend! "No broken windows" is the heuristic! #podcast #code #designbycontract