A contract-based language to specify design components. Zitouni, A., Boufaida, M., & Seinturier, L. International Journal of Software Engineering and its Applications, 5:71-88, 2011.
bibtex   
@article{
 title = {A contract-based language to specify design components},
 type = {article},
 year = {2011},
 pages = {71-88},
 volume = {5},
 id = {084f99d6-5f67-3ded-a927-775a2b5017f9},
 created = {2017-12-01T22:53:00.037Z},
 file_attached = {false},
 profile_id = {3f3cebd9-2c9e-33e2-9759-3b3c3deedc23},
 group_id = {6d2dc4f5-aea7-35c9-874f-1d63cc94ab65},
 last_modified = {2017-12-01T22:53:00.037Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {article},
 source_type = {article},
 private_publication = {false},
 bibtype = {article},
 author = {Zitouni, Abdelhafid and Boufaida, Mahmoud and Seinturier, Lionel},
 journal = {International Journal of Software Engineering and its Applications}
}

Downloads: 0