Modifiche recenti - Cerca:

Categorie

Pagine utente

Winzipedia

Uso dell'wiki

modifica il menu

Informatica3 /

DesignByContract

Informatica3.DesignByContract Versioni

Nascondi le modifiche minori - Mostra le modifiche da evidenziare

23/06/2006 ore 11:03 CEST di Francesco -
Modificata la linea 19: da:
  • L'utilizzatore, o cliente, si impegna a rispettare le condizioni per il corretto utilizzo del software che sono scritte nel contratto (per esempio che gli input siano corretti o all'interno di un certo range). Queste condizioni sono chiamate precondizioni e sono solitamente decise da scrive il software.
a:
  • L'utilizzatore, o cliente, si impegna a rispettare le condizioni per il corretto utilizzo del software che sono scritte nel contratto (per esempio che gli input siano corretti o all'interno di un certo range). Queste condizioni sono chiamate precondizioni e sono solitamente decise da chi scrive il software.
Ripristina
15/06/2006 ore 15:31 CEST di Vincenzo -
Modificate le linee 2-4: da:

Autori: Vincenzo Manzoni
Hanno contribuito: Andrea Rota

a:

Autori: Vincenzo Manzoni, Andrea Rota

Ripristina
14/06/2006 ore 16:28 CEST di Andrea -
Modificate le linee 6-7: da:
a:
Modificata la linea 58: da:
a:
Aggiunte le linee 61-65:
Modificate le linee 125-126: da:
a:
Ripristina
14/06/2006 ore 16:22 CEST di Andrea - Aggiunta link interessanti
Aggiunte le linee 125-126:
  • Eiffel Software, http://www.eiffel.com/, la casa produttrice dei tool basati sul linguaggio Eiffel
  • GNU Nana Project, http://www.gnu.org/software/nana/nana.html, il sito ufficiale delle librerie Nana per GNU C e C++.
Ripristina
14/06/2006 ore 16:20 CEST di Andrea -
Modificata la linea 69: da:

Esempio

a:

Esempio\\

Ripristina
14/06/2006 ore 16:19 CEST di Andrea - Aggiunto Gnu Nana
Modificate le linee 65-81: da:
a:
Modificate le linee 83-84: da:

Vedere l'articolo JML di Giorgio e Vincenzo

a:

Vedere l'articolo JML di Giorgio e Vincenzo.

Ripristina
14/06/2006 ore 16:02 CEST di Andrea -
Aggiunte le linee 64-68:

Gnu Nana

JML

Vedere l'articolo JML di Giorgio e Vincenzo

Ripristina
14/06/2006 ore 15:59 CEST di Andrea -
Aggiunta la linea 88:
Ripristina
14/06/2006 ore 15:59 CEST di Andrea - Finito
Aggiunta la linea 77:
Aggiunta la linea 81:
Modificate le linee 87-88: da:
a:
Cancellate le linee 102-104:

Da fare

  1. Proseguire nella stesura dell'articolo, io ho utilizzato le slide del 2005 che sono uguali a quelle di quest'anno, a meno di Jass.
Ripristina
14/06/2006 ore 15:51 CEST di Andrea -
Modificate le linee 11-12: da:
a:
Modificate le linee 65-66: da:
a:
Ripristina
02/06/2006 ore 14:42 CEST di Andrea -
Modificate le linee 32-33: da:
a:
Ripristina
02/06/2006 ore 14:39 CEST di Andrea -
Modificate le linee 22-23: da:
a:
Aggiunte le linee 25-27:
Ripristina
02/06/2006 ore 14:34 CEST di Andrea -
Modificata la linea 48: da:
a:
Ripristina
02/06/2006 ore 14:33 CEST di Andrea -
Modificata la linea 48: da:
a:
Ripristina
02/06/2006 ore 14:31 CEST di Andrea -
Modificate le linee 52-54: da:

Esistono vari linguaggi che permettono di usare tecniche DBC per la modellazione e la scrittura del codice; fra questi ricordiamo Gnu Nana, Jml, Eiffel e le '''JDK 14 assertion'''.

a:

