CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Seminars @ CITI  \  Seminar Page Login  
banner bottom
File Top
The Visual Contract Language
{ Wed, 19 Dec 2012, 14h00 }

By: Nuno Am├ílio  [ show info ]

Visual representations are widely used for software modelling, but they often lack rigour and means of precise expression. This talk will present the Visual Contract Language (VCL), a visual and formal language for abstract and precise modelling of software designs. VCL's novelties lie in its capacity to describe predicates visually and in its visual approach to behavioural modelling based on design by contract (pre- and post- conditions). VCL has been designed to be modular and to tackle large and complex systems. It provides a coarse-grained modularity mechanism of packages, which builds up on ideas surrounding aspect-orientation. VCL is supported by a tool and has been applied to several medium to large case studies.

Hosted by: Software Systems

Location: DI seminars room

File Bottom