Reference : Modular Design by Contract Visually and Formally using VCL
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5683
Modular Design by Contract Visually and Formally using VCL
English
Amalio, Nuno 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) >]
2010
Visual Languages and Human-Centric Computing (VL/HCC)
IEEE
Yes
VL/HCC 2010
2010
Madrid
Spain
[en] formal modelling ; visual languages ; design by contract ; Z
[en] Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and complexity in visual descriptions of software systems. It proposes a new language, VCL, that is designed to be visual, formal and modular, and that targets abstract specification at the level of requirements. VCL aims at expressing visually structural and behavioural properties of software systems. This paper presents design of VCL, outlining syntax and semantics of VCL notations of structural, behavioural, constraint, and contract diagrams, together with VCL's approach to behavioural modelling based on design by contract. VCL's novelty lies in the fact that contracts are modular units.
http://hdl.handle.net/10993/5683
10.1109/VLHCC.2010.39

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
vlhcc10-paper.pdfAuthor postprint500.47 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.