Reference : Building VCL Models and Automatically Generating Z Specifications from Them

	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/5686

Title :	Building VCL Models and Automatically Generating Z Specifications from Them
Language :	English
Author, co-author :	Amalio, Nuno [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Glodt, Christian [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 :	2011
Main document title :	Formal Methods - 17th International Symposium on Formal Methods
Publisher :	Springer
Collection and collection volume :	Lecture Notes in Computer Science 6664
Pages :	149-153
Peer reviewed :	Yes
Event name :	Formal Methods - 17th International Symposium on Formal Methods
Event date :	2011
Event place (city) :	Limerick
Event country :	Ireland
Keywords :	[en] Formal Methods ; Visual Languages ; Z ; Model-Driven Development
Abstract :	[en] VCL is a visual and formal language for abstract specification of software systems. Its novelty lies in its capacity to describe predicates visually. This paper presents work-in-progress on a tool for VCL; the tool version presented here supports the VCL notations of structural and assertion diagrams (a subset of the whole VCL suite), enabling the generation of Z specifications from them.
Permalink :	http://hdl.handle.net/10993/5686
DOI :	10.1007/978-3-642-21437-0_13
Commentary :	6664

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access 10.1007_978-3-642-21437-0_13.pdf Publisher postprint 203.87 kB View/Open

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map