{"id":2806,"date":"2019-11-22T12:31:41","date_gmt":"2019-11-22T12:31:41","guid":{"rendered":"https:\/\/emadridnet.uc3m.es\/?p=2806"},"modified":"2021-12-03T12:32:51","modified_gmt":"2021-12-03T12:32:51","slug":"aprender-los-requisitos-formales-tambien-deberia-ser-divertido","status":"publish","type":"post","link":"https:\/\/emadridnet.uc3m.es\/en\/2019\/11\/22\/aprender-los-requisitos-formales-tambien-deberia-ser-divertido\/","title":{"rendered":"\u00abAprender los requisitos formales tambi\u00e9n deber\u00eda ser divertido\u00bb"},"content":{"rendered":"

[et_pb_section fb_built=”1″ fullwidth=”on” admin_label=”Header” _builder_version=”3.22″ background_image=”https:\/\/emadridnet.uc3m.es\/wp-content\/uploads\/sites\/40\/2021\/05\/meetup-02.jpg” parallax=”on” custom_padding=”|||” animation_style=”slide” animation_direction=”top” animation_intensity_slide=”2%” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_fullwidth_header title=”\u00abAprender los requisitos formales tambi\u00e9n deber\u00eda ser divertido\u00bb” subhead=”Wishnu Prasetya” button_one_text=”Reg\u00edstrate gratis” button_one_url=”https:\/\/www.eventbrite.es\/e\/81290902277″ background_overlay_color=”rgba(255,255,255,0.6)” content_max_width=”700px” content_max_width_tablet=”100%” content_max_width_phone=”” content_max_width_last_edited=”on|desktop” _builder_version=”4.14.1″ title_font=”Roboto|300|||||||” title_font_size=”60px” title_line_height=”1.4em” content_font=”||||||||” content_font_size=”17px” content_line_height=”1.9em” subhead_font=”|600|||||||” subhead_font_size=”20px” subhead_line_height=”1.8em” background_color=”rgba(158,158,158,0.3)” background_image=”https:\/\/storage.googleapis.com\/wp-uploads.bucket.wp.uc3m.es\/wp-content\/uploads\/sites\/40\/2021\/11\/26092203\/GetImage.jpg” custom_button_one=”on” button_one_text_size=”14px” button_one_text_color=”#ffffff” button_one_bg_color=”#8300e9″ button_one_bg_color_gradient_start=”#d883f8″ button_one_bg_color_gradient_end=”#352DBE” button_one_bg_color_gradient_direction=”90deg” button_one_border_width=”10px” button_one_border_color=”rgba(0,0,0,0)” button_one_border_radius=”100px” button_one_letter_spacing=”3px” button_one_font=”Roboto|700||on|||||” custom_button_two=”on” button_two_text_size=”14px” button_two_text_color=”#ffffff” button_two_bg_color=”#06c8ff” button_two_border_width=”10px” button_two_border_color=”rgba(0,0,0,0)” button_two_border_radius=”100px” button_two_letter_spacing=”3px” button_two_font=”Roboto|700||on|||||” background_layout=”light” custom_margin=”||||false” custom_padding=”8vw||8vw||true” custom_padding_tablet=”250px||250px||true” custom_padding_last_edited=”off|desktop” link_option_url_new_window=”on” hover_enabled=”0″ title_font_size_tablet=”40px” title_font_size_phone=”32px” title_font_size_last_edited=”on|desktop” button_one_text_color_hover=”#ffffff” button_two_text_color_hover=”#ffffff” button_one_letter_spacing_hover=”3px” button_two_letter_spacing_hover=”3px” global_colors_info=”{}” button_one_text_size__hover_enabled=”off” button_two_text_size__hover_enabled=”off” button_one_text_color__hover_enabled=”on” button_one_text_color__hover=”#ffffff” button_two_text_color__hover_enabled=”on” button_two_text_color__hover=”#ffffff” button_one_border_width__hover_enabled=”off” button_two_border_width__hover_enabled=”off” button_one_border_color__hover_enabled=”off” button_two_border_color__hover_enabled=”off” button_one_border_radius__hover_enabled=”off” button_two_border_radius__hover_enabled=”off” button_one_letter_spacing__hover_enabled=”on” button_one_letter_spacing__hover=”3px” button_two_letter_spacing__hover_enabled=”on” button_two_letter_spacing__hover=”3px” button_one_bg_color__hover_enabled=”off” button_two_bg_color__hover_enabled=”off” theme_builder_area=”post_content” title_text=”GetImage” sticky_enabled=”0″][\/et_pb_fullwidth_header][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”Visiting” _builder_version=”3.22″ global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_row _builder_version=”3.25″ custom_padding=”27px|0px|24px|0px|false|false” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||” theme_builder_area=”post_content”][et_pb_text _builder_version=”4.14.1″ text_font=”||||||||” text_font_size=”16px” text_line_height=”1.9em” header_font=”||||||||” header_2_font=”Roboto|300|||||||” header_2_font_size=”50px” header_2_line_height=”1.4em” hover_enabled=”0″ header_2_font_size_tablet=”40px” header_2_font_size_phone=”32px” header_2_font_size_last_edited=”on|phone” global_colors_info=”{}” theme_builder_area=”post_content” sticky_enabled=”0″]<\/p>\n

Resumen de la ponencia<\/h2>\n

Las especificaciones formales del software nos proporcionan muchos beneficios. Pero no siempre es f\u00e1cil ense\u00f1arle a los estudiantes c\u00f3mo hacerlo, ya que los cursos sobre m\u00e9todos formales a menudo son una \u00e1rida experiencia. Esta charla presentar\u00e1 un juego llamado FormalZ pensado para introducir alguna variaci\u00f3n en las clasea. Los estudiantes pueden divertirse jugando y adem\u00e1s aprender los fundamentos de la escritura de especificaciones formales. A diferencia de los juegos educativos tem\u00e1ticos de ingenier\u00eda de software existentes, FormalZ adopta un enfoque bastante radical, es decir, la gamificaci\u00f3n profunda, en la que el juego adquiere un papel m\u00e1s central con el fin de generar un mayor compromiso. Discutiremos los resultados de nuestro estudio de campo con este juego, lo que aprendimos de este estudio y nuestra recomendaci\u00f3n para el trabajo futuro.\u00a0<\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”About” _builder_version=”3.22″ min_height=”677px” custom_margin=”-3px|||||” custom_padding=”0px|||||” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_row column_structure=”1_2,1_2″ padding_top_bottom_link_1=”true” padding_left_right_link_1=”true” _builder_version=”4.9.4″ min_height=”509.8px” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_column type=”1_2″ _builder_version=”3.25″ background_image=”https:\/\/storage.googleapis.com\/wp-uploads.bucket.wp.uc3m.es\/wp-content\/uploads\/sites\/40\/2021\/05\/28095053\/column-background-02.png” custom_padding=”50px|50px|50px|50px” custom_padding_tablet=”” custom_padding_phone=”20px|20px|20px|20px|true|true” custom_padding_last_edited=”on|phone” global_colors_info=”{}” padding_phone=”20px|20px|20px|20px|true|true” padding_last_edited=”on|phone” custom_padding__hover=”|||” theme_builder_area=”post_content”][et_pb_image src=”https:\/\/storage.googleapis.com\/wp-uploads.bucket.wp.uc3m.es\/wp-content\/uploads\/sites\/40\/2021\/11\/26092203\/GetImage.jpg” title_text=”GetImage” align_tablet=”center” align_phone=”” align_last_edited=”on|desktop” _builder_version=”4.14.1″ animation_style=”zoom” animation_intensity_zoom=”10%” hover_enabled=”0″ box_shadow_style=”preset1″ box_shadow_vertical=”32px” box_shadow_blur=”100px” box_shadow_color=”rgba(0,0,0,0.15)” global_colors_info=”{}” theme_builder_area=”post_content” sticky_enabled=”0″][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”3.25″ custom_padding=”|||” custom_padding_tablet=”0px|||” custom_padding_last_edited=”off|desktop” global_colors_info=”{}” padding_tablet=”0px|||” padding_last_edited=”off|desktop” custom_padding__hover=”|||” theme_builder_area=”post_content”][et_pb_text _builder_version=”4.14.1″ text_font=”||||||||” text_font_size=”16px” text_line_height=”1.9em” header_font=”||||||||” header_2_font=”Roboto|300|||||||” header_2_font_size=”50px” header_2_line_height=”1.4em” hover_enabled=”0″ header_2_font_size_tablet=”40px” header_2_font_size_phone=”32px” header_2_font_size_last_edited=”on|phone” global_colors_info=”{}” theme_builder_area=”post_content” sticky_enabled=”0″]<\/p>\n

Biograf\u00eda<\/h2>\n

S.W.B. (Wishnu) Prasetya es investigador y profesor en el Departamento de Ciencias de la Informaci\u00f3n y la Computaci\u00f3n de la Universidad de Utrecht. Su campo de investigaci\u00f3n es la prueba y verificaci\u00f3n de software. En los \u00faltimos diez a\u00f1os ha impartido cursos de Modelado y Desarrollo de Sistemas, de Pruebas y Verificaci\u00f3n de Software, de Emprendimiento TIC y de Proyectos de Software. El profesor Prasetya investiga formas de utilizar los ordenadores para probar el software, de modo que se pueda reducir la carga del trabajo manual y, por tanto, producir software de mejor calidad a la vez que se reduce el coste. Tambi\u00e9n es el autor y encargado de mantener la herramienta T3, una herramienta automatizada de pruebas aleatorias para probar clases Java (https:\/\/git.science.uu.nl\/prase101\/t3\/wikis\/home).\u00a0<\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”Past Events” _builder_version=”3.22″ background_image=”https:\/\/emadridnet.uc3m.es\/wp-content\/uploads\/sites\/40\/2021\/05\/bg-4.png” background_size=”initial” background_position=”bottom_left” min_height=”936.3px” custom_padding=”1px|0px|0|0px|false|false” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_row _builder_version=”3.25″ global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||” theme_builder_area=”post_content”][et_pb_text _builder_version=”3.27.4″ text_font=”||||||||” text_font_size=”16px” text_line_height=”1.9em” header_font=”||||||||” header_2_font=”Roboto|300|||||||” header_2_font_size=”50px” header_2_line_height=”1.4em” text_orientation=”center” header_2_font_size_tablet=”40px” header_2_font_size_phone=”32px” header_2_font_size_last_edited=”on|phone” locked=”off” global_colors_info=”{}” theme_builder_area=”post_content”]<\/p>\n

V\u00eddeo<\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row custom_padding_last_edited=”on|phone” _builder_version=”3.25″ background_image=”https:\/\/storage.googleapis.com\/wp-uploads.bucket.wp.uc3m.es\/wp-content\/uploads\/sites\/40\/2021\/05\/28095101\/column-background-03-1.png” min_height=”287px” custom_margin=”-11px|auto||auto||” custom_padding=”0px|50px|0|50px|false|false” custom_padding_tablet=”” custom_padding_phone=”20px|20px||20px||true” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||” theme_builder_area=”post_content”][et_pb_video src=”https:\/\/vimeo.com\/386448944″ play_icon_color=”#000000″ _builder_version=”4.14.1″ animation_style=”zoom” animation_direction=”bottom” animation_intensity_zoom=”10%” animation_starting_opacity=”100%” hover_enabled=”0″ box_shadow_style=”preset1″ box_shadow_vertical=”32px” box_shadow_blur=”100px” box_shadow_color=”rgba(0,0,0,0.15)” global_colors_info=”{}” theme_builder_area=”post_content” sticky_enabled=”0″][\/et_pb_video][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.9.4″ _module_preset=”default” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_column type=”4_4″ _builder_version=”4.9.4″ _module_preset=”default” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_text _builder_version=”3.27.4″ text_font=”||||||||” text_font_size=”16px” text_line_height=”1.9em” header_font=”||||||||” header_2_font=”Roboto|300|||||||” header_2_font_size=”50px” header_2_line_height=”1.4em” text_orientation=”center” header_2_font_size_tablet=”40px” header_2_font_size_phone=”32px” header_2_font_size_last_edited=”on|phone” locked=”off” global_colors_info=”{}” theme_builder_area=”post_content”]<\/p>\n

Presentaci\u00f3n<\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.9.4″ _module_preset=”default” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_column type=”4_4″ _builder_version=”4.9.4″ _module_preset=”default” global_colors_info=”{}” theme_builder_area=”post_content”][et_pb_video_slider _builder_version=”4.14.1″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” theme_builder_area=”post_content” sticky_enabled=”0″][et_pb_video_slider_item src=”https:\/\/www.slideshare.net\/emadridnet\/22112019-learning-formal-specification-should-also-be-fun-by-wishnu-prasetya” _builder_version=”4.14.1″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” theme_builder_area=”post_content” show_image_overlay=”off” sticky_enabled=”0″][\/et_pb_video_slider_item][\/et_pb_video_slider][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

Resumen de la ponencia Las especificaciones formales del software nos proporcionan muchos beneficios. Pero no siempre es f\u00e1cil ense\u00f1arle a los estudiantes c\u00f3mo hacerlo, ya que los cursos sobre m\u00e9todos formales a menudo son una \u00e1rida experiencia. Esta charla presentar\u00e1 un juego llamado FormalZ pensado para introducir alguna variaci\u00f3n en las clasea. Los estudiantes pueden […]<\/p>\n","protected":false},"author":82,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2806","post","type-post","status-publish","format-standard","hentry","category-sin-categorizar"],"_links":{"self":[{"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/posts\/2806","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/users\/82"}],"replies":[{"embeddable":true,"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/comments?post=2806"}],"version-history":[{"count":2,"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/posts\/2806\/revisions"}],"predecessor-version":[{"id":2808,"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/posts\/2806\/revisions\/2808"}],"wp:attachment":[{"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/media?parent=2806"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/categories?post=2806"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emadridnet.uc3m.es\/en\/wp-json\/wp\/v2\/tags?post=2806"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}