Quality Testing

Quality is delighting customers

Event Details

VOLT 2012

Time: April 21, 2012 from 6pm to 7pm
Location: Hôtel OMNI,
Street: Montreal,
City/Town: Canada
Website or Map: http://www.model-based-testin…
Event Type: conference
Organized By: Levi Lúcio, Eugene Syriani & Stephan Weißleder
Latest Activity: Mar 5, 2012

Export to Outlook or iCal (.ics)

Event Description

Model transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD — with explicit models also came explicit model transformations. VOLT 2012 is the first workshop to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations.

VOLT's interest spans both to academic and industrial practices. Part of the workshop is used as a forum for discussing practical applications of model transformation. The goal of the forum is to collect enough industrial case studies so that those problems can be stated at a theoretical level. In order to discuss these and further similar questions, we would like to invite submissions related to the following topics:

  • Application of model checking or theorem proving to model transformation: what are the relevant properties to prove?
  • Application of testing techniques to model transformation;
  • Verification of transformations of models expressed in languages defined using MOF or EMF
  • Syntactic and semantic preservation of model transformations, particularly when translating models into different languages
  • Verification of domain-specific model transformation, in contrast to general-purpose transformations
  • Taxonomies of techniques for the verification of model transformation
  • Case studies and experience reports
  • Tools and automation
  • Theoretical considerations

Comment Wall

Comment

RSVP for VOLT 2012 to add comments!

Join Quality Testing

Attending (1)

TTWT Magazine


Advertisement

Advertisement

Advertisement

Advertisement

© 2020   Created by Quality Testing.   Powered by

Badges  |  Report an Issue  |  Terms of Service