Reference : VCL, a Visual Language for abstract Specification of Software Systems Formally and Mo...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5687
VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
English
Amalio, Nuno mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kelsen, Pierre mailto [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.
http://hdl.handle.net/10993/5687
10.1007/978-3-642-14600-8_29
6170

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
10.1007_978-3-642-14600-8_29.pdfPublisher postprint213.29 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.