Show simple item record

dc.contributor.authorLin, Shang-Wei
dc.contributor.authorHou, Zhe
dc.contributor.authorMahoney, Brendan
dc.contributor.editorLin, Shang-Wei
dc.contributor.editorHou, Zhe
dc.contributor.editorMahoney, Brendan
dc.date.accessioned2021-05-13T02:01:11Z
dc.date.available2021-05-13T02:01:11Z
dc.date.issued2020
dc.identifier.isbn9783030634056
dc.identifier.doi10.1007/978-3-030-63406-3
dc.identifier.urihttp://hdl.handle.net/10072/404350
dc.description.abstractThe International Conference on Formal Engineering Methods (ICFEM) gathers researchers and practitioners interested in the recent development in the use and development of formal engineering methods for software and system development. It records the latest development in formal engineering methods. ICFEM 2020 – the 22nd edition of ICFEM – was planned for late October 2020, but due to the COVID-19 pandemic, the conference was delayed and postponed to Singapore during March 1–3, 2021. ICFEM 2020 received 41 submissions covering theory and applications in formal engineering methods together with case studies. Each paper was reviewed by at least three reviewers, and the Program Committee accepted 16 regular papers and 4 short papers, leading to an attractive scientific program. After the success of the doctoral symposium of the previous edition, we decided to host a doctoral symposium again at ICFEM 2020. The doctoral symposium Program Committee (chaired by Lei Ma from Kyushu University, Japan; Weiyi Shang from Concordia University, Canada; and Xiaoning Du from Monash University, Australia) accepted one doctoral symposium paper, included in the back matter of ICFEM 2020 proceedings. ICFEM 2020 would not have been successful without the contribution and involvement of the Program Committee members and the external reviewers who contributed to the review process (with more than 120 reviews) and the selection of the best contributions. This event would not exist if authors and contributors did not submit their proposals. We address our thanks to every person, reviewer, author, Programme Committee member and Organizing Committee member involved in the success of ICFEM 2020. The EasyChair system was set up for the management of ICFEM 2020 supporting submission, review, and volume preparation processes. It proved to be a powerful framework. ICFEM 2020 had one affiliated workshop: the 10th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL 2020), which brought in additional participants to the ICFEM week and helped make it an interesting and successful event. We thank all the workshop organizers for their hard work. ICFEM 2020 was hosted and sponsored by the National University of Singapore. The Local Organizing Committee offered all the facilities to run the conference in a lovely and friendly atmosphere. Many thanks to all the local organizers. We wish to express our special thanks to the general co-chairs, the Steering Committee members and in particular Shaoying Liu and Jin Song Dong for their valuable support.
dc.publisherSpringer
dc.subject.fieldofresearchInformation systems
dc.subject.fieldofresearchcode4609
dc.subject.keywordsComputers
dc.titleFormal Methods and Software Engineering
dc.typeBook
dc.type.descriptionA3 - Books (Edited)
dcterms.bibliographicCitationLin, S-W; Hou, Z; Mahoney, B, Formal Methods and Software Engineering, 2020
dc.date.updated2021-03-24T02:27:53Z
gro.hasfulltextNo Full Text
gro.griffith.authorHou, Zhe


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Books
    Contains books authored and edited by Griffith authors.

Show simple item record