[{"id":16534374,"title":"SER 315: Week 3: Formalization Basics","study_aid_type":"flash_card_deck","clazz":"FlashCardDeck","type":"Flashcards","icon":"icon_flash_card_deck.png","icon_small":"icon_tilesmall_flash_card_deck.png","icon_large":"icon_large_flash_card_deck.png","average_rating":0,"total_ratings":0,"author_avatar":"\u003cimg width=\"33\" height=\"33\" alt=\"Julie Hudson\" title=\"Julie Hudson\" src=\"https://lh5.googleusercontent.com/-nUdIEjfDyDw/AAAAAAAAAAI/AAAAAAAAAAA/ACevoQOL4l9uphNsTJvmdjxxttvZANcJIQ/mo/photo.jpg?sz=33\" /\u003e","author_avatar_url":"https://lh5.googleusercontent.com/-nUdIEjfDyDw/AAAAAAAAAAI/AAAAAAAAAAA/ACevoQOL4l9uphNsTJvmdjxxttvZANcJIQ/mo/photo.jpg?sz=40","url":"/flashcard/16534374/ser-315-week-3-formalization-basics","author_url":"\u003ca class=\"tex2jax_ignore \" href=\"/en/profiles/6828116\"\u003eJulie Hudson\u003c/a\u003e","author_profile_url":"/en/profiles/6828116","description":"This model is about giving you a general overview of formal specification in software engineering. I think this is something everyone should know even though you might not formalize a system anytime soon in the future but at least you have a basic understanding about it. ","short_description":"This model is about giving you a general overview of formal specification in software engineering. I think this is something everyone should know even though you might not formalize a system anytim...","author_name":"Julie Hudson","last_updated":"Last updated over 5 years ago","created_at":"2019-01-25T00:43:51Z","created_by_at":"over 5 years ago by \u003ca class=\"tex2jax_ignore \" href=\"/en/profiles/6828116\"\u003eJulie Hudson\u003c/a\u003e","created_by":"by \u003ca class=\"user_link tex2jax_ignore \" href=\"/en/profiles/6828116\"\u003eJulie Hudson\u003c/a\u003e","created_time_ago":"over 5 years ago","updated_at":"2019-01-25T00:50:16Z","updated_time_ago":"over 5 years ago","private":false,"private_label":false,"tag_list":["ser 315","midterm","formalization basics","week 3"],"has_tags":true,"tag_count":4,"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=\"16534374\" src=\"https://cdn.goconqr.com/assets/icon_state_published_copyable.png\" /\u003e","study_aid_image_tag":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_flash_card_deck-a186d9ffee28c9ff8ea9d2a4214f3a839865d2f9ed3fdd80cd22501d47791b65.png\" /\u003e","study_aid_small_image_tag":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_flash_card_deck-41acb89b261dcd73e0c5427b71910668271ef2361e88a4a4e2993f257ccd36e8.png\" /\u003e","edit_url":"/en/flash_card_decks/16534374/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%2F16534374%3Fframe%3Dtrue%26ms_teams%3D1%26stage_view%3D1\",\"websiteUrl\":\"https%3A%2F%2Fwww.goconqr.com%2Fflashcard%2F16534374%2Fser-315-week-3-formalization-basics\",\"name\":\"SER+315%3A+Week+3%3A+Formalization+Basics\"}","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.general.tooltips.study_aid.pin\"\u003e\u003c/span\u003e","generic_study_aid_presenter":{"id":16534374,"title":"SER 315: Week 3: Formalization Basics","study_aid_type":"flash_card_deck","clazz":"FlashCardDeck","type":"Flashcards","icon":"icon_flash_card_deck.png","icon_small":"icon_tilesmall_flash_card_deck.png","icon_large":"icon_large_flash_card_deck.png","average_rating":0,"total_ratings":0,"author_avatar":"\u003cimg width=\"33\" height=\"33\" alt=\"Julie Hudson\" title=\"Julie Hudson\" src=\"https://lh5.googleusercontent.com/-nUdIEjfDyDw/AAAAAAAAAAI/AAAAAAAAAAA/ACevoQOL4l9uphNsTJvmdjxxttvZANcJIQ/mo/photo.jpg?sz=33\" /\u003e","author_avatar_url":"https://lh5.googleusercontent.com/-nUdIEjfDyDw/AAAAAAAAAAI/AAAAAAAAAAA/ACevoQOL4l9uphNsTJvmdjxxttvZANcJIQ/mo/photo.jpg?sz=40","url":"/flashcard/16534374/ser-315-week-3-formalization-basics","author_url":"\u003ca class=\"tex2jax_ignore \" href=\"/en/profiles/6828116\"\u003eJulie Hudson\u003c/a\u003e","author_profile_url":"/en/profiles/6828116","description":"This model is about giving you a general overview of formal specification in software engineering. I think this is something everyone should know even though you might not formalize a system anytime soon in the future but at least you have a basic understanding about it. ","short_description":"This model is about giving you a general overview of formal specification in software engineering. I think this is something everyone should know even though you might not formalize a system anytim...","author_name":"Julie Hudson","last_updated":"Last updated over 5 years ago","created_at":"2019-01-25T00:43:51Z","created_by_at":"over 5 years ago by \u003ca class=\"tex2jax_ignore \" href=\"/en/profiles/6828116\"\u003eJulie Hudson\u003c/a\u003e","created_by":"by \u003ca class=\"user_link tex2jax_ignore \" href=\"/en/profiles/6828116\"\u003eJulie Hudson\u003c/a\u003e","created_time_ago":"over 5 years ago","updated_at":"2019-01-25T00:50:16Z","updated_time_ago":"over 5 years ago","private":false,"private_label":false,"tag_list":["ser 315","midterm","formalization basics","week 3"],"has_tags":true,"tag_count":4,"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=\"16534374\" src=\"https://cdn.goconqr.com/assets/icon_state_published_copyable.png\" /\u003e","study_aid_image_tag":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_flash_card_deck-a186d9ffee28c9ff8ea9d2a4214f3a839865d2f9ed3fdd80cd22501d47791b65.png\" /\u003e","study_aid_small_image_tag":"\u003cimg alt=\"Flashcards\" title=\"Flashcards\" src=\"https://cdn.goconqr.com/assets/icon_tilesmall_flash_card_deck-41acb89b261dcd73e0c5427b71910668271ef2361e88a4a4e2993f257ccd36e8.png\" /\u003e","edit_url":"/en/flash_card_decks/16534374/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%2F16534374%3Fframe%3Dtrue%26ms_teams%3D1%26stage_view%3D1\",\"websiteUrl\":\"https%3A%2F%2Fwww.goconqr.com%2Fflashcard%2F16534374%2Fser-315-week-3-formalization-basics\",\"name\":\"SER+315%3A+Week+3%3A+Formalization+Basics\"}","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.general.tooltips.study_aid.pin\"\u003e\u003c/span\u003e"},"permissions":["read","share"],"subject_id":18694203,"subject":"Unassigned","subject_icon":"icon-question-sign","pinned_count":0,"view_count":1,"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}]