Sciweavers

ICSE
2008
IEEE-ACM

Global consistency checking of distributed models with TReMer+

15 years 27 days ago
Global consistency checking of distributed models with TReMer+
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before checking consistency. This enables a flexible way of verifying global consistency properties that is not possible with other existing tools.
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterb
Added 17 Nov 2009
Updated 09 Dec 2009
Type Conference
Year 2008
Where ICSE
Authors Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik
Comments (0)