Visual behavioral modelling with contracts

Reference : Visual behavioral modelling with contracts


	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/5682

Title :	Visual behavioral modelling with contracts
Language :	English
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) >]
Publication date :	2010
Peer reviewed :	Yes
Event name :	FLACOS 2010
Event date :	September 2010
Event place (city) :	Pisa
Event country :	Italy
Abstract :	[en] This paper presents the Visual Contract Language (VCL). VCL is a new visual language for abstract software specification at level of requirements. It is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. VCL takes an approach to behavioral modelling based on design by contract that emphasises modularity.
Permalink :	http://hdl.handle.net/10993/5682

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	FLACOS10.pdf		Author postprint	313.78 kB	View/Open

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