Ciclo di lezioni su C++/STL (under construction)

Ciclo di lezioni su Abstract State Machines/ASMETA

• Lez1:
  • introduzione
  • macchine a stati finiti (FSMs)
  • macchine a stati astratti come estensione di FSMs
    • vocabolario di una ASM
    • stato di una ASM
    • regole di transizione e costruttori di regole
    • ASM mono-agente e multi-agenti
• Lez2:
  • Il linguaggio ASMETAL
  • Il toolset ASMETA per le ASMs
    • Specifiche ASM della DEMO vista a lezione
      
• Lez3:
  • Il caso di studio dell'ATM
    • presentazione
    • ATM.asm
  • Il caso di studio "Order system"
    • presentazione
    • OrderSystem.asm caso a)
    • OrderSystem2.asm caso b)