501 search results - page 67 / 101 » Diagram Techniques for Confluence |
106
click to vote
ISIM
2007
15 years 3 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
101
click to vote
MSV
2007
15 years 3 months ago
2007
In this paper we introduce PRIMA: A PRecise vIsual language for Modeling with Agents, in a physical environment. Our objective is to design an expressive Domain Specific Visual La...
141
click to vote
SERP
2007
15 years 3 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
123
click to vote
IADIS
2003
15 years 3 months ago
2003
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
ENTCS
2008
15 years 2 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...