EsOrDoNoCo


Tipi Dati Astratti
Dopo un'accurata analisi il team ha individuato le seguenti entità che dovranno essere impiegate per lo sviluppo del software: organo, paziente (richiedente o donatore), medico (primario o chirurgo), infermiera, cartella clinica, assicurazione, locazione, contratto operazione.
Nota: queste conclusioni sono state dedotte a partire dal diagramma delle classi
ADT Sorte Funzioni
ORGANO Organo:di interesse
Donatore:di utilizzo
Richiedente:di utilizzo
Contratto Operazione:di utilizzo
setNome : ( String ) --> String
	a = setNome( b );
	PRE: b è una stringa non vuota
	POST: a è il nome precedente

getNome : ( ) --> String
	a = getNome();
	PRE: nessuna
	POST: a è il nome dell'organo