Programma di software design

[songohan]

Ciao,

sto sviluppando un sistema abbastanza complesso e avrei bisogno di sapere qual è il miglior programma di software design.
Più precisamente, ho bisogno di sviluppare la logica del sistema da passare poi ad una società terza per lo sviluppo del codice.
Programmi che fanno uso di UML vanno bene?
Avete altri suggerimenti?

Grazie.

Giulio.

[van9]

Devi metterti d'accordo con chi dovrà leggere, capire e realizzare questo tuo design. Altrimenti converrai è come parlarsi da soli allo specchio.

Impara uno tra Alloy, TLA+, Z, Extended/Extensible ML, ... oppure usa direttamente un linguaggio di programmazione (possibilmente uno che ti avvicina naturalmente alla specificabilità e verificabilità del tuo design software come Haskell, OCaml, Standard ML, ...), design by contract, testing e un metodo di specifica informale ma "credibile".

UML è un'inutile perdita di tempo.