University Of Pretoria Computer Science Department

Stefan Gruner co-organises the FormSERA Workshop 2012 with International Top Experts

Posted by Dr Fritz Solms on 23 Mar 2012, 15:58 (last modified on 17 May 2012, 20:16)

Ample studies show that formal techniques can be used in industrial settings, given careful and tool-supported application. However, the maturing of formal techniques into real-life software engineering involves providing notations and tools that are readily understood and used by practitioners, and the integration of such tools with activities that are far from the unrealistic assumptions that characterized some earlier research in formal methods. For this reason Stefania Gnesi (ISTI-CNR, Italy), Nico Plat (Formal Methods Europe, The Netherlands), Bernhard Rumpe (RWTH Aachen, Germany) and Stefan Gruner (University of Pretoria, South Africa) are co-organising the first workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA 2012) under the umbrella of the 34th International Conference on Software Engineering (ICSE 2012) in Zürich, Switzerland, in June 2012. The submission and review phase for FormSERA 2012 has already passed by, such that we can look forward to some interesting discussions on the basis of the accepted papers. The internationally known software engineering book author, Michael Jackson (The Open University and University of Newcastle, Great Britain), shall present the keynote lecture on the topic: Formalisms and Structures. For all further details please see the workshop's website.



Additional News

All content copyright © Department of Computer Science, School of IT, University of Pretoria, South Africa