PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Fantechi A., Moreschini P., Vanocchi M. Criteri di validazione per documenti amministrativi : analisi dei capitolati di gara. Internal note IEI-B4-10, 1997.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
Questo lavoro è incenerato sullo studio della documentazione della Pubblica Amministrazione, ed in particolare dei capitolati di gara d'appalto per forniture di materiale informatico, e mira a rilevare inconsistenze e ambiguità mediante l'uso tecniche di analisi del linguaggio naturale. Partendo dall'analisi della struttura di questi documenti e utilizzando come casi di studio alcuni capitolati relativi ad appalti in corso, proponiamo un approccio procedurale per la redazione di questi documenti, delineando un ambiente di scrittura che possa guidare l'utente in modo da garantire la buona qualità del prodotto finale.
Subject Formal verification
D.2.4 Software/Program Verification. Formal methods


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional