University of Leicester


Visual Contract Extractor


A Tool for Reverse Engineering Visual Contracts from Java

Home
Experiment
Tool Demonstration
Publications

Tool Demonstration


Screencast

  • Part 1 (00:00 - 01:18 min.) - Introduction: What is a visual contract? Problems addressed, and process supported by the tool
  • Part 2 (01:19 - 04:39 min.) - Explaining the extraction of contract instances using JHotdraw case study
  • Part 3 (04:40 - 07:00 min.) - Explaining the inference of rule features using NanoXML case study
  • Part 4 (07:01 - 07:37 min.) - Explaining the process of exporting generalised rules to Henshin tool

For good quality, please choose 720p or 1080p HD

https://youtu.be/VtTx8UHgRGo


Contact us


© May 2016, Department of Computer Science, University of Leicester