![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
BM-FA 2011: Birmingham, UK
- Proceedings of the Third Workshop on Behavioural Modelling, Birmingham, United Kingdom, June 6, 2011. ACM 2011, ISBN 978-1-4503-0617-1
- Marco Müller
, Moritz Balz, Michael Goedicke:
Enriching Java Enterprise interfaces with formal sequential contracts. 5-11 - Michael Poulin:
Collaboration patterns in the SOA ecosystem. 12-16 - Alejandro Sanchez
, Luís Soares Barbosa
, Daniel Riesco:
A language for behavioural modelling of architectural patterns. 17-24 - Ashley T. McNeile:
Two paradigms of composition. 25-32 - Jaco Verheul, Ella E. Roubtsova
:
An executable and changeable reference model for the health insurance industry. 33-40 - Ekkart Kindler
:
Integrating behaviour in software models: an event coordination notation - concepts and prototype. 41-48 - Lukman Ab. Rahim
, Jon Whittle:
Identifying state space reduction techniques from behavioural design patterns. 49-55 - Papa Issa Diallo, Joël Champeau, Vincent Leilde:
An approach for describing concurrency and communication of heterogeneous systems. 56-63 - Gijs Stuurman, Ivan Kurtev
:
Action semantics for defining dynamic semantics of modeling languages. 64-71
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.