home.social

#designbycontract — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #designbycontract, aggregated by home.social.

  1. @serizawa Object-Oriented Software Construction by Bertrand Meyer. For a limited time free here:
    bertrandmeyer.com/OOSC2/
    The standard work on #DesignByContract #DbC

  2. #DesignByContract literally saved my butt during my final PhD phase. Simulation results (for a waveguide) were not as expected for our novel method. I was pretty sure my code was correct because of #DbC. Dug deeper and found a relatively obscure theorem on integral representations I needed to apply. Applied the new math, and presto. Without confidence in my code, I would have probably abandoned the method and possibly the whole project.

  3. If you're serious about #objectOriented programming, try to use #DesignByContract to the fullest extent your language supports it. Your future debugging self will thank you. At the very least, liberally use #assertions throughout your code to state what should be true at any given point in your code.

    en.wikipedia.org/wiki/Design_b

    #dbc #SoftwareEngineering

  4. @DeveloperMemes
    Un errore così è capitato a mia figlia quando ha fatto le simulazioni per le prove #invalsi . Non vi racconto la crisi di nervi: dover spiegare ad una tredicenne che l'errore di uno sconosciuto programmatore veniva considerato errore suo. Il #DesignByContract, questo sconosciuto!