[{"id":9358269,"title":"Design by contract - JML","study_aid_type":"note","clazz":"Note","type":"Note","icon":"icon_note.png","icon_small":"icon_tilesmall_note.png","icon_large":"icon_large_note.png","average_rating":0,"total_ratings":0,"author_avatar":"\u003cimg alt=\"Gino Lospazzino\" title=\"Gino Lospazzino\" src=\"https://secure.gravatar.com/avatar/881ba3282071e2f778a94d00f5d20aac?default=retro\u0026rating=PG\u0026size=33\" width=\"33\" height=\"33\" /\u003e","author_avatar_url":"https://secure.gravatar.com/avatar/881ba3282071e2f778a94d00f5d20aac?default=retro\u0026rating=PG\u0026size=40","url":"/note/9358269/design-by-contract-jml","author_url":"\u003ca class=\"tex2jax_ignore \" href=\"/en-US/profiles/4127104\"\u003eGino Lospazzino\u003c/a\u003e","author_profile_url":"/en-US/profiles/4127104","description":null,"short_description":null,"author_name":"Gino Lospazzino","last_updated":"Last updated almost 7 years ago","created_at":"2017-06-19T12:22:51Z","created_by_at":"almost 7 years ago by \u003ca class=\"tex2jax_ignore \" href=\"/en-US/profiles/4127104\"\u003eGino Lospazzino\u003c/a\u003e","created_by":"by \u003ca class=\"user_link tex2jax_ignore \" href=\"/en-US/profiles/4127104\"\u003eGino Lospazzino\u003c/a\u003e","created_time_ago":"almost 7 years ago","updated_at":"2017-06-19T13:14:11Z","updated_time_ago":"almost 7 years ago","private":false,"private_label":false,"tag_list":["jml","design by contract","java","specification language","java modeling language","abstract specifications","jml specifications"],"has_tags":true,"tag_count":7,"is_deleted":false,"is_copy":false,"play_tooltip":"Play","info_tooltip":"Info","stats_tooltip":"Performance Stats","private_tooltip":"Private","actions_tooltip":"Actions","state_icon":"\u003cimg class=\"resource_state_icon tile_tooltip nav-tooltip\" alt=\"Public (copyable)\" title=\"Public (copyable)\" data-study-aid-id=\"9358269\" src=\"https://cdn.goconqr.com/assets/icon_state_published_copyable.png\" /\u003e","study_aid_image_tag":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_note-16a089701666e3584952ac598c3118bf155baab43f3dec2e01aa0315285d8d89.png\" /\u003e","study_aid_small_image_tag":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_note-b431a9ec3545ef46039d97aa9f26f00f2676402a12035570e93b7ba81038e585.png\" /\u003e","edit_url":"/en-US/notes/9358269/edit","teams_share_info":{"class":"teams-share-button","target":"_blank","rel":"noopener noreferrer","title":"Share on MS Teams","data-href":"https://teams.microsoft.com/l/stage/e5e5c455-c92a-46b7-adbc-da0f9a3e787f/0?context={\"contentUrl\":\"https%3A%2F%2Fwww.goconqr.com%2Fp%2F9358269%3Fframe%3Dtrue%26ms_teams%3D1%26stage_view%3D1\",\"websiteUrl\":\"https%3A%2F%2Fwww.goconqr.com%2Fnote%2F9358269%2Fdesign-by-contract-jml\",\"name\":\"Design+by+contract+-+JML\"}","data-icon-px-size":"60","data-preview":true},"icon_tile_pin":"\u003cspan class=\"icon_pin tile_tooltip sprite bg-icon-pin\" title=\"Pinned\"\u003e\u003c/span\u003e","icon_tile_private":"\u003cspan class=\"icon_private tile_tooltip sprite bg-icon-lock\" title=\"Private\"\u003e\u003c/span\u003e","icon_tile_play":"\u003cspan class=\"sprite bg-icon-control_ellipse\" title=\"Play\"\u003e\u003c/span\u003e","icon_tile_edit":"\u003cimg alt=\"Edit\" title=\"Edit\" src=\"https://cdn.goconqr.com/assets/icon_tile_edit-1411fc30cba8264fb64922d37af54a7a9049521652929ecc1046879fcc294b90.png\" /\u003e","icon_tile_info":"\u003cimg alt=\"Info\" title=\"Info\" src=\"https://cdn.goconqr.com/assets/icon_tile_info-0f315233c266bb17f7f5e32169a05b16618e31b11994218cc26dfaf3904d4b31.png\" /\u003e","icon_tile_stats":"\u003cimg alt=\"Performance Stats\" title=\"Performance Stats\" src=\"https://cdn.goconqr.com/assets/icon_tile_stats-e7223b9f739318f03d937c42115a405b11497f0a45e5ed3dedf645e4844597a6.png\" /\u003e","icon_tile_view":"\u003cspan class=\"icon_view tile_icon spite bg-icon-eye\" title=\"Views\"\u003e\u003c/span\u003e","icon_tile_pin_small":"\u003cspan class=\"tile_icon sprite bg-icon-pin_small\" title=\"Pins\"\u003e\u003c/span\u003e","icon_tile_mind_map":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_mind_map-298c487d22bd9a34ee4eb7c54adde0562acb5e3a0a8048c9dd635695837fc540.png\" /\u003e","icon_tile_flash_card_deck":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_flash_card_deck-a186d9ffee28c9ff8ea9d2a4214f3a839865d2f9ed3fdd80cd22501d47791b65.png\" /\u003e","icon_tile_quiz":"\u003cimg alt=\"Quiz\" title=\"Quiz\" src=\"https://cdn.goconqr.com/assets/icon_quiz-8cfbec76382a70d62332c24976d9118103546841e534ca8a12023619df17c2de.png\" /\u003e","icon_tile_note":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_note-16a089701666e3584952ac598c3118bf155baab43f3dec2e01aa0315285d8d89.png\" /\u003e","icon_tile_slide_set":"\u003cimg alt=\"Slide Set\" title=\"Slide Set\" src=\"https://cdn.goconqr.com/assets/icon_slide_set-be23b92bd892bf8fd291d4203f8dc30ecb814312042ad9775a9d4aafd7f8bd35.png\" /\u003e","icon_tile_flowchart":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_mind_map-298c487d22bd9a34ee4eb7c54adde0562acb5e3a0a8048c9dd635695837fc540.png\" /\u003e","icon_tilesmall_mind_map":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_mind_map-164864e65d892ef441a383a25f34ca9789501a4a17ad1690df2da998724d2c50.png\" /\u003e","icon_tilesmall_flash_card_deck":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_flash_card_deck-41acb89b261dcd73e0c5427b71910668271ef2361e88a4a4e2993f257ccd36e8.png\" /\u003e","icon_tilesmall_quiz":"\u003cimg alt=\"Quiz\" title=\"Quiz\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_quiz-44c8b3a78599e8a0fbf8c3aec470e90250d31309e7597c539b86c4159e7d9c79.png\" /\u003e","icon_tilesmall_note":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_note-b431a9ec3545ef46039d97aa9f26f00f2676402a12035570e93b7ba81038e585.png\" /\u003e","icon_tilesmall_slide_set":"\u003cimg alt=\"Slide Set\" title=\"Slide Set\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_slide_set-8423100c2ff41f919ef96607b431707c463c2d426a623abff566706bb3bfd006.png\" /\u003e","icon_tilesmall_flowchart":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_mind_map-164864e65d892ef441a383a25f34ca9789501a4a17ad1690df2da998724d2c50.png\" /\u003e","icon_large_mind_map":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_large_mind_map-90097aa9669c1a711b680551430f1dabf039c8c71b84c57406dba12435553b88.png\" /\u003e","icon_large_flash_card_deck":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_large_flash_card_deck-d617baa132acfa20dfa654bc47eff80992da0a965ef550a0a9ff8697ee5e973e.png\" /\u003e","icon_large_quiz":"\u003cimg alt=\"Quiz\" title=\"Quiz\" src=\"https://cdn.goconqr.com/assets/icon_large_quiz-f4bdd38561c50948e253432116425f04d622fc539ddc366be0702e883a90f90c.png\" /\u003e","icon_large_note":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_large_note-32e96f618d5330c58e910558efaf12e7d0eb043fc753b13bfb36fa13c9c9333a.png\" /\u003e","icon_large_slide_set":"\u003cimg alt=\"Slide Set\" title=\"Slide Set\" src=\"https://cdn.goconqr.com/assets/icon_large_slide_set-52db34816e5fed43d5b36d5619a7bfc3215a577e24fbfb10e62eaa9377863f38.png\" /\u003e","icon_large_flowchart":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_large_mind_map-90097aa9669c1a711b680551430f1dabf039c8c71b84c57406dba12435553b88.png\" /\u003e","icon_tilesmall_private":"\u003cspan class=\"icon_tilesmall_private sprite bg-icon-lock_small\" title=\"Private\"\u003e\u003c/span\u003e","icon_tilesmall_pin":"\u003cspan class=\"icon_tilesmall_pin sprite bg-icon-pin_small\" title=\"Translation missing: en-US.general.tooltips.study_aid.pin\"\u003e\u003c/span\u003e","generic_study_aid_presenter":{"id":9358269,"title":"Design by contract - JML","study_aid_type":"note","clazz":"Note","type":"Note","icon":"icon_note.png","icon_small":"icon_tilesmall_note.png","icon_large":"icon_large_note.png","average_rating":0,"total_ratings":0,"author_avatar":"\u003cimg alt=\"Gino Lospazzino\" title=\"Gino Lospazzino\" src=\"https://secure.gravatar.com/avatar/881ba3282071e2f778a94d00f5d20aac?default=retro\u0026rating=PG\u0026size=33\" width=\"33\" height=\"33\" /\u003e","author_avatar_url":"https://secure.gravatar.com/avatar/881ba3282071e2f778a94d00f5d20aac?default=retro\u0026rating=PG\u0026size=40","url":"/note/9358269/design-by-contract-jml","author_url":"\u003ca class=\"tex2jax_ignore \" href=\"/en-US/profiles/4127104\"\u003eGino Lospazzino\u003c/a\u003e","author_profile_url":"/en-US/profiles/4127104","description":null,"short_description":null,"author_name":"Gino Lospazzino","last_updated":"Last updated almost 7 years ago","created_at":"2017-06-19T12:22:51Z","created_by_at":"almost 7 years ago by \u003ca class=\"tex2jax_ignore \" href=\"/en-US/profiles/4127104\"\u003eGino Lospazzino\u003c/a\u003e","created_by":"by \u003ca class=\"user_link tex2jax_ignore \" href=\"/en-US/profiles/4127104\"\u003eGino Lospazzino\u003c/a\u003e","created_time_ago":"almost 7 years ago","updated_at":"2017-06-19T13:14:11Z","updated_time_ago":"almost 7 years ago","private":false,"private_label":false,"tag_list":["jml","design by contract","java","specification language","java modeling language","abstract specifications","jml specifications"],"has_tags":true,"tag_count":7,"is_deleted":false,"is_copy":false,"play_tooltip":"Play","info_tooltip":"Info","stats_tooltip":"Performance Stats","private_tooltip":"Private","actions_tooltip":"Actions","state_icon":"\u003cimg class=\"resource_state_icon tile_tooltip nav-tooltip\" alt=\"Public (copyable)\" title=\"Public (copyable)\" data-study-aid-id=\"9358269\" src=\"https://cdn.goconqr.com/assets/icon_state_published_copyable.png\" /\u003e","study_aid_image_tag":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_note-16a089701666e3584952ac598c3118bf155baab43f3dec2e01aa0315285d8d89.png\" /\u003e","study_aid_small_image_tag":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_note-b431a9ec3545ef46039d97aa9f26f00f2676402a12035570e93b7ba81038e585.png\" /\u003e","edit_url":"/en-US/notes/9358269/edit","teams_share_info":{"class":"teams-share-button","target":"_blank","rel":"noopener noreferrer","title":"Share on MS Teams","data-href":"https://teams.microsoft.com/l/stage/e5e5c455-c92a-46b7-adbc-da0f9a3e787f/0?context={\"contentUrl\":\"https%3A%2F%2Fwww.goconqr.com%2Fp%2F9358269%3Fframe%3Dtrue%26ms_teams%3D1%26stage_view%3D1\",\"websiteUrl\":\"https%3A%2F%2Fwww.goconqr.com%2Fnote%2F9358269%2Fdesign-by-contract-jml\",\"name\":\"Design+by+contract+-+JML\"}","data-icon-px-size":"60","data-preview":true},"icon_tile_pin":"\u003cspan class=\"icon_pin tile_tooltip sprite bg-icon-pin\" title=\"Pinned\"\u003e\u003c/span\u003e","icon_tile_private":"\u003cspan class=\"icon_private tile_tooltip sprite bg-icon-lock\" title=\"Private\"\u003e\u003c/span\u003e","icon_tile_play":"\u003cspan class=\"sprite bg-icon-control_ellipse\" title=\"Play\"\u003e\u003c/span\u003e","icon_tile_edit":"\u003cimg alt=\"Edit\" title=\"Edit\" src=\"https://cdn.goconqr.com/assets/icon_tile_edit-1411fc30cba8264fb64922d37af54a7a9049521652929ecc1046879fcc294b90.png\" /\u003e","icon_tile_info":"\u003cimg alt=\"Info\" title=\"Info\" src=\"https://cdn.goconqr.com/assets/icon_tile_info-0f315233c266bb17f7f5e32169a05b16618e31b11994218cc26dfaf3904d4b31.png\" /\u003e","icon_tile_stats":"\u003cimg alt=\"Performance Stats\" title=\"Performance Stats\" src=\"https://cdn.goconqr.com/assets/icon_tile_stats-e7223b9f739318f03d937c42115a405b11497f0a45e5ed3dedf645e4844597a6.png\" /\u003e","icon_tile_view":"\u003cspan class=\"icon_view tile_icon spite bg-icon-eye\" title=\"Views\"\u003e\u003c/span\u003e","icon_tile_pin_small":"\u003cspan class=\"tile_icon sprite bg-icon-pin_small\" title=\"Pins\"\u003e\u003c/span\u003e","icon_tile_mind_map":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_mind_map-298c487d22bd9a34ee4eb7c54adde0562acb5e3a0a8048c9dd635695837fc540.png\" /\u003e","icon_tile_flash_card_deck":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_flash_card_deck-a186d9ffee28c9ff8ea9d2a4214f3a839865d2f9ed3fdd80cd22501d47791b65.png\" /\u003e","icon_tile_quiz":"\u003cimg alt=\"Quiz\" title=\"Quiz\" src=\"https://cdn.goconqr.com/assets/icon_quiz-8cfbec76382a70d62332c24976d9118103546841e534ca8a12023619df17c2de.png\" /\u003e","icon_tile_note":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_note-16a089701666e3584952ac598c3118bf155baab43f3dec2e01aa0315285d8d89.png\" /\u003e","icon_tile_slide_set":"\u003cimg alt=\"Slide Set\" title=\"Slide Set\" src=\"https://cdn.goconqr.com/assets/icon_slide_set-be23b92bd892bf8fd291d4203f8dc30ecb814312042ad9775a9d4aafd7f8bd35.png\" /\u003e","icon_tile_flowchart":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_mind_map-298c487d22bd9a34ee4eb7c54adde0562acb5e3a0a8048c9dd635695837fc540.png\" /\u003e","icon_tilesmall_mind_map":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_mind_map-164864e65d892ef441a383a25f34ca9789501a4a17ad1690df2da998724d2c50.png\" /\u003e","icon_tilesmall_flash_card_deck":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_flash_card_deck-41acb89b261dcd73e0c5427b71910668271ef2361e88a4a4e2993f257ccd36e8.png\" /\u003e","icon_tilesmall_quiz":"\u003cimg alt=\"Quiz\" title=\"Quiz\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_quiz-44c8b3a78599e8a0fbf8c3aec470e90250d31309e7597c539b86c4159e7d9c79.png\" /\u003e","icon_tilesmall_note":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_note-b431a9ec3545ef46039d97aa9f26f00f2676402a12035570e93b7ba81038e585.png\" /\u003e","icon_tilesmall_slide_set":"\u003cimg alt=\"Slide Set\" title=\"Slide Set\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_slide_set-8423100c2ff41f919ef96607b431707c463c2d426a623abff566706bb3bfd006.png\" /\u003e","icon_tilesmall_flowchart":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_mind_map-164864e65d892ef441a383a25f34ca9789501a4a17ad1690df2da998724d2c50.png\" /\u003e","icon_large_mind_map":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_large_mind_map-90097aa9669c1a711b680551430f1dabf039c8c71b84c57406dba12435553b88.png\" /\u003e","icon_large_flash_card_deck":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_large_flash_card_deck-d617baa132acfa20dfa654bc47eff80992da0a965ef550a0a9ff8697ee5e973e.png\" /\u003e","icon_large_quiz":"\u003cimg alt=\"Quiz\" title=\"Quiz\" src=\"https://cdn.goconqr.com/assets/icon_large_quiz-f4bdd38561c50948e253432116425f04d622fc539ddc366be0702e883a90f90c.png\" /\u003e","icon_large_note":"\u003cimg alt=\"Note\" title=\"Note\" src=\"https://cdn.goconqr.com/assets/icon_large_note-32e96f618d5330c58e910558efaf12e7d0eb043fc753b13bfb36fa13c9c9333a.png\" /\u003e","icon_large_slide_set":"\u003cimg alt=\"Slide Set\" title=\"Slide Set\" src=\"https://cdn.goconqr.com/assets/icon_large_slide_set-52db34816e5fed43d5b36d5619a7bfc3215a577e24fbfb10e62eaa9377863f38.png\" /\u003e","icon_large_flowchart":"\u003cimg alt=\"Mind Map\" title=\"Mind Map\" src=\"https://cdn.goconqr.com/assets/icon_large_mind_map-90097aa9669c1a711b680551430f1dabf039c8c71b84c57406dba12435553b88.png\" /\u003e","icon_tilesmall_private":"\u003cspan class=\"icon_tilesmall_private sprite bg-icon-lock_small\" title=\"Private\"\u003e\u003c/span\u003e","icon_tilesmall_pin":"\u003cspan class=\"icon_tilesmall_pin sprite bg-icon-pin_small\" title=\"Translation missing: en-US.general.tooltips.study_aid.pin\"\u003e\u003c/span\u003e"},"permissions":["read","share"],"subject_id":8567068,"subject":"Software Engineering","subject_icon":"icon-book","pinned_count":0,"view_count":18,"public":true,"published":true,"copyable":true,"show_checkbox":false,"pinned_by":false,"authored_by":false,"has_data_capture_form":false,"logged_in":false,"new_share":false,"edit_tooltip":"Not Copyable","edit_clazz":"switch_to_edit disabled","edit_image":"lock.png","edit_mode_html_markup":"span","institution_member":false}]