Slashdot Mirror

← Back to Stories (view on slashdot.org)

Tools To Automate Checking of Software Design

Posted by ryuzaki0 on from the looks-good-chief dept.

heck writes "Scientific American describes some of the work to develop tools for examining the design of software for logical inconsistencies. The article is by one of the developers of Alloy, but the article does reference other tools (open and closed source) in development. The author admits that widespread usage of the tools are years away, but it is interesting reading the approach they are taking regarding validation of design."

1 of 128 comments (clear)

  1. URLs in an image? by SanityInAnarchy · · Score: 0, Troll

    Wow. It's indeed a table, even a good target for implementation as an HTML table. It has links in it, which point to places to look at software. And yet it's presented as an image, not even an image map, so despite already being on a website, we have no choice but to type them in!

    If this is reliable, I don't mind unreliability, but at least let me copy and paste!

    --
    Don't thank God, thank a doctor!