VCL, a visual language for modelling software systems formally

Authors:
Nuno Amálio;Pierre Kelsen
Affiliations:
University of Luxembourg, Luxembourg;University of Luxembourg, Luxembourg
Venue:
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Year:
2010

Citing 1
Cited 2

An object-oriented structuring for z based on views

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Using VCL as an aspect-oriented approach to requirements modelling

Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling

Transactions on aspect-oriented software development VII

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper overviews design of VCL, a new visual language for abstract specification of software systems at level of requirements. VCL is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. Novelty of VCL design lies in its emphasis on modularity.