Electronic Communications of the EASST

Aims of this journal

ECEASST is a fully refereed journal and provides a forum for practitioners, educators and researchers for disseminating innovative research in the area of software and system technology. The journal is also intended as a medium which rapidly publishes conference and workshop proceedings, provided that all contributions are original and peer reviewed. ECEASST is an open access on-line journal, i.e. it provides unlimited access to all contributions which are published electronically only. In this way, ECEASST provides the full-text access to all papers and supports the provision of fast and broad feedback to published work.

Scope of this journal

The scope of ECEASST is Software Science and Technology as in EASST (European Association of Software Science and Technology) which includes all aspects related to the systematic and rigorous engineering of software and systems. This journal is meant to present primary results achieved in this field. Being primarily a medium for providing special issues for conferences and workshops on EASST-related topics as e.g. the satellite events of ETAPS and further EASST-supported conferences, this journal shall also be opened up for regular contributions and special columns.

Publication ethics and publication malpractice statement

The publication of an article in a peer-reviewed journal is an essential building block in the development of a coherent and respected network of knowledge. It is a direct reflection of the quality of the work of the authors and the institutions that support them. Peer-reviewed articles support and embody the scientific method. It is therefore important to agree upon standards of expected ethical behavior for all parties involved in the act of publishing: the author, the managing and the guest editor, the peer reviewer, and the society of EASST. ECEASST recognises its responsibilities and conforms to the guideline (see here) of  the Committee on Publication Ethics (COPE), a charitable organization that provides a forum for scientific journal editors and publishers to discuss issues relating to the integrity of the work submitted to or published in their journals.


To submit a contribution please register as author. The contribution you may want to submit has to satisfy certain standards: The submission has not been previously published, nor is it before another journal for consideration (or an explanation has been provided in Comments to the Editor). The submission file must be a PDF created using the templates found under http://journal.ub.tu-berlin.de/public/template/.

Guest Editors

You are chairing a conference or workshop and want to publish the proceedings in ECEASST? Please contact us by email to eceasst@journal.ub.tu-berlin.de. Please explain your ideas and send the Call for Papers for your event including information about the subject, kind of submissions, review process, programm committee, and time schedule. Note, that we require our guest editors to conform to the guideline for editors that has been developed by Committee on Publication Ethics (COPE).

Volume 69: Formal Methods for Interactive Systems 2013

Table of Contents


Preface to the proceedings of FMIS 2013
Judy Bowen, Steve Reeves


Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold Thimbleby
Antonio Cerone, Yishi Zhao
Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon
Anke Dittmar, Reik Schachtschneider
José-Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe palanque, Célia Martiinie, Eric Barboni
Rimvydas Rukšėnas, Paolo Masci, Michael D. Harrison, Paul Curzon