The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
John Boyle, Christopher C. Cavnor, Sarah A. Killco...
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...