Back
  1. Home
  3. Detailled Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Building VCL Models and Automatically Generating Z Specifications from Them
Amalio, Nuno; Glodt, Christian; Kelsen, Pierre
2011 • In Formal Methods - 17th International Symposium on Formal Methods
Peer reviewed
Permalink
https://hdl.handle.net/10993/5686
DOI
10.1007/978-3-642-21437-0_13
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
10.1007_978-3-642-21437-0_13.pdf
Publisher postprint (208.76 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Keywords :
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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-407
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)
Language :
English
Title :
Building VCL Models and Automatically Generating Z Specifications from Them
Publication date :
2011
Event name :
Formal Methods - 17th International Symposium on Formal Methods
Event place :
Limerick, Ireland
Event date :
2011
Main work title :
Formal Methods - 17th International Symposium on Formal Methods
Publisher :
Springer
Collection name :
Lecture Notes in Computer Science 6664
Pages :
149-153
Peer reviewed :
Peer reviewed
Commentary :
6664
Available on ORBilu :
since 09 September 2013

Statistics

Number of views
82 (2 by Unilu)
Number of downloads
220 (0 by Unilu)
More statistics
Scopus citations®
 
5
Scopus citations®
without self-citations
1
OpenCitations
 
4

Bibliography

Similar publications


Contact ORBilu