Altre informazioni

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