[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.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2010-532
Auteur, co-auteur :
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)
Langue du document :
Anglais
Titre :
VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
