Class 4MIEIC03 - Group 3
Element | College e-mail |
---|---|
Daniel Filipe Santos Marques | [email protected] |
Maria Eduarda Santos Cunha | [email protected] |
Work developed for Formal Methods in Software Engineering (MFES).
We developed a program in VDM++, using Overture, to create something similar to ShopAdvizor by TrialPanel. Essentially, we have users who can either submit their reviews regarding several products by a certain brand and retailer or who might just want to consult reviews done by others.