VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly

Reference : VCL, a Visual Language for abstract Specification of Software Systems Formally and Mo...


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/5687

Title :	VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
Language :	English
Author, co-author :	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) >]
Publication date :	2010
Main document title :	Diagrams 2010
Publisher :	Springer
Collection and collection volume :	LNCS 6170
Pages :	282-284
Peer reviewed :	Yes
Event name :	Diagrams 2010
Event date :	2010
Event place (city) :	Portland
Event country :	USA
Keywords :	[en] formal modelling ; visual languages ; modularity
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/5687
DOI :	10.1007/978-3-642-14600-8_29
Commentary :	6170

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	10.1007_978-3-642-14600-8_29.pdf		Publisher postprint	213.29 kB	View/Open

All documents in ORBi^lu are protected by a user license.