Reference : Building VCL Models and Automatically Generating Z Specifications from Them
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5686
Building VCL Models and Automatically Generating Z Specifications from Them
English
Amalio, Nuno mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Glodt, Christian 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) >]
2011
Formal Methods - 17th International Symposium on Formal Methods
Springer
Lecture Notes in Computer Science 6664
149-153
Yes
Formal Methods - 17th International Symposium on Formal Methods
2011
Limerick
Ireland
[en] Formal Methods ; Visual Languages ; Z ; Model-Driven Development
[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.
http://hdl.handle.net/10993/5686
10.1007/978-3-642-21437-0_13
6664

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
10.1007_978-3-642-21437-0_13.pdfPublisher postprint203.87 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.