LNCS Post-Proceedings of Six Workshops on Behaviour Modelling. Foundations and Applications
EasyChair submission page
In order to make the post-proceedings useful for education and further research, we propose to align the papers chosen for the volume along three following questions:
1. Formal mechanisms for "abstraction" in behaviour modelling.
What are the requirements for abstraction in your modelling domain and what mechanisms can meet these requirements?
2. Behaviour modelling practice.
What are the barriers to widespread adoption and use of formal behaviour modelling in the software engineering community?
3. Tool support.
What kinds of tools are needed to realise the benefits of behaviour modelling?
INFORMATION TO THE AUTHORS OF SELECTED PAPERS
The volume will collect extended versions of the papers selected during the BMFA workshops and several invited papers.
- The publisher expects and trusts that all papers selected from previous workshops, will be substantially revised (at least 30 % new content) to make sure that no copyright conflict arises wrt earlier published proceedings version of these papers.
- The extended paper needs to have a new title.
- The maximum size of your paper must not exceed 27-30 pages in the LNCS format.
- The Springer instructions can be found on the website: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
- All submitted papers will be peer-reviewed.
- Deadline of the paper submission: 15th of December 2014.
- Results of the peer review: 15th of February 2015
- Camera ready version of the papers: 15th of March 2015
- LNCS publication: 15 July