ECOOP   2010 European Conference on Object-Oriented Programming
Wall of Fame | Most Viewed ECOOP-2010 Paper
12 years 5 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source245
2Download preprint from source221
3Download preprint from source208
4Download preprint from source192
5Download preprint from source186
6Download preprint from source175
7Download preprint from source169
8Download preprint from source167
9Download preprint from source164
10Download preprint from source156
11Download preprint from source150
12Download preprint from source149
13Download preprint from source148
14Download preprint from source147
15Download preprint from source147
16Download preprint from source145
17Download preprint from source141
18Download preprint from source140
19Download preprint from source136
20Download preprint from source135
21Download preprint from source128
22Download preprint from source124
23Download preprint from source116