|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Serguei A. Roubtsov, Ella E. Roubtsova |
Implementation of Decision Modules.  |
BM-FA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, BM-FA 2014, York, United Kingdom, July 22-22, 2014 |
BM-FA |
2014 |
DBLP BibTeX RDF |
|
| 1 | Gefei Zhang, Matthias M. Hölzl |
A Set of Metrics for States and Transitions in UML State Machines. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Poulin |
A Task of Behaviour Modelling in Execution Context. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Konersmann, Noyan Kurt, Michael Goedicke |
Integrating Protocol Contracts with Java Code. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissreen A. S. El-Saber, Artur Boronat |
BPMN Formalization and Verification using Maude. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen |
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ella E. Roubtsova, Vaughan Michell |
Behaviour Models Clarify Definitions of Affordance and Capability. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashley T. McNeile |
The Principle of Comprehensive Modelling Applied to Data and Behaviour. |
BM-FA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Greenyer, Jens Frieben |
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. |
BM-FA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekkart Kindler |
The event coordination notation: execution engine and programming framework. |
BM-FA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ella E. Roubtsova, Ekkart Kindler, Ashley T. McNeile, Mehmet Aksit (eds.) |
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012 |
BM-FA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ella E. Roubtsova |
Motivation modelling for human-service interaction. |
BM-FA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinan Lai, Andy Carpenter |
Defining and verifying behaviour of domain specific language with fUML. |
BM-FA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Rutle, Wendy MacCaull, Hao Wang 0003, Yngve Lamo |
A metamodelling approach to behavioural modelling. |
BM-FA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the Third Workshop on Behavioural Modelling, Birmingham, United Kingdom, June 6, 2011 |
BM-FA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Poulin |
Collaboration patterns in the SOA ecosystem. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Müller 0001, Moritz Balz, Michael Goedicke |
Enriching Java Enterprise interfaces with formal sequential contracts. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukman Ab. Rahim, Jon Whittle 0001 |
Identifying state space reduction techniques from behavioural design patterns. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gijs Stuurman, Ivan Kurtev |
Action semantics for defining dynamic semantics of modeling languages. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekkart Kindler |
Integrating behaviour in software models: an event coordination notation - concepts and prototype. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Papa Issa Diallo, Joël Champeau, Vincent Leilde |
An approach for describing concurrency and communication of heterogeneous systems. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco |
A language for behavioural modelling of architectural patterns. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Verheul, Ella E. Roubtsova |
An executable and changeable reference model for the health insurance industry. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashley T. McNeile |
Two paradigms of composition. |
BM-FA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marouane Kessentini, Manuel Wimmer, Houari A. Sahraoui, Mounir Boukadoum |
Generating transformation rules from examples for behavioral models. |
BM-FA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekkart Kindler |
Model-based software engineering: the challenges of modelling behaviour. |
BM-FA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ella E. Roubtsova, Stef Joosten, Lex Wedemeijer |
Behavioural model for a business rules based approach to model services. |
BM-FA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashley T. McNeile |
A framework for the semantics of behavioral contracts. |
BM-FA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dingel, Eyrak Paen, Ernesto Posse, Rezoanoor (Ruben) Rahman, Karolina Zurowska |
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. |
BM-FA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra |
An ASM-based executable formal model of service-oriented component interactions and orchestration. |
BM-FA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehmet Aksit, Ekkart Kindler, Ella E. Roubtsova, Ashley T. McNeile (eds.) |
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010 |
BM-FA |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license