Altre informazioni
creato da GULMINI ELISA
—
ultima modifica
06/04/2010 18:09
Articoli e libri:
Articoli e librii di interesse per il corso
- E. Lamma, P. Mello, F. Riguzzi. A system for measuring function points from an ER-DFD specification. The Computer Journal, 47(3), May 2004.
Contiene una versione formale delle regole di conteggio dei Function Point applicate al caso di specifiche espresse con ER e DFD. - J. M. Spivey.The Z Notation: a reference manual. 1992.
Software:
- FUN: software per il conteggio automatico dei Function Point
- Font TrueType per scrivere specifiche Z con Word
- Files di stile per scrivere specifiche Z con Latex
- Software per la scrittura e la verifica di specifiche in Z: fuzz
- Platform Independent Petri net Editor 2: software per la progettazione e la simulazione di reti di Petri
Link:
Siti Internet di interesse per il corso (non esaustiva)
- Larch
- TRIO: Descriptive Specification
- SEI: Software Engineering Institute
- IFPUG: International Function Point User Group
- SPR: Software Productivity Research - Information Center
- Eiffel
- Software engneering su Wikipeida
