2050 search results - page 246 / 410 » A formal foundation for process modeling |
199
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
185
click to vote
AC
1998
Springer
15 years 6 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
159
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
153
click to vote
CICLING
2005
Springer
16 years 6 days ago
2005
Springer
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...