Visual Contract Language

Peer-reviewed Papers

Technical Reports

Thesis

VCL Metamodels

Metamodel of VCL Structural Diagrams

Metamodel of VCL Assertion Diagrams

Team Members

The Visual Contract Language and the Visual Contract Builder tool are developed by the following members of the Laboratory for Advanced Software Systems at the Faculty of Sciences, Technology and Communication of the University of Luxembourg: