http 2015icseconferencesorg FME representatives OC and PCNico Plat and StefaniaGnesi httpwwwfmeuropeorg 2012 FormSERASubmissions 16Acceptance rate 502013 FormaliSESubmissions At ID: 351322
Download Pdf The PPT/PDF document "FormaliSEFME Workshop on Formal Methods ..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
+ FormaliSEFME Workshop on Formal Methods in Software Engineeringwww.formalise.orgKeynotes by Dino MandrioliPolitecnicodi Milano) and http:// 2015.icseconferences.org/ FME representatives (OC and PC):Nico Plat and StefaniaGnesi http://www.fmeurope.org/ 2012 (FormSERASubmissions: 16Acceptance rate: 50%2013 (FormaliSESubmissions: Attendees: 25Acceptance rate: 35%FormaliSESubmissions: Attendees: + Program (morning)8:408:45: Introduction8:459:30:Keynote: Prof. Dino Mandrioli9:3010:30: Session 1: Security10:3011:00: Coffee break11:0012:30: Session 2: Exploratory Applications12:3013:44: Lunch + Program (afternoon)13:4514:30: Keynote: Prof. John Fitzgerald14:3015:30: Session 3: Cyber Physical Systems15:3016:00: Tea break16:001700: Session 4: Program verification17:0018:00: Round table discussion + Panel discussionPanel members:Alessandro FantechiJohn FitzgeraldDino MandrioliPamela Zave + Panel discussionThe main purpose of the panel is to initiate a discussion on the state of research on the applicability of formal methods (FM) in software engineering (SE) practice, typically in the industrial arena.(Possible) topics:Is FM technology ready for application in (mainstream) SE practice?Are SE practitioners ready to use FM technology?Is it “just” a matter of education, or are there other, more important obstacles that need to be tackled before FM can be used routinely in SE practice?What steps should the research community take to make FM technology more amendable to SE practice? + See you next year in Austin, Texas!