Paper Info
Title
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017)
Abstract
Summary form only given. The complete presentation was not made available for publication as part of the conference proceedings. FormaliSE 2017 Workshop Summary. FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering). The main goal of the workshop is to foster integration between the formal methods and the software engineering communities. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. This is where formal methods (FMs) have a huge opportunity. The PROGRAM features invited talks and presentations of submitted papers. The workshop also includes a panel discussion, addressing the subjects that came up during the workshop.
Year
DOI
Venue
2017
10.1109/FormaliSE.2017.15
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Field
DocType
ISBN
Software Engineering Process Group,Software engineering,Computer science,Software,Formal methods,Software construction,Software development,Software requirements,Social software engineering,Scalability
Conference
978-1-5386-0423-6
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Stefania Gnesi11475120.93
Nico Plat28715.63
Hernán C. Melgratti38213.49