Esistono vari linguaggi che permettono di usare tecniche DBC per la modellazione e la scrittura del codice; fra questi ricordiamo Gnu Nana, Jml, Eiffel e le JDK 1.4 assertions.

Ripristina
02/06/2006 ore 14:30 CEST di Andrea -
Modificata la linea 52: da:

Esistono vari linguaggi che permettono di usare tecniche DBC per la modellazione e la scrittura del codice; fra questi ricordiamo Gnu Nana, Jml, Eiffel e le '''JDK 1.4

a:

Esistono vari linguaggi che permettono di usare tecniche DBC per la modellazione e la scrittura del codice; fra questi ricordiamo Gnu Nana, Jml, Eiffel e le '''JDK 14

Ripristina
02/06/2006 ore 14:29 CEST di Andrea -
Modificata la linea 26: da:

Esempio

a:

Esempio\\

Aggiunte le linee 38-43:
Modificate le linee 47-48: da:
a:
Aggiunte le linee 51-60:

Linguaggi per il DBC

Esistono vari linguaggi che permettono di usare tecniche DBC per la modellazione e la scrittura del codice; fra questi ricordiamo Gnu Nana, Jml, Eiffel e le '''JDK 1.4 assertion'''.

Eiffel

JDK 1.4 Assertion

Modificate le linee 62-63: da:

Wikipedia ha una voce relativa al Design By Contract, con un elenco dei tool per i vari linguaggi.

a:
  • Wikipedia ha una voce relativa al Design By Contract, con un elenco dei tool per i vari linguaggi.
  • Un'interessante pagina di Wikipedia sulla Hoare logic, argomento fortemente connesso con il DBC e il testing.
Modificata la linea 66: da:
  1. Proseguire nella stesura dell'articolo, io ho utilizzato le slide del 2005 che sono uguali a quelle di quest'anno, a meno di Jass
a:
  1. Proseguire nella stesura dell'articolo, io ho utilizzato le slide del 2005 che sono uguali a quelle di quest'anno, a meno di Jass.
Ripristina
02/06/2006 ore 14:10 CEST di Andrea -
Modificata la linea 26: da:

Esempio

a:

Esempio

Ripristina
02/06/2006 ore 13:20 CEST di Andrea -
Modificate le linee 3-4: da:

Hanno contribuito: Andrea Rota

a:

Hanno contribuito: Andrea Rota

Ripristina
02/06/2006 ore 13:20 CEST di Andrea -
Modificata la linea 48: da:
a:
  1. Proseguire nella stesura dell'articolo, io ho utilizzato le slide del 2005 che sono uguali a quelle di quest'anno, a meno di Jass
Ripristina
02/06/2006 ore 12:51 CEST di Andrea -
Modificate le linee 29-30: da:
a:
Ripristina
02/06/2006 ore 12:28 CEST di Andrea -
Modificate le linee 19-23: da:
a:
Modificate le linee 29-44: da:
a:
Ripristina
02/06/2006 ore 12:22 CEST di Andrea - Aggiornamento con le slide
Modificate le linee 3-4: da:

Hanno contribuito:

a:

Hanno contribuito: Andrea Rota

Modificate le linee 18-19: da:
a:
Aggiunta la linea 46:
Ripristina
01/06/2006 ore 21:25 CEST di Vincenzo - Correzione di grammatica
Modificata la linea 45: da:
a:
Ripristina
01/06/2006 ore 21:22 CEST di Vincenzo - Vantaggi e svantaggi; da fare.
Aggiunte le linee 34-40:
Modificate le linee 42-45: da:

Wikipedia ha una voce relativa al Design By Contract, con un elenco dei tool per i vari linguaggi.

a:
Ripristina
01/06/2006 ore 21:15 CEST di Vincenzo - Aggiunta di precondizioni e postcondizioni
Modificate le linee 11-12: da:
a:
Ripristina
01/06/2006 ore 21:04 CEST di Vincenzo - Creazione della pagina
Aggiunte le linee 1-14:
Ripristina
Modifica - Versioni - Stampa - Modifiche recenti - Cerca
Ultima modifica il 01/08/2006 ore 13:26 CEST