VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
English
Amalio, Nuno[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kelsen, Pierre[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
Diagrams 2010
Springer
LNCS 6170
282-284
Yes
Diagrams 2010
2010
Portland
USA
[en] formal modelling ; visual languages ; modularity
[en] 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.