DocumentCode
492645
Title
Global consistency checking of distributed models with TReMer+
Author
Sabetzadeh, Mehrdad ; Nejati, Shiva ; Easterbrook, Steve ; Chechik, Marsha
Author_Institution
Univ. of Toronto, Toronto, ON
fYear
2008
fDate
10-18 May 2008
Firstpage
815
Lastpage
818
Abstract
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.
Keywords
formal verification; software maintenance; TReMer+; distributed model; global consistency checking; Automation; Collaboration; Computer science; Containers; Graphical user interfaces; Large-scale systems; Merging; Software engineering; Vocabulary; consistency checking; distributed development; model merging;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location
Leipzig
ISSN
0270-5257
Print_ISBN
978-1-4244-4486-1
Electronic_ISBN
0270-5257
Type
conf
DOI
10.1145/1368088.1368208
Filename
4814199
Link To Document