LNCS Post-Proceedings of Six Workshops on Behaviour Modelling. Foundations and Applications

EasyChair submission page

https://easychair.org/conferences/?conf=bmfa20092014

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.

FORMAT

REVIEW

DEADLINES

© 2017 Open Universiteit | Disclaimer | Contact

In collaboration with ECMFA 2014 : http://ecmfa2014.lcc.uma.es/