Daniel Amyot: Tools

Use Case Map Tools

• jUCMNav (Eclipse plug-in) (2005-)
• Use Case Maps Navigator (UCMNav) 2.3 (1997-2005)
• TMDL-to-LOTOS compiler (1995)

LOTOS Tools

• VIM syntax file (1999)
• Batch testing with LOLA (1997)
• Specification filters: lot2html and lot2mml (1996)
• TMDL-to-LOTOS compiler (1995)