Back
  1. Home
  3. Detailled Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
Amalio, Nuno; Kelsen, Pierre
2010 • In Diagrams 2010
Peer reviewed
Permalink
https://hdl.handle.net/10993/5687
DOI
10.1007/978-3-642-14600-8_29
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
10.1007_978-3-642-14600-8_29.pdf
Publisher postprint (218.41 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Keywords :
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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2010-532
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)
Language :
English
Title :
VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly
Publication date :
2010
Event name :
Diagrams 2010
Event place :
Portland, United States
Event date :
2010
Main work title :
Diagrams 2010
Publisher :
Springer
Collection name :
LNCS 6170
Pages :
282-284
Peer reviewed :
Peer reviewed
Commentary :
6170
Available on ORBilu :
since 09 September 2013

Statistics

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

Bibliography

Similar publications


Contact ORBilu