SoftwareEngineeringToolDemos / FSE-2011-PSPWizard

PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html

Installation is not clear

shashankgoudp opened this issue 9 years ago · comments

Shashank Goud commented 9 years ago

There is no mention about the netbeans in the installation.txt

Manav Verma commented 9 years ago

Manav Verma commented 9 years ago

Updated the VM Installation.txt to mention the version of Netbeans IDE Required thanks!